Bookbot

Berechnungstheorie für Informatiker

Parametre

  • 121 stránok
  • 5 hodin čítania

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
1988
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť