Logic (IN2049)
| Number | 0000004294 |
|---|---|
| Duration | 6 SWS |
| Term | Sommersemester 2023 |
| Language of instruction | English |
| Position within curricula | See TUMonline |
| Dates | See TUMonline |
- 18.04.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 19.04.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 21.04.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 25.04.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 26.04.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 28.04.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 02.05.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 03.05.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 05.05.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 09.05.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 10.05.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 12.05.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 16.05.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 17.05.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 19.05.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 23.05.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 24.05.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 26.05.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 31.05.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 02.06.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 06.06.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 07.06.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 09.06.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 13.06.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 14.06.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 16.06.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 20.06.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 21.06.2023 12:00-13:45 1550, Georg-Kühne-Zeichensaal
- 23.06.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 27.06.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 28.06.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 30.06.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 04.07.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 05.07.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 07.07.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 11.07.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 12.07.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 14.07.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
- 18.07.2023 08:00-10:00 102, Hörsaal 2, "Interims I"
- 19.07.2023 12:00-13:45 Hörsaal im Galileo nur Mo-Do 7-19 Uhr
- 21.07.2023 14:00-16:00 102, Hörsaal 2, "Interims I"
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.
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.