Kniha momentálne nie je na sklade
Parametre
Kategórie
Viac o knihe
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.
Nákup knihy
Formalisieren und beweisen, Dirk Siefkes
- Jazyk
- Rok vydania
- 1990
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Formalisieren und beweisen
- Jazyk
- nemecky
- Autori
- Dirk Siefkes
- Vydavateľ
- Vieweg
- Vydavateľ
- 1990
- ISBN10
- 3528047577
- ISBN13
- 9783528047573
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.