cover

Logic and Computations

Herman Ruge Jervell
ISBN 978-3-8325-3090-7
130 Seiten, Erscheinungsjahr:2012
Preis: 19.80 EUR

Inhaltsverzeichnis (PDF)

Stichworte/keywords: automata, turing machines, describing compuations, sequent calculus, complexity

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.

Author: Herman Ruge Jervell (1945) is professor of logic in Department of Informatics, University of Oslo

Please see as well: Modal logic and Proof theory

Exemplar(e)

Dieses Buch ist auch als eBook (PDF) erhätlich. Sie können es entweder als reines eBook herunterladen oder in Kombination mit dem gedruckten Buch (eBundle) erwerben. Der Erwerb beider Optionen wird über PayPal abgerechnet - zur Nutzung muss aber kein PayPal-Account angelegt werden.

Mit dem Erwerb des eBooks bzw. eBundles akzeptieren Sie unsere Lizenzbedingungen für eBooks.

eBook:    17.50 EUR ->

eBundle: 29.80 EUR ->
innerhalb Deutschlands (versandkostenfrei):          
außerhalb Deutschlands (Versandkosten: 4 EUR):

Bei Interesse an Multiuser- oder Campus-Lizenzen (MyLibrary) füllen Sie bitte das Formular aus oder schreiben Sie eine email an order@logos-verlag.de