Vorlesungen über Informatik, Band 1: Grundlagen und by Gerhard Goos, Wolf Zimmermann

By Gerhard Goos, Wolf Zimmermann

Dieses Lehrbuch bietet eine fundierte Einf?hrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von software program in den Mittelpunkt der Darstellung. Der hier vorliegende Band vermittelt die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die vierte Auflage des bew?hrten Lehrbuches ist grundlegend ?berarbeitet und aktualisiert worden. Der textual content richtet sich an Studierende im Grundstudium an Universit?ten und Fachhochschulen und basiert auf der langj?hrigen Erfahrung der Autoren in der Ausbildung angehender Informatiker.

Show description

Read Online or Download Vorlesungen über Informatik, Band 1: Grundlagen und funktionales Programmieren, 4. Auflage PDF

Similar computers books

Fire in the Valley: The Birth and Death of the Personal Computer

Within the Nineteen Seventies, whereas their contemporaries have been protesting the pc as a device of dehumanization and oppression, a motley selection of university dropouts, hippies, and electronics lovers have been engaged in whatever even more subversive. captivated with the assumption of having laptop energy into their very own palms, they introduced from their garages a hobbyist flow that grew into an undefined, and eventually a social and technological revolution.

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

This booklet constitutes the refereed lawsuits of the twenty third Annual Symposium on Theoretical elements of desktop technology, STACS 2006, held in Marseille, France, in February 2006. The fifty four revised complete papers provided including 3 invited papers have been conscientiously reviewed and chosen from 283 submissions.

Compel (Vol. 23, 2004): Special Issue

Unique factor: chosen papers from PMAPS 2002 -Conference on Probabilistic equipment utilized to energy platforms, Naples 2002

Additional info for Vorlesungen über Informatik, Band 1: Grundlagen und funktionales Programmieren, 4. Auflage

Sample text

Zeigen Sie: Ein formales System (U , ⇒ ) ist genau ⇒ ‫ء‬ ȋ ) ein (entscheidbares) formales System ist. dann entscheidbar, wenn auch (U , ⇒ Formale Systeme beschreiben die allgemeinste Form von Relationen zwischen Gegenständen, die wir mit algorithmischen Methoden modellieren und realisieren können. Wir werden an zahlreichen Beispielen sehen, daß die Grundmenge U oft eine weitergehende Struktur aufweist, die in der Ableitungsbeziehung genutzt wird. Ein formales System, z. B. ein Markov-Algorithmus, heißt endlich erzeugt, wenn die Relation l ⇒ r durch eine endliche Menge von Regeln p Ǟ q definiert wird.

Ob eine Größe x > 0 ist, abhängen. Also benötigt man eine Programmsteuerung, die Entscheidungen über die nächsten Rechenschritte treffen kann. Die Idee programmgesteuerter Rechner geht auf C. Babbage28 zurück, der ab 1833 mit mechanischen Hilfsmitteln eine analytische Maschine baute, um 26. engl. barrier synchronization. 27. Konrad Zuse nannte sie in den 30er und 40er Jahren Rechenautomaten. Warum man im Deutschen 30 Jahre später die Wörter Rechner und Rechenautomat gegen ein englisches Wort tauschte, bleibt rätselhaft.

Chomsky-Grammatiken lassen sich nach der Form ihrer Produktionen l Ǟ r wie in Tab. 1 weiter klassifizieren. Eine Grammatik ist eine Chomsky-Typ 0 oder kurz eine CH-0-Grammatik, 45. engl. sentential form bzw. phrase. Grammatiken nach Chomsky heißen oft auch Phrasenstrukturgrammatiken. 46. engl. parsing. typ CH-0 CH-1 CH-1 CH-2 CH-3 CH-3 A ʦ N, x ʦ ⌺ wenn ihre Produktionen keinen Einschränkungen unterliegen. Insbesondere sind Produktionen ␧ Ǟ r erlaubt. Der Vergleich mit Markov-Algorithmen — die Schiffchen entsprechen in etwa den Nichtterminalen — zeigt, daß man jede berechenbare Menge als Sprache L(G) einer Chomsky-0-Grammatik erhalten kann.

Download PDF sample

Rated 4.00 of 5 – based on 11 votes

Related posts