Knihobot

Berechnungstheorie für Informatiker

Více o knize

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 vydání
1992
product-detail.submit-box.info.binding
(měkká)
Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Titul
Berechnungstheorie für Informatiker
Jazyk
německy
Vydavatel
Teubner
Rok vydání
1992
Vazba
měkká
Počet stran
120
ISBN10
3519122588
ISBN13
9783519122586
Série
Anotace
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.