Bibel | Deduktion | E-Book | sack.de
E-Book

E-Book, Deutsch, Band 6.2, 269 Seiten

Reihe: Handbuch der Informatik

Bibel Deduktion

Automatisierung der Logik
Nachdruck 2020
ISBN: 978-3-11-070112-8
Verlag: De Gruyter
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

Automatisierung der Logik

E-Book, Deutsch, Band 6.2, 269 Seiten

Reihe: Handbuch der Informatik

ISBN: 978-3-11-070112-8
Verlag: De Gruyter
Format: PDF
 Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

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
Bibel Deduktion jetzt bestellen!

Autoren/Hrsg.

Bibel, Wolfgang

Fachgebiete

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.