Logik - Grundlagen (4. Vorlesung SWebT1 WS12/13)

Aus Semantic-Web-Grundlagen

Version vom 01:13, 7. Nov. 2012 bei Sebastian Rudolph (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
Vorlesung
Logik – Grundlagen
Dozent Sebastian Rudolph
Datum November 07 2012
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS12/13
Nummer 4

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: WS1213-4-Logik.pdf (PDF)

Fakten zu Logik - Grundlagen (4. Vorlesung SWebT1 WS12/13)RDF-Feed
Datum 7. November 2012  +
Dozent Sebastian Rudolph  +
Endzeit 7. November 2012 13:00  +
Nummer 4  +
Ort Gebäude 11.40 Raum 231  +
Serie SWebT1 WS12/13  +
Startzeit 7. November 2012 11:30  +
Titel Logik – Grundlagen  +
Unterlagen WS1213-4-Logik.pdf  +
Persönliche Werkzeuge