Bookbot

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.

Nákup knihy

Berechnungstheorie für Informatiker, Erwin Engeler

Jazyk
Rok vydania
1992
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Titul
Berechnungstheorie für Informatiker
Jazyk
nemecky
Vydavateľ
Teubner
Rok vydania
1992
Väzba
mäkká
Počet strán
120
ISBN10
3519122588
ISBN13
9783519122586
Série
Anotácia
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.