Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Einfü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.