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
Dauer: | 1 Semester | Turnus: | jährlich (SS) |
Empfohlene Voraussetzungen:
Kenntnisse und Ferigkeiten, die in den Modulen:
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:
- 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)
- 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)
- 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)
- 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)
- 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.
|