250123 VO Einführung in die Theoretische Informatik (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

Sprache: Deutsch

Lehrende

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

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Rekursiontheorie und Komplexitätstheorie.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOI

Letzte Änderung: Di 02.07.2024 00:17