1. Modulverzeichnis (MTS)
  2. Module
  3. Modulbeschreibung anzeigen

Theoretische Grundlagen der Informatik

Zur Modulseite PDF generieren

#40743 / #7

Seit WS 2017/18

Deutsch

Theoretische Grundlagen der Informatik

6

Sprekeler, Henning

Benotet

Schriftliche Prüfung

Deutsch

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

http://www.cognition.tu-berlin.de/menue/teaching/

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

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Theoretische Grundlagen der InformatikIV0434 L 370WiSe/SoSeKeine Angabe4
ISIS-Kurssuche nach Veranstaltungen des Moduls

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:

Voraussetzung
Leistungsnachweis »[MKP] 50 % der Punkte in den Übungsaufgaben«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Schriftliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

150 Minuten

Prüfungsbeschreibung (Abschluss des Moduls)

Insgesamt können 100 Portfoliopunkte erreicht werden: 6 Hausaufgaben (jeweils 4 Portfoliopunkte) 1 Test (16 Portfoliopunkte) Abschlusstest am Semesterende (60 Portfoliopunkte) Die Gesamtnote gemäß § 47 (2) wird nach dem Notenschlüssel 1 der Fakultät IV ermittelt.

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.)116WS 2017/18SoSe 2025
Elektrotechnik/Informationstechnik als Quereinstieg (Lehramt) (M. Ed.)232WS 2017/18SoSe 2025
Informationstechnik (Lehramt) (B. Sc.)232WS 2017/18SoSe 2025
Informationstechnik (Lehramt) (M. Ed.)227WS 2018/19SoSe 2025
Technische Informatik (B. Sc.)117WS 2017/18SoSe 2025
Wirtschaftsinformatik (B. Sc.)228WS 2017/18SoSe 2025

Sonstiges

Keine Angabe