703062 SL Introduction to Theoretical Computer Science

winter semester 2019/2020 | Last update: 18.02.2020 Place course on memo list
Department of Computer Science Department of Computer Science
David Drexel, BSc MSc David Drexel, BSc MSc, +43 512 507 53486
Alexander Lochmann Alexander Lochmann
Alexander Maringele, BSc Alexander Maringele, BSc
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
David Obwaller, BSc MSc David Obwaller, BSc MSc
Jonas Helmut Schöpf, BSc MSc Jonas Helmut Schöpf, BSc MSc, +43 512 507 53444
703062
SL Introduction to Theoretical Computer Science
SL 1
2
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.

Discussion, practice the topics of the lecture, practice scientific argumentation and present topics of theoretical computer science

Continuous assessment (based on regular written and/or oral contribution by participants).

Course examination according to § 7, statute section on "study-law regulations"

Will be discussed in the first lesson.

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.

http://cl-informatik.uibk.ac.at/teaching/ws19/eti
see dates
Group 1
Export course dates of this group as iCalendar (.ics)
Help
Maringele A.
Date Time Location
Fri 2019-10-11
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-10-25
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-11-08
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-11-15
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-11-22
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-11-29
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-12-06
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2019-12-13
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2020-01-10
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2020-01-17
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2020-01-24
 12.15 - 13.00 SR 12 SR 12 Barrier-free
Fri 2020-01-31
 12.00 - 13.00 HS C (Technik) HS C (Technik) Barrier-free Klausur
Group 2
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Fri 2019-10-11
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-10-25
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-11-08
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-11-15
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-11-22
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-11-29
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-12-06
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2019-12-13
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2020-01-10
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2020-01-17
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2020-01-24
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Fri 2020-01-31
 11.15 - 12.00 SR 12 SR 12 Barrier-free
Group 3
Export course dates of this group as iCalendar (.ics)
Help
Drexel D.
Date Time Location
Fri 2019-10-11
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-10-25
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-11-08
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-11-15
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-11-22
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-11-29
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-12-06
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2019-12-13
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2020-01-10
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2020-01-17
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2020-01-24
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Fri 2020-01-31
 10.15 - 11.00 SR 12 SR 12 Barrier-free
Group 4
Export course dates of this group as iCalendar (.ics)
Help
Lochmann A.
Date Time Location
Fri 2019-10-11
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-10-25
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-11-08
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-11-15
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-11-22
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-11-29
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-12-06
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2019-12-13
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2020-01-10
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2020-01-17
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2020-01-24
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Fri 2020-01-31
 12.15 - 13.00 SR 13 SR 13 Barrier-free
Group 5
Export course dates of this group as iCalendar (.ics)
Help
Obwaller D.
Date Time Location
Fri 2019-10-11
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-10-25
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-11-08
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-11-15
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-11-22
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-11-29
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-12-06
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2019-12-13
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2020-01-10
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2020-01-17
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2020-01-24
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Fri 2020-01-31
 12.15 - 13.00 HS 11 HS 11 Barrier-free
Group 6
Export course dates of this group as iCalendar (.ics)
Help
Obwaller D.
Date Time Location
Fri 2019-10-11
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-10-25
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-11-08
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-11-15
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-11-22
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-11-29
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-12-06
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2019-12-13
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2020-01-10
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2020-01-17
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2020-01-24
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Fri 2020-01-31
 11.15 - 12.00 HS 11 HS 11 Barrier-free
Group 7
Export course dates of this group as iCalendar (.ics)
Help
Schöpf J.
Date Time Location
Fri 2019-10-11
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-10-25
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-11-08
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-11-15
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-11-22
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-11-29
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-12-06
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2019-12-13
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2020-01-10
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2020-01-17
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2020-01-24
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Fri 2020-01-31
 10.15 - 11.00 HS 11 HS 11 Barrier-free
Group 8
Export course dates of this group as iCalendar (.ics)
Help
Drexel D.
Date Time Location
Fri 2019-10-11
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-10-25
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-11-08
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-11-15
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-11-22
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-11-29
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-12-06
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2019-12-13
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2020-01-10
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2020-01-17
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2020-01-24
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Fri 2020-01-31
 12.15 - 13.00 HSB 4 HSB 4 Barrier-free
Group 10
Export course dates of this group as iCalendar (.ics)
Help
Moser G.
Date Time Location
Fri 2019-10-11
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-10-25
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-11-08
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-11-15
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-11-22
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-11-29
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-12-06
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2019-12-13
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2020-01-10
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2020-01-17
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2020-01-24
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free
Fri 2020-01-31
 10.15 - 11.00 HSB 1 HSB 1 Barrier-free