Logic and Computations
Seiten
This short book is a complete introduction to logic and computations. As computations we use finite state automata and turing machines. In logic we use sequent calculus and show its completeness. The interrelation between logic and computations is stressed by using predicate logic to simulate computations and seeing how undecidability phenomena on computations is transferred to incompleteness in logic. We end up with discussions of complexity both in logic and in computations.
A novel feature here is the use of AND-OR trees in describing alternating automata, in introducing sequent calculus, and in complexity.
A novel feature here is the use of AND-OR trees in describing alternating automata, in introducing sequent calculus, and in complexity.
Die Kunst der Übersetzung
| Erscheint lt. Verlag | 10.3.2012 |
|---|---|
| Sprache | englisch |
| Maße | 145 x 210 mm |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Informatik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Automata • Complexity • describing compuations • sequent calculus • Turing Machines |
| ISBN-10 | 3-8325-3090-8 / 3832530908 |
| ISBN-13 | 978-3-8325-3090-7 / 9783832530907 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
