|
|
Root number
|
101194 |
|
Semester
|
FS2025 |
|
Type of course
|
Seminar |
|
Allocation to subject
|
Computer Science |
|
Type of exam
|
not defined |
| Title |
Seminar: Logic and Theoretical Computer Science |
| Description |
Guest speakers, students as well as members of the Logic and Theory Research Group (LTG) present their current work.
A general platform for students interested in theoretical computer science, logic, and the foundations of mathematics.
Prerequisites: This is a research seminar that requires good knowledge of theoretical computer science and logic.
The seminar sessions will be held according to separate e-mail announcements. |
|
ILIAS-Link (Learning resource for course)
|
|
|
Link to another web site
|
|
| Lecturers |
Prof. Dr.
Thomas Studer, Institute of Computer Science, Logic and Theory Group (LTG) ✉
|
|
ECTS
|
5 |
|
Recognition as optional course possible
|
Yes |
|
Grading
|
1 to 6 |
| |
| Dates |
Thursday 10:15-12:00 Weekly
|
| |
| Rooms |
Hörraum A097, Exakte Wissenschaften, ExWi
|
| |
| Students please consult the detailed view for complete information on dates, rooms and planned podcasts. |
User:
Öffentlicher Bereich
Support