An Introduction to the Mathematical Theory of Finite Elements

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

Автор: Russell, Bertrand
Название: Introduction to Mathematical Philosophy
ISBN: 0486277240 ISBN-13(EAN): 9780486277240
Издательство: Dover
Цена: 10710.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

In the words of Bertrand Russell, "Because language is misleading, as well as because it is diffuse and inexact when applied to logic (for which it was never intended), logical symbolism is absolutely necessary to any exact or thorough treatment of mathematical philosophy." That assertion underlies this book, a seminal work in the field for more than 70 years. In it, Russell offers a nontechnical, undogmatic account of his philosophical criticism as it relates to arithmetic and logic. Rather than an exhaustive treatment, however, the influential philosopher and mathematician focuses on certain issues of mathematical logic that, to his mind, invalidated much traditional and contemporary philosophy.
In dealing with such topics as number, order, relations, limits and continuity, propositional functions, descriptions, and classes, Russell writes in a clear, accessible manner, requiring neither a knowledge of mathematics nor an aptitude for mathematical symbolism. The result is a thought-provoking excursion into the fascinating realm where mathematics and philosophy meet -- a philosophical classic that will be welcomed by any thinking person interested in this crucial area of modern thought.

Автор: Cinlar, Erhan
Название: Introduction to Stochastic Processes
ISBN: 0486497976 ISBN-13(EAN): 9780486497976
Издательство: Dover
Рейтинг:
Цена: 28950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This clear presentation of the most fundamental models of random phenomena employs methods that recognize computer-related aspects of theory. The text emphasizes the modern viewpoint, in which the primary concern is the behavior of sample paths. By employing matrix algebra and recursive methods, rather than transform methods, it provides techniques readily adaptable to computing with machines.
Topics include probability spaces and random variables, expectations and independence, Bernoulli processes and sums of independent random variables, Poisson processes, Markov chains and processes, and renewal theory. Assuming some background in calculus but none in measure theory, the complete, detailed, and well-written treatment is suitable for engineering students in applied mathematics and operations research courses as well as those in a wide variety of other scientific fields. Many numerical examples, worked out in detail, appear throughout the text, in addition to numerous end-of-chapter exercises and answers to selected exercises.

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