Автор: Curry Haskell B. Название: Foundations of Mathematical Logic ISBN: 0486634620 ISBN-13(EAN): 9780486634623 Издательство: Dover Рейтинг: Цена: 24780.00 T Наличие на складе: Невозможна поставка. Описание: This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives.
Автор: Khinchin, A. Ya. Название: Mathematical Foundations of Statistical Mechanics ISBN: 0486601471 ISBN-13(EAN): 9780486601472 Издательство: Dover Рейтинг: Цена: 12370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The translation of this important book brings to the English-speaking mathematician and mathematical physicist a thoroughly up-to-date introduction to statistical mechanics. It offers a precise and mathematically rigorous formulation of the problems of statistical mechanics, as opposed to the non-rigorous discussion presented in most other works. It provides analytical tools needed to replace many of the cumbersome concepts and devices commonly used for establishing basic formulae, and it furnishes the mathematician with a logical step-by-step introduction, which will enable him to master the elements of statistical mechanics in the shortest possible time. After a historical sketch, the author discusses the geometry and kinematics of the phase space, with the theorems of Liouville and Birkhoff; the ergodic problem (in the sense of replacing time averages by phase averages); the theory of probability; central limit theorem; ideal monatomic gas; foundation of thermodynamics, and dispersion and distribution of sum functions. "An excellent introduction to the difficult and important discipline of Statistical Mechanics. It is clear, concise, and rigorous. There is a very good chapter on the ergodic theorem (with a complete proof ) and . . . a highly lucid chapter on statistical foundations of thermodynamics . . . useful to teachers . . . and to mathematicians." ― M. Kac, "Quarterly of Applied Mathematics. "
Автор: Khinchin, A. Ya. Название: Mathematical Foundations of Information Theory ISBN: 0486604349 ISBN-13(EAN): 9780486604343 Издательство: Dover Рейтинг: Цена: 9060.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The first comprehensive introduction to information theory, this book places the work begun by Shannon and continued by McMillan, Feinstein, and Khinchin on a rigorous mathematical basis. For the first time, mathematicians, statisticians, physicists, cyberneticists, and communications engineers are offered a lucid, comprehensive introduction to this rapidly growing field. In his first paper, Dr. Khinchin develops the concept of entropy in probability theory as a measure of uncertainty of a finite "scheme," and discusses a simple application to coding theory. The second paper investigates the restrictions previously placed on the study of sources, channels, and codes and attempts "to give a complete, detailed proof of both ... Shannon theorems, assuming any ergodic source and any stationary channel with a finite memory." Partial Contents: I. The Entropy Concept in Probability Theory -- Entropy of Finite Schemes. The Uniqueness Theorem. Entropy of Markov chains. Application to Coding Theory. II. On the Fundamental Theorems of Information Theory -- Two generalizations of Shannon's inequality. Three inequalities of Feinstein. Concept of a source. Stationarity. Entropy. Ergodic sources. The E property. The martingale concept. Noise. Anticipation and memory. Connection of the channel to the source. Feinstein's Fundamental Lemma. Coding. The first Shannon theorem. The second Shannon theorem.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz