Berechnungstheorie Fur Informatiker Erwin Engeler

ISBN: 9783519022589

Published: November 1st 1987

Paperback

121 pages


Description

Berechnungstheorie Fur Informatiker  by  Erwin Engeler

Berechnungstheorie Fur Informatiker by Erwin Engeler
November 1st 1987 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 121 pages | ISBN: 9783519022589 | 5.45 Mb

Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zurich vermitteln. Vieles davon ist bereits fruher in der Form von provisorischen NotizenMoreDer Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zurich vermitteln.

Vieles davon ist bereits fruher 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 unabhangige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus naturlich aufdrangte. So hat denn P. Lauchli den ersten, E. Engeier den zweiten Teil selbstandig betreut.

Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Fur die Lekture des Buches wird vorausgesetzt, dass der Leser uber das mathema tische Rustzeug verfugt, welches etwa in einem elementaren Kurs Diskrete Mathema tik in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elek trotechnik, angeboten wird. Dazu gehoren jedenfalls Grundbegriffe bezuglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwahnten 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 ausfuhrlich diskutierten regularen Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, ver schiedene Gegenstande von einem einheitlichen Standpunkt aus zu betrachten.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Berechnungstheorie Fur Informatiker":


nfilmhd.trustedbookdll.website

©2013-2015 | DMCA | Contact us