184.699 Logik für Wissensrepräsentation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2011W, UE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung

Ziele der Lehrveranstaltung

Kennenlernen wichtiger Logiken zur Wissensrepräsentation.

Didaktisches Vorgehen: Selbständige Erarbeitung von Übungsaufgaben; Abgaben von Beispielen und Vorrechnen an der Tafel.

Inhalt der Lehrveranstaltung

In dieser UE werden wir uns mit unterschiedlichen Logiken zur Wissensrepräsentation beschäftigen, sowie mit computationalen Aspekten. Der Inhalt folgt der gleichnamigen VO.

Weitere Informationen

Aktuelles:

  • Achtung: Geänderter UE Termin: 21.12. 13h, Seminarraum Gödel ersetzt den Termin am 19.12.
  • Achtung: Beginn der UE: 28.11.2011, 14h, Seminarraum Gödel

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:00 - 16:0024.10.2011 - 12.12.2011Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.14:00 - 16:0019.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) Übung
Mo.09:00 - 11:0009.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Mo.14:00 - 16:0009.01.2012 - 16.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.09:00 - 17:0023.01.2012Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Logik für Wissensrepräsentation - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.24.10.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.31.10.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.07.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.14.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.21.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.28.11.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.05.12.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.12.12.201114:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.19.12.201114:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) Übung
Mo.09.01.201209:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Mo.09.01.201214:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.16.01.201214:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Übung
Mo.23.01.201209:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Vorträge

LVA-Anmeldung

Von Bis Abmeldung bis
04.10.2011 23:00 21.10.2011 23:00 24.10.2011 23:00

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
033 533 Medizinische Informatik Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering Gebundenes WahlfachSTEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Deutsch