Zur Modulseite PDF generieren

#40026 / #1

SS 2014 - WS 2014/15

Deutsch

Logische Methoden der Informatik

6

Kreutzer, Stephan

Benotet

Portfolioprüfung

Deutsch

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352200 FG Logik und Semantik

Keine Angabe

Kontakt


TEL 7-3

Kreutzer, Stephan

stephan.kreutzer@tu-berlin.de

Keine Angabe

Lernergebnisse

Das Modul behandelt weiterführende Themen der Logik in der Informatik. Absolventen und Absolventinnen der Kurses haben ein gutes Verständnis für Anwendungen der Logik in der Informatik. Sie können souverän mit logischen Systemen arbeiten, deren Komplexität und Ausdrucksstärke analysieren.

Lehrinhalte

* Definierbarkeit in der Prädikatenlogik * Ehrenfeucht-Fraisse Spiele * Lokalitätssätze * Auswerten logischer Formeln in Strukturen, besonders Graphen. * Komplexität der Anfrageauswertung in Datenbanken * Logische Beschreibungen von Komplexitätsklassen * Constraint Satisfaction Probleme in der künstlichen Intelligenz

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Logische Methoden der InformatikVLSoSeKeine Angabe2
Logische Methoden der InformatikUESoSeKeine Angabe2

Arbeitsaufwand und Leistungspunkte

Logische Methoden der Informatik (VL):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.04.0h60.0h
90.0h(~3 LP)

Logische Methoden der Informatik (UE):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.04.0h60.0h
90.0h(~3 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

* Vorlesung * Betreute Übungsgruppen * Selbständige Bearbeitung von Übungsaufgaben in kleinen Grup

Voraussetzungen für die Teilnahme / Prüfung

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

Modul Logik

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

Keine Angabe

Sprache(n)

Deutsch

Prüfungselemente

NamePunkte/GewichtKategorieDauer/Umfang
Keine Prüfungselemente angegeben

Notenschlüssel

Keine Angabe

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Prüfungsanmeldung erfolgt über QISPOS. Die An- und Abmeldefristen werden in der Vorlesung bekannt gegeben. Die Lehrmaterialien werden über ISIS bereitgestellt.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar

 

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Sonstiges

Keine Angabe