104.554 AKALG Finite Model Theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, UE, 1.0h, 1.5EC

Properties

  • Semester hours: 1.0
  • Credits: 1.5
  • Type: UE Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to formalize computation and design algorithms related to logical problems.These exercises accompany the course of the same title, with the goal of deepening the students' understanding of the matter taught.

Subject of course

A logical characterization of the complexity class NP, some (un-)definability results for finite structures, Gödel's incompleteness theorem and the undecidability of the halting problem for Turing machines.

Teaching methods

Students solve given exercises.

Mode of examination

Immanent

Additional information

Literature: L. Libkin, Elements of finite model theory

http://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed16:30 - 17:1502.03.2022 - 29.06.2022 Meeting Room, Freihaus, green area, 5th floorModel theory 2
AKALG Finite Model Theory - Single appointments
DayDateTimeLocationDescription
Wed02.03.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed09.03.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed16.03.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed23.03.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed30.03.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed06.04.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed27.04.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed04.05.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed11.05.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed18.05.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed25.05.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed01.06.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed08.06.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed15.06.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed22.06.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed29.06.202216:30 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2

Examination modalities

Presentation of solutions by students.

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Mandatory elective

Literature

No lecture notes are available.

Previous knowledge

The course is aimed at students with a basic knowledge of mathmatical logic or algebra.

Accompanying courses

Language

English