Logic (IN2049)

Duration6 SWS
TermSommersemester 2023
Language of instructionEnglish
Position within curriculaSee TUMonline
DatesSee TUMonline

Admission information


In the context of propositional and predicate logic the following basic notions are covered: - Syntax and semantics - Proof system and proof search - Soundness and completeness - Decidability - Expressiveness Possible further topics (non exhaustive): - Proof systems - Automated theorem proving - Verification - Decision procedures - Prolog - Data base theory - Higher-order logic - Set theory - Constructive logic - Fuzzy logic.


Moodle page

You can find the latest information regarding this course at its Moodle page


The lecturer for this course is Prof. Javier Esparza. The teaching assistants for this course are Bala and Marijana.