Heidelberger Taschenbücher - 187: Mathematische Logik mit Informatik-Anwendungen

Mehr zum Buch

Dieses Buch entstand aus Skripten der Autoren zu ihrer Vorlesung "Mathematische Logik (für Informatiker)", die seit 1974 jährlich an der Technischen Universität Berlin angeboten wird. Die Lehrveranstaltung richtet sich an Informatik-Studenten ab dem 4. Semester und zielt darauf ab, sie mit logischen Methoden vertraut zu machen sowie zur mathematischen Ausbildung für Informatiker beizutragen. Es handelt sich um einen einführenden Text für Anfänger in der Logik, der mit grundlegenden Mathematikkenntnissen verständlich ist und nur einfache Konzepte von Programmiersprachen voraussetzt. Das Buch richtet sich sowohl an Mathematik- als auch an Informatik-Studenten und bietet eine mathematisch fundierte Darstellung der Prädikatenlogik erster Stufe, während es gleichzeitig Anwendungen dieser Logik in der Informatik integriert. Die Herausforderung, Logik mit Informatik-Anwendungen zu verknüpfen, liegt in der subjektiven Auswahl der Verbindungen, weshalb Raum für alternative Perspektiven und eine vertiefte Behandlung der genannten Anwendungen bleibt. Denkbar sind engere Verbindungen zur theoretischen Informatik oder eine systematische Erörterung der behandelten Anwendungsgebiete. Ziel ist es, Informatik und Logik so zu verknüpfen, dass Logik als Hilfsmittel für die Informatik angesehen wird, als eine Methode, die fruchtbare Ergebnisse in der Informatik hervorbringt.