Theoretische Informatik für Lehramtsstudierende (TIL) (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Theoretical computer science for teaching degree students)

Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen, so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die konkreten Modulbeschreibungen mit Angaben zu den Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten UnivIS-Modulen zu finden.

Modulverantwortliche/r: Torsten Brinda

Empfohlene Voraussetzungen:

Kenntnisse und Ferigkeiten, die in den Modulen:

• Algorithmen und Datenstrukturen

• Mathematik für Naturwissenschaftler oder Analysis I und Lineare Algebra und analytische Geometrie I

erworben wurden

Inhalt:

• Formale Sprachen und Automatentheorie (reguläre Sprachen und endliche Automaten, kontextfreie Sprachen und Kellerautomaten, kontextsensitive Sprachen und linear beschränkte Automaten, Regelsprachen und Turingmaschinen)

• Berechenbarkeitstheorie (höhere Programmiermodelle, funktionales Modell, Entscheidungsprobleme)

• Komplexitätstheorie (Zeitkomplexitätsklasse, Platzkomplexitätsklassen)

Lernziele und Kompetenzen:

Die Studierenden

• kennen fundamentale Konzepte aus den Bereichen Sprachen und Automaten und können diese anwenden

• kennen verschiedene Berechenbarkeitsbegriffe und deren Zusammenhänge

• haben ein Grundlagenverständis der Komplexitätstheorie
  

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Berufspädagogik Technik (Master of Education): ab 2. Semester
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Elektro- und Informationstechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Lehramtsstudierende)
2. Berufspädagogik Technik (Master of Education): ab 2. Semester
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Metalltechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Lehramtsstudierende)
3. Informatik (1. Staatsprüfung für das Lehramt an Realschulen): ab 4. Semester
   (Po-Vers. 2007 | TechFak | Informatik (1. Staatsprüfung für das Lehramt an Realschulen) | Module Fachwissenschaft Informatik | Theoretische Informatik für Lehramtsstudierende)
4. Informatik (Bachelor of Arts (2 Fächer)): ab 2. Semester
   (Po-Vers. 2008 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | alte Prüfungsordnungen | Bachelorprüfung | Bachelor-Module Informatik | Theoretische Informatik für Lehramtsstudierende)
5. Informatik (Bachelor of Arts (2 Fächer)): ab 2. Semester
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Grundlagen- und Orientierungsprüfung (GOP) | Theoretische Informatik für Lehramtsstudierende)

Studien-/Prüfungsleistungen:

Theoretische Informatik für Lehramtsstudierende (Klausur) (Prüfungsnummer: 32001)
(englische Bezeichnung: Examination (Klausur) on Theoretical Computer Science for Teaching)

Prüfungsleistung, Klausur, Dauer: 90 min, Drittelnoten (mit 4,3), 2.5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

Theoretische Informatik für Lehramtsstudierende (Übungsleistung) (Prüfungsnummer: 32002)
(englische Bezeichnung: Tutorial Credit: Theoretical Computer Science for Teaching)

Studienleistung, Übungsleistung, unbenotet, 2.5 Leistungspunkte

UnivIS-Module:

Diesem Prüfungsordnungsmodul wurden noch keine UnivIS-Module zugeordnet.