622.950 (16W) Wissenschaftstheoretische Reflexion (Grenzen des Formalen)
Überblick
- Lehrende/r
- LV-Titel englisch Limits of formal sciences
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 15 (20 max.)
- Organisationseinheit
- Unterrichtssprache es wurde keine Unterrichtssprache angegeben
- LV-Beginn 06.10.2016
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
Ein Studium der technischen Wissenschaften vermittelt neben den fachlichen Kenntnissen, die für eine weitere berufliche Laufbahn grundlegend sind, implizit oder auch explizit Sichtweisen und Wertungen der entsprechenden Disziplin: Welche Rolle spielt die Technik im großen Zusammenspiel mit den anderen Wissenschaften, im wirtschaftlichen, im sozialem Bereich? Von welcher Art sind ihre Erkenntnisse? In der Lehrveranstaltung wird versucht, die TeilnehmerInnen zu motivieren, ihre eigene Einstellung zum Fach zu überdenken. Den Zugang zu dieser Reflexion soll eine Untersuchung der Grenzen formaler Methoden gewähren. Ein inhaltlicher Block der LV beschäftigt sich, wie Grenzen formaler Methoden durch die Informatik, die Logik und die Mathematik selbst aufgezeigt werden können. Eine bemerkenswerte Selbstanwendung der Formalwissenschaften. Der zweite Teil beschäftigt sich mit Grenzen, die von Instanzen außerhalb der Formalwissenschaften festgelegt werden – etwa Anwendungsbeschränkungen technischer Artefakte auf Grund ethischer Prinzipien.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Input durch den LV-Leiter oder durch die Studierende, Gruppenarbeit und Plenardiskussionen
Inhalt/e
- Formale Systeme, Axiomatik
- Berechenbarkeit, Entscheidbarkeit, Vollständigkeit, Konsistenz
- Gödelsche Unvollständigkeitssätze, Halteproblem
- Artificial Intelligence
- Modellieren, Quantifizieren und Messen
- "Gläserne" BürgerInnen
- ...
Literatur
wird in der LV angegeben
Prüfungsinformationen
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Diplom-Lehramtsstudium Unterrichtsfach Informatik und Informatikmanagement
(SKZ: 884, Version: 04W.7)
-
2.Abschnitt
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
Grenzen des Formalen (
2.0h VK / 3.0 ECTS)
- 622.950 Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h VC / 3.0 ECTS)
-
Grenzen des Formalen (
2.0h VK / 3.0 ECTS)
-
Fach: Angewandte Informatik (LI 2.3)
(Pflichtfach)
-
2.Abschnitt
- Masterstudium Angewandte Informatik
(SKZ: 911, Version: 13W.1)
-
Fach: Kompetenzvertiefung
(Pflichtfach)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 4.0 ECTS)
- 622.950 Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h VC / 4.0 ECTS)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 4.0 ECTS)
-
Fach: Kompetenzvertiefung
(Pflichtfach)
- Masterstudium Informatik
(SKZ: 921, Version: 09W.1)
-
Fach: Pflichtfächer
(Pflichtfach)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
- 622.950 Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h VC / 4.0 ECTS)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
-
Fach: Pflichtfächer
(Pflichtfach)
- Masterstudium Informatik
(SKZ: 921, Version: 03W.1)
-
Fach: Pflichtfächer
(Pflichtfach)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
- 622.950 Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h VC / 4.0 ECTS)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
-
Fach: Pflichtfächer
(Pflichtfach)
- Diplomstudium Informatik
(SKZ: 880, Version: 02W)
-
3.Abschnitt
-
Fach: Kompetenzerweiterung
(Pflichtfach)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
- 622.950 Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h VC / 4.0 ECTS)
-
Wissenschaftstheoretische Reflexion der Informatik (
2.0h VK / 3.0 ECTS)
-
Fach: Kompetenzerweiterung
(Pflichtfach)
-
3.Abschnitt
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
-
Wintersemester 2018/19
- 622.950 VC Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2018
- 622.950 VC Wissenschaftstheoretische Reflexion der Informatik (2.0h / 4.0ECTS)
-
Wintersemester 2017/18
- 622.950 VC Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2017
- 622.950 VC Wissenschaftstheoretische Reflexion der Informatik (2.0h / 4.0ECTS)
-
Sommersemester 2016
- 622.950 VC Wissenschaftstheoretische Reflexion der Informatik (2.0h / 4.0ECTS)
-
Wintersemester 2015/16
- 622.950 VC Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2015
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Wintersemester 2014/15
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2014
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Wintersemester 2013/14
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2013
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 3.0ECTS)
-
Wintersemester 2012/13
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 3.0ECTS)
-
Sommersemester 2012
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 3.0ECTS)
-
Wintersemester 2011/12
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 3.0ECTS)
-
Sommersemester 2011
- 622.950 VK Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 3.0ECTS)