Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

250153 VO Introduction to theoretical computer science (2024S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik
Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

Details

Sprache: Englisch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Mittwoch 06.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 08.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 13.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 15.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 20.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 22.03. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 10.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 12.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 17.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 19.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 24.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 26.04. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 03.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 08.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 10.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 15.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 17.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 22.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 24.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 29.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 31.05. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 05.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 07.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 12.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 14.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Mittwoch 19.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Freitag 21.06. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This course is an introduction to recursion theory, Kolmogorov complexity, and computational complexity.

Recursion theory deals with the question of algorithmic solvability of problems, whereas computational complexity aims to classify algorithmically solvable problems based on the amount of resources (time and space) a solution requires. Kolmogorov complexity is a formalization of the concept of randomness.

The two computational models introduced in this course are recursive functions and Turing machines.

Art der Leistungskontrolle und erlaubte Hilfsmittel

There will be a written exam in the end of the semester.

Mindestanforderungen und Beurteilungsmaßstab

To pass the course you need to take the final exam and obtain a score of at least 50 percent.

Prüfungsstoff

The material covered on the exam is the same as the material covered in the lectures. You will need to be able to state the definitions and theorems, know the main ideas of their proofs, and be able to apply the course material to solve basic problems.

Literatur

tba

Zuordnung im Vorlesungsverzeichnis

MLOI

Letzte Änderung: Do 12.12.2024 09:26