Vor Ort
Merkzettel Warenkorb
Produktbild: Elementare Aussagenlogik

Elementare Aussagenlogik

Aus der Reihe Mathematik für Informatiker

56,90 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1991

Abbildungen

X, 228 S. 4 Abb.

Verlag

Springer Berlin

Seitenzahl

228

Maße (L/B/H)

24,2/17/1,4 cm

Gewicht

418 g

Sprache

Deutsch

ISBN

978-3-540-52974-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.03.1991

Abbildungen

X, 228 S. 4 Abb.

Verlag

Springer Berlin

Seitenzahl

228

Maße (L/B/H)

24,2/17/1,4 cm

Gewicht

418 g

Sprache

Deutsch

ISBN

978-3-540-52974-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Elementare Aussagenlogik
  • 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.