Friedrich L. Bauer, Martin Wirsing Elementare Aussagenlogik

Annotation

Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, da fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage fur die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Buchern uber Logik ist dieses fur den Anfanger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher auerhalb der Aussagenlogik liegende Gegenstande wie die Schaltlogik systematisch einbezogen worden, wo immer es moglich war: von dem fur die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen uber die Resolventenmethode, die den Anschlu an die Pradikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Ubungsaufgaben greifen haufig Gedanken auf, die im Text nur nebenbei erwahnt sind, und stellen Querbezuge her. Die Losungshinweise am Ende des Buches bieten manche Uberraschungen.