Автор: Smullyan, Raymond Название: A Beginner`s Guide to Mathematical Logic ISBN: 0486492370 ISBN-13(EAN): 9780486492377 Издательство: Dover Рейтинг: Цена: 3096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: Contents include: Ciane Fernandes, "Aesthetics and Healing: Authentic Movement in Dance-Theater Composition"; Teresa L. Heiland, "Constructionist Dance Literacy: Unleashing the Potential of Motif Notation"; Martha Eddy, "The Role of Dance in Violence Prevention Programs for Youth"; and Mila Parrish, "Enhancing Accessibility: Interactive Gateway Creating Online Curriculum for Dance Education".
Автор: Smullyan, Raymond M. Название: First-Order Logic ISBN: 0486683702 ISBN-13(EAN): 9780486683706 Издательство: Dover Рейтинг: Цена: 1607.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness. Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties. Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning. Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field.
Описание: "A charming and challenging adventure." -- Wordplay, the Crossword Blog of The New York TimesAlice and her friends return for another romp through Wonderland and the Looking-Glass with these eighty-eight puzzles, paradoxes, and logic problems. Raymond M. Smullyan's characters speak and behave like the originals, and their puzzles abound in typical Carrollian word play, logic problems, and dark philosophical paradoxes. Isaac Asimov described this book as "amusing, entertaining, and surprisingly educational. And it might just send you back to reread Alice." Readers of all ages will delight in the charming stories and the wealth of ingenious puzzles. Written by a distinguished mathematician and creator of popular puzzle books, this volume requires no background in formal logic. The puzzles become progressively more complex, and complete solutions appear at the end. Puzzle authority Martin Gardner provides an Introduction to the text, which is enhanced by sixty charming illustrations. "An ingenious book," declared the Boston Globe, "magnificent for those who like conundrums, amusing for those who don't, and a tribute in itself to the genius of Lewis Carroll."
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
