Knihobot

Berechnungstheorie für Informatiker

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

Berechnungstheorie für Informatiker, Erwin Engeler

Jazyk
Rok vydania
1992
Akonáhle sa objaví, pošleme e-mail.

Doručenie

  •  

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť