Mathematische Logik mit Informatik-Anwendungen

Beschreibung

Autor*in

E. Bergmann

Themen in »Mathematische Logik mit Informatik-Anwendungen«

Ableitung Algorithmen Beweis Herbrand-Struktur Informatik Konjunktive Normalform Konstante Logik Programmiersprache Prädikatenlogik Satz von Herbrand Variable Vollständigkeit Wortfunktion mathematische Logik

Stimmen zu »Mathematische Logik mit Informatik-Anwendungen«

Details

Link teilen