back to search

Logik

IN2049Elective Modules Informatics8 ECTSEnglishsummer semesterDepartment Computer Science
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You learn the basics of propositional and predicate logic: syntax, semantics and formal proof systems. In the end you will be able to conduct proofs in deductive systems, demonstrate soundness and completeness, formalize problems and apply simple decision or semi-decision procedures such as resolution.

What you will be able to do

  • Difference between syntax and semantics
  • Carrying out proofs in a deductive system
  • Proving soundness and completeness of a system
  • Understanding the limits of logic and its relation to computability
  • Proving undecidability of fundamental problems (e.g. validity)
  • Formalisation of problems in computer science/mathematics in logic
  • Applying decision and semi-decision procedures (e.g. resolution)

What the module consists of

  • VorlesungVermittlung der Theorie durch Dozent/in im Dialog mit den Studierenden
  • Übung/TutoriumBearbeitung von Aufgaben einzeln oder in Kleingruppen mit Unterstützung durch Tutor/innen

Teaching method

  • VorlesungEinführung und Erklärung der Konzepte, gemeinsamer Austausch
  • Tutorien/ÜbungenAnwendung des Gelernten an Aufgaben, Übung von Beweistechniken und Verfahren
  • Schriftliche Aufgaben/Computerbasierte KomponentenVertiefung durch Hausaufgaben und ggf. implementatorische Übungen
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.