Exercises: 2.01.400-d Theoretische Informatik: Logik (Übung) - Details

General information

Course name	Exercises: 2.01.400-d Theoretische Informatik: Logik (Übung)
Subtitle	inf400
Course number	2.01.400-d
Semester	SoSe2025
Current number of participants	33
expected number of participants	32
Home institute	Department of Computing Science
Courses type	Exercises in category Teaching
First date	Thursday, 17.04.2025 16:00 - 17:00, Room: A05 1-160
Type/Form	Ü
Lehrsprache	deutsch

Lecturers

• Prof. Dr. Christoph Matheja
• Lara Bargmann
• Roberto Pettinau

Tutor

• Friederike Teresa Wolf

Rooms and times

A05 1-160

Thursday: 16:00 - 17:00, weekly (11x)

Module assignments

• Campusmanagementsystem Stud.IP
  • Computing Science - Extension subject Gymnasium
    • Computing Science
      • inf400 - Theoretical Computer Science: Logic
        • Exercises
    • Module
      • inf400 - Theoretical Computer Science: Logic
        • Exercises
  • Computing Science - Bachelor's Programme
    • Basismodule
      • inf400 - Theoretical Computer Science: Logic
        • Exercises
  • Computing Science - Master of Education Programme (Vocational and Business Education)
    • Akzentsetzungsbereich
      • inf400 - Theoretical Computer Science: Logic
        • Exercises
  • Computing Science - Master of Education Programme (Gymnasium)
    • Wahlpflichtmodule (Theoretische Informatik)
      • inf400 - Theoretical Computer Science: Logic
        • Exercises
  • Computing Science - Dual-Subject Bachelor's Programme
    • Wahlpflicht Theoretische Informatik (30 KP)
      • inf400 - Theoretical Computer Science: Logic
        • Exercises

Comment/Description

Übungen zur Logik Vorlesung, bitte erst einmal 5 Übungen anlegen (jeweils a 25 Teilnehmende)

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:

• Admission locked.