703027 PS Logik
Sommersemester 2021 | Stand: 29.04.2021 | LV auf Merkliste setzenChristina Kirk, BSc MSc Christina Kirk, BSc MSc, +43 512 507 53343
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Fabian Sebastian Mitterwallner, MSc Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Dr. Sarah Winkler Dr. Sarah Winkler
Priv.-Doz. Dr. Harald Zankl Priv.-Doz. Dr. Harald Zankl
Absolventinnen und Absolventen dieses Moduls verstehen die Inhalte der Vorlesung und können diese wiedergeben und anwenden. Sie haben die Fertigkeit erworben, sich ähnliche Inhalte selbst zu erarbeiten. Sie verstehen Logik-Kalküle und können sie anwenden. Darüber hinaus sind sie in der Lage zu abstrahieren und komplexe Probleme in formalen Kalkülen zu modellieren.
Diskussion, Vertiefung und Übung der Inhalte der Vorlesung; Übung im wissenschaftlichen Argumentieren und im Präsentieren von Themen aus der Logik
Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden
Prüfungsimmanente Lehrveranstaltung
Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)
Folien sowie Lösungen zu ausgewählten Aufgaben werden online zur Verfügung gestellt.
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen