Logik - Grundlagen (5. Vorlesung SWebT1 WS13/14)

Aus Semantic-Web-Grundlagen

Version vom 16:40, 19. Nov. 2013 bei Andreas Harth (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
Vorlesung
Logik – Grundlagen
Dozent Andreas Harth
Datum November 20 2013
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS13/14
Nummer 5

Diese Vorlesung wiederholt noch einmal die grundlegenden Ideen der formalen Logik, unter anderem anhand der beliebten «Obstlogik». Die dabei vermittelten Konzepte der Modelltheorie sind später auch für die Semantik von RDF(S) und OWL von Bedeutung.

Folien: WS1314-4-Logik.pdf (PDF)

Fakten zu Logik - Grundlagen (5. Vorlesung SWebT1 WS13/14)RDF-Feed
Datum 20. November 2013  +
Dozent Andreas Harth  +
Endzeit 20. November 2013 13:00  +
Nummer 5  +
Ort Gebäude 11.40 Raum 231  +
Serie SWebT1 WS13/14  +
Startzeit 20. November 2013 11:30  +
Titel Logik – Grundlagen  +
Unterlagen WS1314-4-Logik.pdf  +
Persönliche Werkzeuge