050123 VU Theoretische Informatik für Lehramt Informatik I (2009S)
Prüfungsimmanente Lehrveranstaltung
Labels
Details
max. 40 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 05.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 19.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 26.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 02.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 23.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 30.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 07.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 14.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 28.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 04.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 18.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 25.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; PERL; grep; Turing Maschinen; Elemente der formalen Logik; PROLOG; Semantik und Grundelemente der formalen Verifikation.
Art der Leistungskontrolle und erlaubte Hilfsmittel
- mind. 50% der möglichen Testpunkte
- Verbesserungen mit Tafelmeldungen
- Mitarbeit
- Anwesenheitspflicht
- Verbesserungen mit Tafelmeldungen
- Mitarbeit
- Anwesenheitspflicht
Mindestanforderungen und Beurteilungsmaßstab
Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.
Prüfungsstoff
Jede Vorlesung wird auch einen praktischen Teil beinhalten wo Beispiele bearbeitet werden.
Literatur
Hopcroft, Motwani, Ullman: Automata Theory, Languages, and Computation; Pearson International
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik--Anwendungen. Heidelberger
Taschenbücher.
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik--Anwendungen. Heidelberger
Taschenbücher.
Zuordnung im Vorlesungsverzeichnis
Letzte Änderung: Di 01.10.2024 00:09