Berechnungstheorie für Informatiker

Autori

• Erwin Engeler

Parametri

• Computer, IT, programmazione
• Leitfäden und Monographien der Informatik

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.

Per saperne di più

Lingua: Tedesco

Pubblicato: 1988

(In brossura)