Автор: Smullyan Raymond Название: Set Theory and the Continuum Problem ISBN: 0486474844 ISBN-13(EAN): 9780486474847 Издательство: Dover Рейтинг: Цена: 13190.00 T Наличие на складе: Невозможна поставка. Описание: When Anna`s brother Ben is born, the doctors say that he is profoundly disabled and will never live a normal life. Her family struggles to come to terms with their strange baby, but for Anna it`s love at first sight. Her special relationship with Ben gives her the strength to challenge the prejudices of her friends, but how will she cope with the tragedy that follows? A novel of exceptional power which deals powerfully with disability and bereavement, with an unforgettably endearing teenage heroine.
Автор: 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.
Автор: Smullyan Raymond Название: The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection ISBN: 0486482014 ISBN-13(EAN): 9780486482019 Издательство: Dover Рейтинг: Цена: 12370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Название: Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty ISBN: 0486482006 ISBN-13(EAN): 9780486482002 Издательство: Dover Рейтинг: Цена: 11540.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: "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."
Автор: Smullyan, Raymond M. Название: First-Order Logic ISBN: 0486683702 ISBN-13(EAN): 9780486683706 Издательство: Dover Рейтинг: Цена: 10710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
