Main Teaching Sommersemester 2023 Logic
Logic (IN2049)
Dates 18.04.2023 08:00-10:00 19.04.2023 12:00-13:45 21.04.2023 14:00-16:00 25.04.2023 08:00-10:00 26.04.2023 12:00-13:45 28.04.2023 14:00-16:00 02.05.2023 08:00-10:00 03.05.2023 12:00-13:45 05.05.2023 14:00-16:00 09.05.2023 08:00-10:00 10.05.2023 12:00-13:45 12.05.2023 14:00-16:00 16.05.2023 08:00-10:00 17.05.2023 12:00-13:45 19.05.2023 14:00-16:00 23.05.2023 08:00-10:00 24.05.2023 12:00-13:45 26.05.2023 14:00-16:00 31.05.2023 12:00-13:45 02.06.2023 14:00-16:00 06.06.2023 08:00-10:00 07.06.2023 12:00-13:45 09.06.2023 14:00-16:00 13.06.2023 08:00-10:00 14.06.2023 12:00-13:45 16.06.2023 14:00-16:00 20.06.2023 08:00-10:00 21.06.2023 12:00-13:45 21.06.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr *23.06.2023 14:00-16:00 27.06.2023 08:00-10:00 28.06.2023 12:00-13:45 30.06.2023 14:00-16:00 04.07.2023 08:00-10:00 05.07.2023 12:00-13:45 07.07.2023 14:00-16:00 11.07.2023 08:00-10:00 12.07.2023 12:00-13:45 14.07.2023 14:00-16:00 18.07.2023 08:00-10:00 19.07.2023 12:00-13:45 21.07.2023 14:00-16:00 * Canceled 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 .
