Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Berechnungstheorie Für Informatiker

Berechnungstheorie Für Informatiker

Engeler, Erwin
Läuchli, Peter

Paperback

Series: Leitfäden Und Monographien Der Informatik

Technology & Engineering

ISBN10: 3519022583
ISBN13: 9783519022589
Publisher: Springer Nature
Published: Nov 1 1987
Pages: 121
Weight: 0.46
Height: 0.26 Width: 6.69 Depth: 9.61
Language: German
Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als Kleines Repetitorium der Berechnungstheorie an die Stu- denten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathema- tische Rüstzeug verfugt, welches etwa in einem elementaren Kurs Diskrete Mathema- tik in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elek- trotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung (Berechnungstheorie, 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeu- gung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, ver- schiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten.

Also in

Technology & Engineering

View All