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

Stand der importierten Daten ("mein campus"-Datenabzug): 16.01.2019 10:28

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
  

Zuordnung zu Studiengängen, Validierung, Einpassung in die Musterstudienpläne:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:einblenden

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. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2018w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Lehramtsstudierende)
4. 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)
5. 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)
6. 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 %

pordnr: 19745, pmaxver: 3, pmaxvbe: 1

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

Studienleistung, Übungsleistung, unbenotet, 2.5 Leistungspunkte

pordnr: 19746, pmaxver: 9, pmaxvbe: 1

UnivIS-Module:

UnivIS-Module im kommenden Semester (SS 2019):

• Theoretische Informatik für Wirtschaftsinformatik und Lehramtsstudierende (5 ECTS, Milius, S.)

UnivIS-Module im vergangenen Semester (SS 2018):

• Theoretische Informatik für Wirtschaftsinformatik und Lehramtsstudierende (5 ECTS, Milius, S.)