Inhalt
I.- 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.
I.- 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.
Titel
Berechnungstheorie für Informatiker
Autor
EAN
9783322926777
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
17.04.2013
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
120
Auflage
2. Aufl. 1988
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.