Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Formalisieren und beweisen, Dirk Siefkes
- Taal
- Jaar van publicatie
- 1990
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.