Format:
1 Online-Ressource (VIII, 240S.)
Edition:
2., durchgesehene Auflage
ISBN:
9783322801388
,
9783519122487
Series Statement:
Leitfäden und Monographien der Informatik
Note:
Die Gedankenwelt der Logik gewinnt in der Informatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschließlich dem menschlichen Denken vorbehalten waren, einem Rechner zu übertragen, setzt ein durchgreifendes Verständnis der logischen Prinzipien voraus, die dem Prozeß des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eröffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der Informatik. Die Mathematische Logik erweist sich dabei als ein äußerst nützliches Hilfsmittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Prädikatenlogik 1. Stufe ein. Schließlich behandeln wir die modale Aussagenlogik. Damit ist ein dem einführenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterführender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstellung hauptsächlich an Informatik-Studenten nach dem ersten Studienjahr. Vorausgesetzt werden die üblicherweise in den ersten Semestern vermittelten mathematischen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verständnis des Stoffes unerläßlich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete Werkzeug ist. Darüber hinaus setzen wir die Kenntnis des Berechenbarkeitsbegriffs und der damit zusammenhängenden Begriffe "rekursiv" und "rekursiv-aufzahlbar" in dem Maße voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt
Language:
German
Keywords:
Mathematische Logik
;
Informatik
;
Einführung
DOI:
10.1007/978-3-322-80138-8
Author information:
Heinemann, Bernhard 1950-
Author information:
Weihrauch, Klaus 1943-
Bookmarklink