622.950 (16W) Wissenschaftstheoretische Reflexion (Grenzen des Formalen)

Wintersemester 2016/17

Anmeldefrist abgelaufen.

Erster Termin der LV
06.10.2016 16:00 - 18:00 S.2.69 - Bitmovin On Campus
... keine weiteren Termine bekannt

Ü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

Liste der Termine wird geladen...

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

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 Benotungsschema

Position 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)
  • 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)
  • 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)
  • 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)
  • 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)

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)