Vorlesungen über Informatik: Band 1: Grundlagen Und Funktionales Programmieren (springer-lehrbuch) (german Edition)

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 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 Front Matter....Pages i-xii Grundbegriffe....Pages 1-42 Halbgruppen Relationen....Pages 43-112 Algebren und Termalgebren....Pages 113-140 Grundlagen aus der formalen Logik....Pages 141-208 Funktionales Programmieren....Pages 209-286 Abstrakte Datentypen....Pages 287-310 Algorithmenkonstruktion I....Pages 311-338 Back Matter....Pages 339-396