Berechnungstheorie für Informatiker

Autorzy

Erwin Engeler

Parametry

120 stron
5 godzin czytania

Komputery & Internet

Więcej o książce

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.

Zakup książki

Berechnungstheorie für Informatiker, Erwin Engeler

Język
Rok wydania: 1992
Oprawa: (miękka)

Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.

Metody płatności

Nikt jeszcze nie ocenił.Oceń

Informacje o wydaniuZaproponuj zmianę

Tytuł: Berechnungstheorie für Informatiker
Język: niemiecki
Autorzy: Erwin Engeler
Wydawca: Teubner
Rok wydania: 1992
Oprawa: miękka
Liczba stron: 120
ISBN10: 3519122588
ISBN13: 9783519122586
Seria
Kategorie: Literatura naukowa Technologia & Inżynieria Komputery & Internet
Tagi
Opis: 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.