Quelltext betrachten

{{Veranstaltung|
  Typ=Vorlesung|
  Nummer=4|
  Titel=Logik &ndash; Grundlagen|
  Serie=SWebT1 WS10/11|
  Datum=November 10 2010|  
  Startzeit=11:30|
  Endzeit=13:00|
  Ort=Gebäude 11.40 Raum 231|
  Dozent=Sebastian Rudolph|
 }}

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 Schema (3. Vorlesung SWebT1 WS10/11)|RDF(S)]] und [[OWL - Syntax und Intuition (6. Vorlesung SWebT1 WS10/11)|OWL]] von Bedeutung.

'''Folien:'''
[[Unterlagen::media:WS1011-4-Logik.pdf|WS1011-4-Logik.pdf]] (PDF)