Lecture: 2.01.400 Theoretische Informatik: Logik - Details

General information

Course name	Lecture: 2.01.400 Theoretische Informatik: Logik
Subtitle	inf400
Course number	2.01.400
Semester	SoSe2024
Current number of participants	139
expected number of participants	200
Home institute	Department of Computing Science
Courses type	Lecture in category Teaching
First date	Friday, 05.04.2024 10:00 - 12:00, Room: A11 1-101 (Hörsaal B)
Type/Form	V
Lehrsprache	deutsch und englisch

Lecturers

• Dr. Stephanie Kemper
• Nicola Anna Thoben

Tutors

• Lara Ahrens
• Sebastian Körner
• Stieven Tammen

Rooms and times

A11 1-101 (Hörsaal B)

Tuesday: 10:00 - 12:00, weekly (13x)

Friday: 10:00 - 12:00, weekly (12x)

Friday, 20.09.2024 10:00 - 12:00

A14 1-101 (Hörsaal 1)

Thursday, 18.07.2024 13:30 - 15:30

A14 1-102 (Hörsaal 2)

Thursday, 18.07.2024 13:30 - 15:30

Fields of study

• Campusmanagementsystem Stud.IP
  • Interdisziplinäre Lehreinrichtungen
    • Angebote der ZSKB für Studieninteressierte
      • Schnupperstudium
        • Informatik

Module assignments

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

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.