Bibel | Deduktion | Buch | 978-3-486-20785-9 | www2.sack.de

Buch, Deutsch, Band 6.2, 269 Seiten, HC runder Rücken kaschiert, Format (B × H): 175 mm x 246 mm, Gewicht: 645 g

Reihe: Handbuch der Informatik

Bibel

Deduktion

Automatisierung der Logik
Nachdruck 2020
ISBN: 978-3-486-20785-9
Verlag: De Gruyter

Automatisierung der Logik

Buch, Deutsch, Band 6.2, 269 Seiten, HC runder Rücken kaschiert, Format (B × H): 175 mm x 246 mm, Gewicht: 645 g

Reihe: Handbuch der Informatik

ISBN: 978-3-486-20785-9
Verlag: De Gruyter

Keine ausführliche Beschreibung für "Deduktion" verfügbar.

Bibel Deduktion jetzt bestellen!

Autoren/Hrsg.

Bibel, Wolfgang

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.