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.

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

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; Erarbeitung und Präsentation eines Vortrages.

Inhalt der Lehrveranstaltung

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

Weitere Informationen

Achtung:

  • Beginn der UE: 19.11., 10:00-12:00 (Ort: HS7 Schütte-Lihotzky).
  • Keine UE am 10.12.!
  • Keine UE am 14.1.2019. Alle Vorträge finden am 21.1., von 10:00-13:30 sowie von 14:30-18:00, statt.

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 Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.09:00 - 11:0008.10.2018 - 07.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.11:00 - 12:0012.11.2018 - 07.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.10:00 - 12:0019.11.2018HS 7 Schütte-Lihotzky - ARCH Übungen
Mo.09:00 - 17:0014.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Vortäge
Mo.09:00 - 19:0021.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Logik für Wissensrepräsentation - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.08.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.15.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.22.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.29.10.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.05.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.12.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.12.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.19.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.19.11.201810:00 - 12:00HS 7 Schütte-Lihotzky - ARCH Übungen
Mo.19.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.26.11.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.26.11.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.03.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.03.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.10.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.10.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.17.12.201809:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.17.12.201811:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.07.01.201909:00 - 11:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
Mo.07.01.201911:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Übungen
LVA wird geblockt abgehalten

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2018 06:00 24.10.2018 23:59 05.11.2018 23:59

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Übung Logik für Wissensrepräsentation01.10.2018 06:0024.10.2018 23:59

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.

Vorkenntnisse

 

 

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Deutsch