Overview

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.

Full Product Details

Author:   Friedrich L. Bauer ,  Martin Wirsing
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Dimensions:   Width: 17.00cm , Height: 1.30cm , Length: 24.20cm
Weight:   0.418kg
ISBN:  

9783540529743

ISBN 10:   3540529748
Pages:   228
Publication Date:   28 March 1991
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

I. Natürliches Begriffsfeld.- 1. Aussagen und Aussagenverbindungen.- 2. Aussageformen.- 3. Syntax der Aussageformen.- II. Wertverlauf.- 4. Tautologien und erfüllbare Aussageformen.- 5. Äquivalenz und Ordnung von Aussageformen.- 6. Die selbständige Rolle der Subjunktion.- III. Funktionale und Algebraische Aspekte.- 7. Aussagenlogische Funktionen.- 8 Repräsentantensysteme.- 9 Algebra der Aussageformen.- 10. Programmiersprachen: Fallunterscheidungskalkül.- IV. Formale Reduktionen.- 11. Auswertung und Teilauswertung „von außen“.- 12. Normalformen.- 13. Adjunktive und konjunktive Normalformen.- 14. Kanonische Normalformen.- 15. Die Resolventenmethode.- 16. Die Methode des Widerspruchs.- V. Formale Ableitungen.- 17. Gewinnung von Schlußregeln.- 18. Ableitungssysteme für Tautologien.- 19. Ableitungssysteme für Folgerungen.- 20. Kompaktheit.- VI. Modale Aussagenlogiken.- 21. Die Sprache der Modallogiken.- 22. Semantik modaler Logiken.- 23. Dimodale Logiken.- 24. Multimodale Logiken.- Hinweise zur Lösung der Aufgaben.- Aussagenlogische Operationen.- Tautologien.- Schlußregeln für Tautologien.- Schlußregeln für Folgerungen.- Modallogische Regeln und Gesetze.- Literatur und Quellen.- Namen- und Sachverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions