Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250123 VO Introduction to Theoretical Informatic (2008W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Siehe http://www.logic.univie.ac.at/~kellner/teaching/WS2008_informatik.html

Kann man "Algorithmus", "berechenbar" etc überhaupt (befriedigend) definieren? (Ja!)
Gibt es Funktionen die man nicht berechnen, Probleme die man nicht entscheiden kann? (Ja!)
Kann man das auch beweisen? (Ja!)
Auch für natürliche Beispiele in der Mathematik? (Ja! ZB Wortproblem in Gruppen, Diophantische Gleichungen, Halteproblem, Logische Folgerung.)

Details

Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 01.10. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 07.10. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 08.10. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 14.10. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 15.10. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 21.10. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 22.10. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 28.10. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 29.10. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 04.11. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 05.11. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 11.11. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 12.11. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 18.11. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 19.11. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 25.11. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 26.11. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 02.12. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 03.12. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 09.12. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 10.12. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 16.12. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 17.12. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 07.01. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 13.01. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 14.01. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 20.01. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 21.01. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Tuesday 27.01. 17:00 - 18:05 Besprechungsraum SSC Geo 2A180 1.OG UZA II
  • Wednesday 28.01. 16:00 - 17:10 Besprechungsraum SSC Geo 2A180 1.OG UZA II

Information

Aims, contents and method of the course

recursion theory and complexity theory.

Assessment and permitted materials

Minimum requirements and assessment criteria

Examination topics

Reading list

Association in the course directory

MLOI

Last modified: Tu 02.07.2024 00:17