Logik - Grundlagen (5. Vorlesung SWebT1 WS08/09)
Aus Semantic-Web-Grundlagen
Version vom 00:50, 19. Nov. 2008 bei Pascal Hitzler (Diskussion | Beiträge)
| Vorlesung | |
|---|---|
Logik – Grundlagen
| |
| Dozent | Pascal Hitzler |
| Datum | November 19 2008 |
| von | 11:30 |
| bis | 13:00 |
| Ort | Gebäude 11.40 Raum 231 |
Veranstaltungsreihe SWebT1 WS08/09
| |
| 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:
- WS0809-5-Logik.ppt (Powepoint-Sourcen)
- WS0809-5-Logik.pdf (PDF)
Fakten zu Logik - Grundlagen (5. Vorlesung SWebT1 WS08/09)RDF-Feed
| Datum | 19. November 2008 + |
| Dozent | Pascal Hitzler + |
| Endzeit | 19. November 2008 13:00 + |
| Nummer | 5 + |
| Ort | Gebäude 11.40 Raum 231 + |
| Serie | SWebT1 WS08/09 + |
| Startzeit | 19. November 2008 11:30 + |
| Titel | Logik – Grundlagen + |
| Unterlagen | WS0809-5-Logik.pdf + |
