Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
InhaltsverzeichnisEinführung.1 Aussagenlogik.1A Formeln schreiben und benutzen.1B Allgemeingültige Formeln und logisches Folgern.1C Entscheidungsverfahren und Normalformen.1D Ableiten.2 Offene Prädikatenlogik.2A Situationen strukturieren und durch Formeln beschreiben.2B Mit Formeln und Strukturen umgehen.2C Strukturieren, Formalisieren, Axiomatisieren.2D Ableiten.3 Prädikatenlogik.3A Quantorenlogik.3B Finitisieren und mechanisieren.3C Geometrie und Zahlen axiomatisieren.3D Stärken und Schwächen.Anhang Unvollständiger Dialog über Vollständigkeit.Die Lehrveranstaltung Logik für Informatiker.Verzeichnisse.Personenverzeichnis.Symbolverzeichnis.Begriffsverzeichnis.
Buchkauf
Formalisieren und beweisen, Dirk Siefkes
- Sprache
- Erscheinungsdatum
- 1990
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.