Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
- For questions: e-mail to sofronie@uni-koblenz.de
- Time and place:
Konferenzsystem for QA sessions (TBA): Big Blue Button (BBB) under OLAT (Gruppe "Vertiefung Theoretische Informatik WS2021/22")
Forum: under OLAT (Gruppe "Vertiefung Theoretische Informatik WS2021/22")
Exercise
Konferenzsystem: Big Blue Button (BBB) under OLAT (Gruppe "Vertiefung Theoretische Informatik")
News
The slides of the first lecture will be available on the
website and the audio-commented slides will be in Panopto
on Wednesday, 27.10.2021 before the time of the lecture.
The first exercise sheet will be available online on Wed, 27.10.2021.
The first exercise session will take place on Monday 8.11.2021
(then the first two exercise sheets will be discussed)
Infos on slides/meetings
Slides and Links to audiocommented slides available here
Exam:
- Termin 1: Friday, 25 February 2022,11:00-13:00, Written exam, Room M001
- Termin 2: Wednesday, 13 April 2022, oral exam
- Registration in KLIPS possible until 10.04.2022; De-registration possible until 12.04.2022
Contents
This lecture presents important notions and results related to
computability and its limits.