Logik - Grundlagen (4. Vorlesung SWebT1 WS11/12)

Aus Semantic-Web-Grundlagen

Version vom 15:46, 7. Nov. 2011 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 09 2011
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS11/12
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: WS1112-4-Logik.pdf (PDF)

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