Logik - Grundlagen (5. Vorlesung SWebT1 WS07/08)

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
Vorlesung
Logik – Grundlagen
Dozent Sebastian Rudolph
Datum November 28 2007
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS07/08
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.

Download: Folien (PDF)

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