Bookbot

Berechnungstheorie für Informatiker

En savoir plus sur le livre

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.

Achat du livre

Berechnungstheorie für Informatiker, Erwin Engeler

Langue
Année de publication
1992
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Titre
Berechnungstheorie für Informatiker
Langue
Allemand
Éditeur
Teubner
Publié
1992
Format
souple
Pages
120
ISBN10
3519122588
ISBN13
9783519122586
Séries
Description
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.