Elementare Aussagenlogik [German]

Dieses Buch ?ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ?ber Elementare Pr?dikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universit?t M?nchen entstanden. Es basiert auf der ?berzeugung, da? f?r Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa f?r Ingenieure oder Physiker, sondern auch ein anderes Men?, als es sich an unseren Universit?ten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeb?rgert hat. Neben den unentbehrlichen Einf?hrungsvorlesungen in Mathematik sind f?r die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage f?r die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen B?chern ?ber Logik ist dieses f?r den Anf?nger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher au?erhalb der Aussagenlogik liegende Gegenst?nde wie die Schaltlogik systematisch einbezogen worden, wo immer es m?glich war: von dem f?r die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ?ber die Resolventenmethode, die den Anschlu? an die Pr?dikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten ?bungsaufgaben greifen h?ufig Gedanken auf, die im Text nur nebenbei erw?hnt sind, und stellen Querbez?ge her. Die L?sungshinweise am Ende des Buches bieten manche ?berraschungen.