Quelltext betrachten

<!--{{Veranstaltung|
  Typ=Vorlesung|
  Nummer=5|
  Titel=Logik &ndash; Grundlagen|
  Serie=SWebT1 WS13/14|
  Datum=November 20 2013|  
  Startzeit=11:30|
  Endzeit=13:00|
  Ort=Gebäude 11.40 Raum 231|
  Dozent=|
 }}

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


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