Oberseminar Logic in Action

Sommersemester 2024

bei Prof. Dr. Sibylle Schwarz

Oberseminar für Master Informatik und Medieninformatik der HTWK Leipzig

Inhalt

Wir werden im Oberseminar Semester gemeinsam einige Kapitel im Buch Logic in Action durcharbeiten.

Es geht um verschiedene Anwendungen nichtklassischer Logiken beim menschlichen Schließen, in Systemen mit Aktionen und Kommunikation sowie in Spielen und Rätseln.

Organisation

Themen und Termine für die Vorträge werden zu Beginn des Semesters vereinbart.

Für Diskussionen und Präsentationen wird es einen Opal-Kurs geben.

Bewertungskriterien:

Allgemeines / Organisation:

• aktive Teilnahme an allen Vorträgen, Beteiligung an den Diskussionen
• Zeitmanagement: rechtzeitige Vorbereitung
  Jeder muss seinen Vortrag bei Bedarf schon eine Woche vor seinem geplanten Termin halten können.
• Konsultation: ca. 2,5 Wochen vor Vortragsdatum
  • rechtzeitige Terminanfrage (per Email an mich)
  • aussagefähige Vorversion wenigstens 2 Tage vor Konsultationstermin (per Email an mich)
  • Hinweise aus der Konsultation verarbeiten

Vortrag:

• Inhalt
• Einordnung in die Gesamt-LV
• Anspruch, Wissenschaftlichkeit
• Struktur
• logischer Aufbau
• Verständnis
• Verständlichkeit (inhaltlich, akustisch)
• sinnvolle Beispiele
• Präsentation (Folien)
• Lesbarkeit (hinreichend große Schrift, auch in Diagrammen)
• Rechtscheibung / Grammatik / Ausdruck
• Quellenangaben
• Länge des Vortrags (ca. 45-60 min einschließlich Aufbauen, Beispiele, Demos)
• Reaktionen in der Diskussion