Vorlesungen über Informatik

Das Lehrbuch basiert auf der langjährigen Erfahrung der Autoren in der Ausbildung angehender Informatiker. Es bietet Studierenden im Grundstudium eine fundierte Einführung in die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt. Die vierte Auflage des bewährten Lehrbuches ist grundlegend überarbeitet und aktualisiert.

Grundbegriffe.- Halbgruppen Relationen.- Algebren und Termalgebren.- Grundlagen aus der formalen Logik.- Funktionales Programmieren.- Abstrakte Datentypen.- Algorithmenkonstruktion I.