050123 VU Theoretische Informatik für Lehramt Informatik I (2010S)
Prüfungsimmanente Lehrveranstaltung
Labels
Details
max. 40 Teilnehmer*innen
Sprache: Deutsch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 04.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 11.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 18.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 25.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 15.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 22.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 29.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 06.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 20.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 27.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 10.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 17.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
- Donnerstag 24.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