Logik in der Informatik

Logik in der Informatik üben (Logik in der Informatik · Informatik, Universität): 50 Übungsaufgaben mit sofortiger Rückmeldung. In dieser Einheit lernst du: Junktoren · Wahrheitswerte und semantische Grundbegriffe kennen; Äquivalenzumformungen und Schlussregeln anwenden; KNF · DNF und Resolution beherrschen; Quantoren · freie Variablen und Formalisierungen verstehen; Alle Inhalte prüfungsnah anwenden.