Logik in der Informatik
Informatik · Universität · Logik in der Informatik
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.
Zum Üben gibt es 50 Aufgaben: interaktive Aufgaben. Jede Antwort bekommt sofort eine Rückmeldung, kostenlos und ohne Anmeldung.
Das gehört dazu
- 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
Beispielaufgaben
- Wann ist die Implikation A → B falsch?
- Wie viele Zeilen hat die Wahrheitstafel einer Formel mit 3 Aussagenvariablen?
- Stimmt das? „A ∨ B ist falsch, wenn A und B beide wahr sind.“