Ebook: Elementare Aussagenlogik

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.

---

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.

---

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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-1
Nat?rliches Begriffsfeld....Pages 2-17
Wertverlauf....Pages 18-45
Funktionale und Algebraische Aspekte....Pages 46-87
Formale Reduktionen....Pages 88-141
Formale Ableitungen....Pages 142-165
Modale Aussagenlogiken....Pages 166-196
Back Matter....Pages 197-229

---

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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-1
Nat?rliches Begriffsfeld....Pages 2-17
Wertverlauf....Pages 18-45
Funktionale und Algebraische Aspekte....Pages 46-87
Formale Reduktionen....Pages 88-141
Formale Ableitungen....Pages 142-165
Modale Aussagenlogiken....Pages 166-196
Back Matter....Pages 197-229
....