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.

2019W, UE, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • Methoden und Techniken von geeigneten logikbasierten Formalismen zur Wissensrepräsentation für eine vorgegebene Aufgabenstellung zielgerichtet auszuwählen und Lösungen hierfür selbständig zu erarbeiten..

Inhalt der Lehrveranstaltung

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

Methoden

Die Übung beinhaltet zwei Teile:

  • selbständige Erarbeitung von Lösungen gegebener Aufgabenstellungen mittles traditioneller "Kreuzerlübungen",
  • Vorrechnen mindestens einer erarbeiteten Lösung an der Tafel, sowie
  • Erarbeitung und Präsentation eines 20 minütigen Vortrages zu einem ausgewählten Thema.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Achtung:

  • Beginn der UE: ca. Mitte November

ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

  • Lösen der Aufgaben 26h
  • Präsentation der gelösten Aufgaben 12h
  • Vorbereitung der Vorträge 25h
  • Präsentation der Vorträge 12h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.09:00 - 11:0014.10.2019 - 13.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.11:00 - 12:0018.11.2019 - 13.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.09:00 - 17:0020.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Vortäge
Mo.09:00 - 12:0027.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Logik für Wissensrepräsentation - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.14.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.21.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.28.10.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.04.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.11.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.18.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.18.11.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.25.11.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.25.11.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.02.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.02.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.09.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.09.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.16.12.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.16.12.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.13.01.202009:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.13.01.202011:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.20.01.202009:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Vortäge
Mo.27.01.202009:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
LVA wird geblockt abgehalten

Leistungsnachweis

Die Beurteilung berücksichtigt

  • die An zahl der angekreuzten Beispiele,
  • das Vorrechnen mindestens einer Lösung
  • den Vortragsentwurf und den eigentlichen Vortrag.

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2019 23:00 30.10.2019 22:59 11.11.2019 23:59

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Übung Logik für Wissensrepräsentation07.10.2019 06:0030.10.2019 22:59

Curricula

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

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

 

 

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Deutsch