This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.
Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der logischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Priidikatenlogik 1. Stufe ein. Schlie13lich behandeln wir die modale A ussagenlogik. Damit ist ein dem einfiihrenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterfiihrender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstel lung hauptsachlich an Informatik-Stlidenten nach dem ersten Studienjahr. Voraus gesetzt werden die iiblicherweise in den ersten Semestern vermittelten mathemati schen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verstiindnis des Stoffes unerla13lich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete \ Ierkzeug ist. Dariiber hinaus set zen wir die Kenntnis des Berechenbarkeitsbegriffs und del’ damit zusammenhangen den Begriffe rekursiv und rekursiv-aufzahlbar in dem MaBe voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt.
