Logic (IN2049)

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

Admission information

Description

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.

Links

Moodle page

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

Contact

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