𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computability and Logic

✍ Scribed by George S. Boolos, John P. Burgess, Richard C. Jeffrey

Book ID
127454179
Publisher
Cambridge University Press
Year
2007
Tongue
English
Weight
2 MB
Edition
5th ed
Category
Library
City
Cambridge; New York
ISBN
0521701465

No coin nor oath required. For personal study only.

✦ Synopsis

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Computability and logic
Computability and logic
✍ George S. Boolos, John P. Burgess, Richard C. Jeffrey 📂 Library 📅 2002 🏛 Cambridge University Press 🌐 English ⚖ 2 MB

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics f

Computability, complexity, logic
Computability, complexity, logic
✍ E. Börger 📂 Library 📅 1989 🏛 North-Holland 🌐 English ⚖ 4 MB

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. T

Discrete structures, logic, and computab
Discrete structures, logic, and computability
✍ James L. Hein 📂 Library 📅 1995 🏛 Jones and Bartlett 🌐 English ⚖ 6 MB

This text introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic and computability. The emphasis is on the computational aspects, so that the reader can see how the concepts are ac