1. Aussagenlogik (Propositional Logic)
- Grundlagen: Verständnis von Aussagen, logischen Operatoren (UND, ODER, NICHT, IMPLIKATION) und Wahrheitstabellen.
- Normalformen: Konjunktive Normalform (KNF) und disjunktive Normalform (DNF).

 2. Logikprogrammierung
- Logische Kontrukte in Programmiersprachen:  Auswahl Kontrollstruktureb
- Anwendungen: Datenbanken, künstliche Intelligenz, Expertensysteme.

 3. Automatentheorie und formale Sprachen
- Formale Sprachen: Reguläre Ausdrücke
- Anwendungen: Compilerbau, Syntaxanalyse, Sprachverarbeitung.

 4. Komplexitätstheorie und Berechenbarkeit
- Entscheidungsprobleme: Probleme, die durch logische Formeln beschrieben und
- Reduktionen: Logische und algorithmische Reduktionen zwischen Problemen.

 5. Logische Grundlagen der Datenbanken
- Relationale Algebra: Grundlage der Abfragesprachen für relationale Datenbanken.
- Logik in SQL: Verwendung logischer Ausdrücke und Prädikaten in Abfragen.

Last modified: Tuesday, 30 July 2024, 3:38 PM