Kniha momentálne nie je na sklade
Berechnungstheorie für Informatiker
Autori
Viac o knihe
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.
Vydanie
Nákup knihy
Akonáhle sa objaví, pošleme vám e-mail.