Cantitate/Preț
Produs

Logical Labyrinths

Autor Raymond Smullyan
en Limba Engleză Hardback – 22 dec 2008
Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and truth-telling, this book introduces the informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic.
Citește tot Restrânge

Preț: 73073 lei

Preț vechi: 80300 lei
-9% Nou

Puncte Express: 1096

Preț estimativ în valută:
13986 14538$ 11585£

Carte disponibilă

Livrare economică 15-29 ianuarie 25
Livrare express 31 decembrie 24 - 04 ianuarie 25 pentru 3617 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781568814438
ISBN-10: 1568814437
Pagini: 336
Ilustrații: black & white illustrations, black & white tables
Dimensiuni: 152 x 229 x 25 mm
Greutate: 0.61 kg
Ediția:1
Editura: CRC Press
Colecția A K Peters/CRC Press
Locul publicării:United States

Recenzii

With the various bridge courses springing around campuses, this book could be used for a first glimpse into mathematical logic. The author has reached a delicate balance between simple fun with the various puzzles that fill the book and the formality of an introductory course on mathematical logic.
MAA Reviews, March 2009
In addition to being one of the most important mathematical logicians of our time, Raymond Smullyan is also a master inventor and purveyor of logic puzzles... Much of Smullyan's technical work consists of ingenious ways to generalize features of formal systems and crucial results in mathematical logic. That is what is highlighted in this book. Indeed, to motivate the presentation of the logic, he presents a clean and insightful generalization of many of the logic puzzles themselves. ... Given Smullyan's vitality, we can all hope for the sequel.
—Stewart Shapiro, Mathematical Reviews, October 2009
If mathematics educators wish to narrow the gap between expert and novice, they must understand the factors in the teaching and learning of proof, design rich explorations, and establish an environment in which these explorations are possible. The author accomplishes this admirably.
—Premalatha Junius, Mathematics Teacher, November 2009
Smullyan ... has earned fame for writing a small shelf of puzzle books. ... [Here] he provides a textbook on first-order logic, suitable for classroom use but animated with the lively imagination that makes his puzzle books a delight.
—D.V. Feldman, CHOICE, February 2010

Cuprins

Preface, I Be Wise, Generalize!, II Be Wise, Symbolize!, III Infinity, IV Fundamental Results in First-Order Logic, V Axiom Systems, VI More on First-Order Logic, References

Descriere

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author’s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.