703007 Introduction to Theoretical Computer Science

winter semester 2016/2017 | Last update: 02.10.2017 Place course on memo list
703007
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.

not applicable
see dates
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