703007 Introduction to Theoretical Computer Science

winter semester 2013/2014 | Last update: 13.09.2013 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
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.

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

Will be discussed in the first lesson.

http://cl-informatik.uibk.ac.at/teaching/ws12/eti/
04.10.2013
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Fri 2013-10-04
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-10-08
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-10-11
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-10-15
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-10-18
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-10-22
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-10-25
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-10-29
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Tue 2013-11-05
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-11-08
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-11-12
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-11-15
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-11-19
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-11-22
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-11-26
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-11-29
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-12-03
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-12-06
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2013-12-10
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2013-12-13
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2014-01-07
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2014-01-10
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2014-01-14
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2014-01-17
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2014-01-21
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2014-01-24
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free
Tue 2014-01-28
 17.00 - 18.00 HS 11 HS 11 Barrier-free TUTORIUM
Fri 2014-01-31
 08.15 - 10.00 HSB 2 HSB 2 Barrier-free