Grundlagen der Theoretischen Informatik
| Grundlagen der Theoretischen Informatik | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Organisationseinheit Freie Universität Berlin/Mathematik und Informatik/Informatik |
|||||||||||
| Ursprung Dies ist ein Verweis auf den Eintrag in inf_bsc_2014 (Grundlagen der Theoretischen Informatik) |
|||||||||||
Bereich
|
|||||||||||
| Zugangsvoraussetzungen Keine |
|||||||||||
| Qualifikationsziele Die Studentinnen und Studenten verstehen bei erfolgreichem Abschluss des Moduls die Grundlagen der Beschreibung und syntaktischen Analyse von Programmiersprachen. Sie können formale Sprachen innerhalb der ChomskyHierarchie einordnen. Sie beherrschen die gängigen Verfahren, um formale Sprachen von einer Beschreibungsform in eine andere zu überführen, sowie Beschreibungen in Normalformen oder minimale Formen zu übersetzen. Aus einer Beschreibung können sie die gemeinte Sprache ableiten. Sie verstehen, dass unterschiedliche Beschreibungsformen von Berechnungsmodellen gleichartig sind und verstehen die Verfahren, um eine Form in die andere zu überführen. Sie verstehen die prinzipiellen Möglichkeiten und Grenzen der Berechenbarkeit. Insbesondere verstehen sie das Halteproblem und seine Unlösbarkeit. |
|||||||||||
| Inhalte Theoretische Rechenmodelle: Automaten, Turing-Maschinen. Formale Sprachen, Sprachakzeptoren, reguläre Ausdrücke, Grammatiken, Chomsky-Hierarchie, Berechenbarkeit, Komplexität |
|||||||||||
| Lehr- und Lernformen | Aktive Teilnahme | ||||||||||
| Vorlesung 3 SWS Teilnahme empfohlen |
- |
||||||||||
| Übung 2 SWS verpflichtete Teilnahme |
Schriftliche Bearbeitung der Übungsblätter; Mündliche Präsentation der Lösungen von Übungsaufgaben in den Übungen |
||||||||||
Aufwand
|
|||||||||||
| Modulprüfung Klausur (90 Minuten); die Klausur kann auch in Form einer elektronischen Prüfungsleistung (90 Minuten) durchgeführt werden. |
|||||||||||
| Differenzierte Bewertung differenzierte Bewertung |
|||||||||||
| Modulsprache Deutsch |
|||||||||||
| Arbeitsaufwand (Stunden) 210 |
|||||||||||
| Leistungspunkte (LP) 7 |
|||||||||||
| Dauer des Moduls Ein Semester |
|||||||||||
| Häufigkeit des Angebots Jedes Sommersemester |
|||||||||||
| Verwendbarkeit Bachelorstudiengang Informatik, Bachelorstudiengang Informatik für das Lehramt, Bachelorstudiengang Bioinformatik |
|||||||||||
| Querverweis zu anderen Studien/Prüfungsordnungen mit dem gleichen Titel |
|||||||||||