Vorlesungen über Informatik

Dieses Lehrbuch bietet eine moderne Einführung in die Informatik für das Grundstudium an Hochschulen 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 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.

Inhalt
1 Grundbegriffe.- 2 Halbgruppen, Relationen.- 3 Algebren und Termalgebren.- 4 Formate Logik.- 5 Funktionales Programmieren.- 6 Abstrakte Datentypen.- 7 Algorithmenkonstruktion I.- Literatur.- A Mengen, Relationen, Funktionen, Zahlen.- B Codierung.- Stichwortverzeichnis.