Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategien -- 5. Erweiterungen und Anwendungen -- Anhang -- 1. Aufgaben und Lösungen -- 2. Literatur -- 3. Deutsch-englisches Wörterbuch -- 4. Liste der Symbole -- 5. Register
Titel
Deduktion
Untertitel
Automatisierung der Logik
Autor
EAN
9783110701128
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
12.10.2020
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
64.65 MB
Anzahl Seiten
269
Auflage
Reprint 2020
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.