622.950 (15W) 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 7 (20 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 01.10.2015
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Lehrmethodik inkl. Einsatz von eLearning-Tools
Input durch den LV-Leiter oder durch die Studierende, Gruppenarbeit und PlenardiskussionenInhalt/e
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.Themen
- 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 angegebenPrüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
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)
-
Wintersemester 2016/17
- 622.950 VC Wissenschaftstheoretische Reflexion (Grenzen des Formalen) (2.0h / 4.0ECTS)
-
Sommersemester 2016
- 622.950 VC Wissenschaftstheoretische Reflexion der Informatik (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)