Elementare Aussagenlogik

Dieses Buch ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ber Elementare Prdikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitt Mnchen entstanden. Es basiert auf der berzeugung, da fr Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fr Ingenieure oder Physiker, sondern auch ein anderes Men, als es sich an unseren Universitten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebrgert hat. Neben den unentbehrlichen Einfhrungsvorlesungen in Mathematik sind fr die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fr die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Bchern ber Logik ist dieses fr den Anfnger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher auerhalb der Aussagenlogik liegende Gegenstnde wie die Schaltlogik systematisch einbezogen worden, wo immer es mglich war: von dem fr die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ber die Resolventenmethode, die den Anschlu an die Prdikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten bungsaufgaben greifen hufig Gedanken auf, die im Text nur nebenbei erwhnt sind, und stellen Querbezge her. Die Lsungshinweise am Ende des Buches bieten manche berraschungen.