Das Buch ist derzeit nicht auf Lager
Berechnungstheorie für Informatiker
Autoren
Mehr zum Buch
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.
Publikation
Buchkauf
Dieses Buch ist derzeit nicht auf Lager.