Bookbot

Berechnungstheorie für Informatiker

Maggiori informazioni sul libro

InhaltsverzeichnisI.1 Berechenbarkeit, Aufzählbarkeit.2 Automaten und formale Sprachen.3 Fixpunkttheorie.4 Syntaktische Strukturen.II.5 Gödelisierung und Universalprogramme.6 Unlösbare Probleme der Informatik.7 Rekursive Prozeduren.Bibliographische Schlussbemerkungen.

Pubblicazione

Acquisto del libro

Berechnungstheorie für Informatiker, Erwin Engeler

Lingua
Pubblicato
1992
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento