3 Review(s)

Dieses Buch ueber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ueber Elementare Praedikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitaet Muenchen entstanden. Es basiert auf der UEberzeugung, dass fuer Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fuer Ingenieure oder Physiker, sondern auch ein anderes Menue, als es sich an unseren Universitaeten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebuergert hat. Neben den unentbehrlichen Einfuehrungsvorlesungen in Mathematik sind fuer die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fuer die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Buechern ueber Logik ist dieses fuer den Anfaenger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher ausserhalb der Aussagenlogik liegende Gegenstaende wie die Schaltlogik systematisch einbezogen worden, wo immer es moeglich war: von dem fuer die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ueber die Resolventenmethode, die den Anschluss an die Praedikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten UEbungsaufgaben greifen haeufig Gedanken auf, die im Text nur nebenbei erwaehnt sind, und stellen Querbezuege her. Die Loesungshinweise am Ende des Buches bieten manche UEberraschungen.