Foundations of Mathematical Logic

Автор: Smullyan, Raymond
Название: A Beginner`s Guide to Mathematical Logic
ISBN: 0486492370 ISBN-13(EAN): 9780486492377
Издательство: Dover
Рейтинг:
Цена: 20640.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.

Автор: 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.

Автор: 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. "

Автор: Johnsonbaugh Richard
Название: Foundations of Mathematical Analysis
ISBN: 0486477665 ISBN-13(EAN): 9780486477664
Издательство: Dover
Рейтинг:
Цена: 28910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This classroom-tested volume offers a definitive look at modern analysis, with views of applications to statistics, numerical analysis, Fourier series, differential equations, mathematical analysis, and functional analysis. Upper-level undergraduate students with a background in calculus will benefit from its teachings, along with beginning graduate students seeking a firm grounding in modern analysis.
A self-contained text, it presents the necessary background on the limit concept, and the first seven chapters could constitute a one-semester introduction to limits. Subsequent chapters discuss differential calculus of the real line, the Riemann-Stieltjes integral, sequences and series of functions, transcendental functions, inner product spaces and Fourier series, normed linear spaces and the Riesz representation theorem, and the Lebesgue integral. Supplementary materials include an appendix on vector spaces and more than 750 exercises of varying degrees of difficulty. Hints and solutions to selected exercises, indicated by an asterisk, appear at the back of the book.

Автор: Hodel, Richard
Название: An Introduction to Mathematical Logic
ISBN: 0486497852 ISBN-13(EAN): 9780486497853
Издательство: Dover
Рейтинг:
Цена: 37230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Godel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.