• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic and Computations

Logic and Computations

Paperback

General Computers

Currently unavailable to order

ISBN10: 3832530908
ISBN13: 9783832530907
Publisher: Logos Verlag Berlin
Published: Mar 10 2012
Pages: 130
Weight: 0.50
Height: 0.33 Width: 5.68 Depth: 8.04
Language: English
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.

Also in

General Computers