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

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 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 Text 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. TOC:Einleitung.- Grundbegriffe.- Halbgruppen, Relationen.- Algebren, Termalgebren.- Formale Logik.- Funktionales Programmieren.- Abstrakte Datentypen.- Algorithmenkonstruktion.- Verzeichnisse.- Anhänge Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software 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 bewahrten Lehrbuches ist grundlegend uberarbeitet und aktualisiert worden. Der Text richtet sich an Studierende im Grundstudium an Universitaten und Fachhochschulen und basiert auf der langjahrigen Erfahrung der Autoren in der Ausbildung angehender Informatiker. " Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen. Der Autor stellt die Prinzipien der "Systemmodellierung" und der "ingenieurmäßigen Softwarekonstruktion" in den Mittelpunkt seiner Darstellung. In vier Bänden deckt dieses Werk die Informatik-Grundvorlesung bis zum Vordiplom ab. Der nun in dritter Auflage vorliegende erste Band bietet den Einstieg in den Vorlesungszyklus und vermittelt die Grundbegriffe, mit denen die Informatik umgeht und die theoretischen Grundlagen (Algebren, Relationen, Logikgrundlagen, funktionales Programmieren, abstrakte Datentypen), die benötigt werden, um das systematische Konstruieren von Informatiksystemen zu erlernen