
Berechnungstheorie für Informatiker
Vieweg+Teubner Verlag
Published on 1. November 1987
Book
Paperback/Softback
121 pages
978-3-519-02258-9 (ISBN)
Description
Standpunkt aus zu betrachten.
More details
Series
Edition
1988
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Upper undergraduate
Illustrations
121 S.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 8 mm
Weight
229 gr
ISBN-13
978-3-519-02258-9 (9783519022589)
DOI
10.1007/978-3-322-93085-9
Schweitzer Classification
Other editions
Additional editions

Erwin Engeler | Peter Läuchli
Berechnungstheorie für Informatiker
E-Book
04/2013
Vieweg+Teubner Verlag
€33.26
Available for download
Content
I.- 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.