back to search

Logik

ED0141Support Electives5 ECTSGerman/Englishsummer semesterProfessur für Philosophie und Wissenschaftstheorie (Prof. Centrone)
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You will learn the fundamentals of formal logic: propositional logic and first-order predicate logic. In the end you can formally represent natural language expressions, understand the syntax and semantics of the systems, perform formal proofs in the natural deduction calculus, and classify central metatheoretical results such as soundness and completeness.

What you will be able to do

  • Familiarity with formal tools and methods of logical thinking
  • Formalize statements from natural language into logical expressions
  • Understand the syntax and semantics of logical systems
  • Construct formal proofs with the natural deduction calculus (NK)
  • Insight into metatheoretical results: soundness and completeness

What the module consists of

  • LecturesConveys the theoretical foundations of propositional and predicate logic
  • Guided exercisesPractice in formalization and proof construction

Teaching method

  • LecturesIntroduction and explanation of concepts
  • Guided exercisesPractical application in formalization and proving
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Official page in TUMonline · Details are not binding.