Universität · Informatik · Diskrete Mathematik
Aussagen- und Prädikatenlogik
4 Abschnitte1 Karteikarten-Decks1 Quizze
Formale Logik als Grundlage der Informatik: Aussagenlogik mit Junktoren und Wahrheitstafeln, Prädikatenlogik mit Quantoren, logische Äquivalenzen und Normalformen.
Inhaltsübersicht
- Einführung in die formale Logik
- Kernkonzepte
- Prädikatenlogik und Quantoren
- Zusammenfassung

📚 Vollständiges Lernmaterial mit 4 Abschnitten, Karteikarten und Quizzen verfügbar nach Anmeldung.
Jetzt kostenlos lernen →Verwandte Themen
Interaktiv lernen mit Karteikarten & Quizzen
Melde dich an und lerne Diskrete Mathematik mit intelligenten Wiederholungen, Quizzen und KI-Lernhilfen. 7 Tage kostenlos.
Kostenlos testen