703007 Einführung in die Theoretische Informatik
Wintersemester 2016/2017 | Stand: 02.10.2017 | LV auf Merkliste setzen703007
Einführung in die Theoretische Informatik
VO 2
3
wöch.
jährlich
Deutsch
Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.
Aussagenlogik; Schaltkreise; Grammatiken; Chomsky Hierarchie; formale Modelle; Berechenbarkeit; Gleichungslogik; Programmverifikation
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
Schriftliche Prüfung.
Skriptum.
Weitere Literatur wird auf der Kurshomepage angeführt.
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- Lehramtsstudium (laut Stand vom 8.6.2011)
- Bachelorstudium Informatik nach dem Curriculum 2007 (180 ECTS-AP, 6 Semester)
- School of Education - Fakultät für LehrerInnenbildung
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 03.10.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 05.10.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 10.10.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 12.10.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 17.10.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 19.10.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 24.10.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mo 31.10.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mo 07.11.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 09.11.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 14.11.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 16.11.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 21.11.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 23.11.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 28.11.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 30.11.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 05.12.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 07.12.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 12.12.2016
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 14.12.2016
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 09.01.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 11.01.2017
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 16.01.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 18.01.2017
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 23.01.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 25.01.2017
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Mo 30.01.2017
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrierefrei | |
|
Mi 01.02.2017
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrierefrei | Tutorium |
|
Fr 09.06.2017
|
10.00 - 12.00 | HSB 8 HSB 8 | Barrierefrei | 2. Klausur |
|
Fr 27.10.2017
|
10.00 - 12.00 | HSB 7 HSB 7 | Barrierefrei | 3. Klausur |