↓ Skip to main content
Ondřej Smetana

Übung Formale Grundlagen, WS2026

Overview
#

Course page for the Übung in Formal Basics (Formale Grundlagen), winter semester 2026, Leipzig University. Lecturer is Fabian Heck.

We also have Moodle but it doesn’t work.

  • Time: Thursdays 15:15-16:45, once in two weeks (starting 15. 10. 2026)
  • Location: Hörsaal 4 H1.043, Hörsaalgebäude
  • Code: 04-006-1001.ÜB02
  • Contact: ondrej.smetana@uni-leipzig.de doesn’t work, use ond.smetana@gmail.com, subject Formale Grundlagen

Materials
#

Übung 3 (12. 11. 2026): Functions & Relations
#

  • Topics: Relations, functions, function composition, properties of binary relations, equivalence classes
  • Slides: Relations & functions

Übung 2 (29. 10. 2026): Sets 2
#

  • Topics: Sets, set operations, set equivalences
  • Slides: Sets 2

Übung 1 (15. 10. 2026): Introduction, Sets
#