703007 VO Introduction to Theoretical Computer Science

winter semester 2019/2020 | Last update: 20.01.2020 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703007
VO Introduction to Theoretical Computer Science
VO 2
3
weekly
each semester
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.

Recording + eLearning

The Indroduction and Orientation Phase for Students (StEOP) as of Winter Semester 2019/2020:

During the Indroduction and Orientation Phase for Students, the following course examinations must be completed satisfactorily:

1. Introduction to Programming VO 3 (4,5 ECTS-Credits)
2. Introduction to Theoretical Computer Science VO 2 (3 ECTS-Credits)
3. Introduction to Theoretical Computer Science SL 1 (2 ECTS-Credits)

Further information are available here.

https://lms.uibk.ac.at/url/RepositoryEntry/4577656835
http://cl-informatik.uibk.ac.at/teaching/ws19/eti/
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2019-10-07
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-10-07
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-10-14
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-10-14
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-10-21
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-10-21
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-10-28
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-10-28
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-11-04
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-11-04
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-11-11
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-11-11
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-11-18
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-11-18
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-11-25
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-11-25
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-12-02
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-12-02
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2019-12-09
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2019-12-09
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2020-01-13
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2020-01-13
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2020-01-20
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free
Mon 2020-01-20
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM
Mon 2020-01-27
 12.15 - 14.00 Gr. HS Gr. HS Barrier-free 1. Prüfung
Mon 2020-01-27
 12.15 - 14.00 HS B (Technik) HS B (Technik) Barrier-free 1. Prüfung
Mon 2020-01-27
 18.15 - 19.00 SR 12 SR 12 Barrier-free TUTORIUM