El libro está agotado actualmente
Parámetros
Más información sobre el libro
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.
Compra de libros
Formalisieren und beweisen, Dirk Siefkes
- Idioma
- Publicado en
- 1990
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.