703007 Introduction to Theoretical Computer Science
winter semester 2016/2017 | Last update: 02.10.2017 | Place course on memo list703007
Introduction to Theoretical Computer Science
VO 2
3
weekly
annually
German
Graduates of this modules understand the notion of computability theory and various abstract computational models as well as their differences. Furthermore they can reduce information to its essentials and represent the information abstractly. Moreover the are capable of given formal proofs.
Propositional logic, circuits, grammars, Chomsky-hierarchy, formal models, computabilty, equational logic, programm verification
Lecture, assessment is based on a single examination at the end of the course.
Written exam.
Lecture Notes.
Pointers to further literature will be provided at the course page.
see dates
- Faculty of Mathematics, Computer Science and Physics
- Teacher Training Programme (according to 08.06.2011)
- Bachelor's Programme Computer Science according to the Curriculum 2007 (180 ECTS-Credits, 6 semesters)
- School of Education
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2016-10-03
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-10-05
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-10-10
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-10-12
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-10-17
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-10-19
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-10-24
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Mon 2016-10-31
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Mon 2016-11-07
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-11-09
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-11-14
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-11-16
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-11-21
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-11-23
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-11-28
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-11-30
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-12-05
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-12-07
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2016-12-12
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2016-12-14
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2017-01-09
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2017-01-11
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2017-01-16
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2017-01-18
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2017-01-23
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2017-01-25
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Mon 2017-01-30
|
12.15 - 14.00 | HS B (Technik) HS B (Technik) | Barrier-free | |
|
Wed 2017-02-01
|
16.15 - 18.00 | Seminarraum 2 (ICT-Gebäude) Seminarraum 2 (ICT-Gebäude) | Barrier-free | Tutorium |
|
Fri 2017-06-09
|
10.00 - 12.00 | HSB 8 HSB 8 | Barrier-free | 2. Klausur |
|
Fri 2017-10-27
|
10.00 - 12.00 | HSB 7 HSB 7 | Barrier-free | 3. Klausur |