Logik - Grundlagen (4. Vorlesung SWebT1 WS10/11)

Aus Semantic-Web-Grundlagen

Version vom 21:15, 7. Nov. 2010 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 10 2010
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS10/11
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: WS1011-4-Logik.pdf (PDF)

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