Your Waterstones card is changing, introducing...
TELL ME MORE
Elementare Berechenbarkeitstheorie - Springer-Lehrbuch (Paperback)
  • Elementare Berechenbarkeitstheorie - Springer-Lehrbuch (Paperback)
zoom

Elementare Berechenbarkeitstheorie - Springer-Lehrbuch (Paperback)

(author)
£11.99
Paperback 180 Pages / Published: 01/04/1996
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Das Buch f�hrt in leicht verst�ndlicher und dennoch pr�ziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber f�r alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ans�tze untereinander gezeigt. Dar�ber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterf�hrendes Thema wird die Unentscheidbarkeit der Pr�dikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540606673
Number of pages: 180
Weight: 202 g
Dimensions: 203 x 127 x 10 mm
Edition: 1996 ed.

You may also be interested in...

Logic for Dummies
Added to basket
£13.99
Paperback
How to Prove It
Added to basket
Introducing Infinity
Added to basket
Logic
Added to basket
£10.99
Paperback
The Foundations of Mathematics
Added to basket
Math Girls
Added to basket
£11.99
Paperback
Equation That Couldn't be Solved
Added to basket
Sets, Logic and Categories
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
Category Theory
Added to basket
£38.99
Paperback
Foundation Mathematics
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.