Anzeigesprache
Zur Modulseite PDF generieren

#40743 / #7

Seit WS 2017/18

Deutsch

Theoretische Grundlagen der Informatik

6

Sprekeler, Henning

benotet

Schriftliche Prüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352100 FG Modellierung kognitiver Prozesse

Keine Angabe

Kontakt


MAR 5-3

Sprekeler, Henning

h.sprekeler@tu-berlin.de

Lernergebnisse

Die Studierenden sind in der Lage, die grundlegenden Begriffe und Formalismen der Diskreten Mathematik eigenständig anzuwenden. Sie beherrschen den Umgang mit formalen Sprachen und Grammatiken sowie mit den wichtigsten theoretischen Maschinenmodellen. Sie besitzen ein Verständnis der grundlegenden Komplexitätsklassen und sind befähigt, die Komplexität ausgewählter Beispielprobleme zu beurteilen.

Lehrinhalte

- Mengen, Logik, Abbildungen, Relationen, Ordnungen - Grammatiken, Chomsky-Hierarchie - endliche Automaten, Kellerautomaten, Turingmaschinen, Berechenbarkeit - Aufwand von Algorithmen und Komplexität von Problemen - Komplexität von Wortproblemen der Chomsky-Hierarchie - P, NP und NP-Vollständigkeit

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Theoretische Grundlagen der InformatikIV0434 L 370WiSe/SoSeKeine Angabe4

Arbeitsaufwand und Leistungspunkte

Theoretische Grundlagen der Informatik (IV):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.04.0h60.0h
Vor- und Nachbereitung, Übungsaufgaben15.08.0h120.0h
180.0h(~6 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die fachlichen Inhalte des Moduls werden im Vorlesungsstil vermittelt. Die Anwendung und Festigung des Stoffs geschieht durch das Besprechen von Übungsaufgaben im interaktiven Stil.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

keine

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

1. Voraussetzung
[MKP] 50 % der Punkte in den Übungsaufgaben

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Schriftliche Prüfung

Sprache

Deutsch

Dauer/Umfang

150 Minuten

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Winter- und Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Anmeldung erfolgt entweder über QISPOS (BSc Informatik, Wirtschaftsinformatik, Technische Informatik) oder direkt beim Prüfungsamt.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar
Zusätzliche Informationen:
Vorlesungsfolien sind unter www.isis.tu-berlin.de verfügbar.

 

Literatur

Empfohlene Literatur
Automata, Computability, and Complexity. Elaine Rich. Pearson Education (2008).
Diskrete Mathematik für Informatiker. Rod Haggarty. Pearson Studium (2004).
Einführung in die Automatentheorie, Formale Sprachen und Berechenbarkeit. Hopcroft, Motwani & Ullman. Pearson Studium, 3. Auflage (2011).
Theoretische Informatik - kurz gefasst. Uwe Schöning. Spektrum Akademischer Verlag, 5. Auflage (2008).

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Computer Engineering (M. Sc.)115WS 2017/18WiSe 2024/25
Elektrotechnik/Informationstechnik als Quereinstieg (Lehramt) (M. Ed.)230WS 2017/18WiSe 2024/25
Informationstechnik (Lehramt) (B. Sc.)230WS 2017/18WiSe 2024/25
Informationstechnik (Lehramt) (M. Ed.)225WS 2018/19WiSe 2024/25
Technische Informatik (B. Sc.)116WS 2017/18WiSe 2024/25
Wirtschaftsinformatik (B. Sc.)226WS 2017/18WiSe 2024/25

Sonstiges

Keine Angabe