Items related to Berechnungstheorie für Informatiker (Leitfäden und...

Berechnungstheorie für Informatiker (Leitfäden und Monographien der Informatik) - Softcover

Engeler, Erwin; Läuchli, Peter

 
9783519022589: Berechnungstheorie für Informatiker (Leitfäden und Monographien der Informatik)

Synopsis

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.

"synopsis" may belong to another edition of this title.