Inhalt

[ 521THEOLOGU13 ] UE Logic

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B1 - Bachelor 1. Jahr Informatik Martina Seidl 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2024W
Ziele Die Studierenden beherrschen Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen. Nach Absolvierung dieser Lehrveranstaltung sind die Studierenden in der Lage

  • Definitionen von logischen Sprachen zu verstehen (Syntax und Semantik)
  • Wahrheitswerte von logischen Formeln zu berechnen
  • Gesetze und Regeln logischer Sprachen zu verstehen und zur Vereinfachung von Formeln anzuwenden
  • Regeln von Beweissytemen anzuwenden
  • mit diversen Hintergrund-Theorien zu arbeiten
  • einfache Fragestellungen der künstlichen Intelligenz bzw. formalen Verifikation in logische Formeln zu kodieren und zu lösen
  • verschiedene automatische Beweiser zu verwenden
Lehrinhalte Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit.
Beurteilungskriterien Wöchentliche Kurztests oder eine Klausur über den gesamten Stoff (beides zusammen mit der Vorlesung).
Lehrmethoden Übungsaufgaben, die von den Vortragenden vorgerechnet werden. Praktische Aufgaben, die mittels Logiktools zu lösen sind.
Abhaltungssprache Englisch
Literatur Folien plus Videoaufzeichnungen.
Lehrinhalte wechselnd? Nein
Sonstige Informationen Moodle Kurs
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung