Formalisieren und Beweisen
Produktinformationen "Formalisieren und Beweisen"
| Autor: | Siefkes, Dirk |
|---|---|
| ISBN: | 9783528047573 |
| Verlag: | Vieweg & Teubner |
| Auflage: | 1 |
| Sprache: | Deutsch |
| Seitenzahl: | 262 |
| Produktart: | Kartoniert / Broschiert |
| Erscheinungsdatum: | 01.01.1990 |
| Verlag: | Vieweg & Teubner |
| Untertitel: | Logik für Informatiker |
| Schlagworte: | Ableitung Aussagenlogik Disjunktive Normalform Informatik Kompaktheit Logik Mathematik Peano-Axiome Programmieren Resolution |