On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

185.183 Theoretical Computer Science 2

2005W, VU, 3.0h, 4.5EC, to be held in blocked form

Properties

  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VU Lecture and Exercise

Aim of course

Knowledge of the most important formal and theoretical foundations of computer science

Subject of course

Complexity theory, theory of computability, predicate logic (deduction), formal aspects of programming languages.

Additional information

For details see http://www.logic.at/lvas/185183/

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue17:00 - 19:0004.10.2005 - 11.10.2005Informatikhörsaal - ARCH-INF GRAMLICH
Tue17:00 - 19:0018.10.2005 - 26.01.2006EI 7 Hörsaal - ETIT GRAMLICH
Theoretical Computer Science 2 - Single appointments
DayDateTimeLocationDescription
Tue04.10.200517:00 - 19:00Informatikhörsaal - ARCH-INF GRAMLICH
Tue11.10.200517:00 - 19:00Informatikhörsaal - ARCH-INF GRAMLICH
Tue18.10.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue25.10.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue01.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue08.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue15.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue22.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue29.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue06.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue13.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue20.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue27.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue03.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue10.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue17.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Tue24.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Course is held blocked

Examination modalities

written exam

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
No records found.

Literature

Lecture notes for this course are available.

Miscellaneous

Language

German