TU Wien:Introduction to deontic logic: challenges, formal systems, applications VU (Leendert van der Torre)

From VoWi
Revision as of 16:38, 12 October 2020 by Berti933 (talk | contribs)
Jump to navigation Jump to search

Daten

Lecturers Andreas Steininger, Leendert van der Torre
ECTS 3
Department Services Informatik
When winter semester
Language English
Links tiss:199093 , Mattermost-Channel
Zuordnungen
[[TU Wien Nav:|Diplom, Diplom, Master, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Bachelor, Erweiterung, Katalog, Katalog, Katalog, Katalog, Katalog, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Master, Masterstudium... further resultsThe page type input value "TU Wien Nav:" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. Humanmedizin, Zahnmedizin, Medizinische Informatik, Architektur, Bauingenieurwesen, Elektrotechnik und Informationstechnik, Finanz- und Versicherungsmathematik, Geodäsie und Geoinformation, Maschinenbau, Medieninformatik und Visual Computing, Medizinische Informatik, Software & Information Engineering, Statistik und Wirtschaftsmathematik, Technische Chemie, Technische Informatik, Technische Mathematik, Technische Physik, Verfahrenstechnik, Wirtschaftsinformatik, Wirtschaftsingenieurwesen - Maschinenbau, Digitale Kompetenzen, Freie Wahlfächer - Informatik, Freie Wahlfächer - Technische Chemie, Freie Wahlfächer - Wirtschaftsinformatik, Für alle Hörerinnen/Hörer, Transferable Skills, Architektur, Bauingenieurwissenschaften, Building Science and Technology, Business Informatics, Chemie und Technologie der Materialien, Data Science, Embedded Systems, Finanz- und Versicherungsmathematik, Informatikdidaktik, Information & Knowledge Management, Logic and Computation, Maschinenbau, Media and Human-Centered Computing, Medizinische Informatik, Physikalische Energie- und Messtechnik, Raumplanung und Raumordnung, Software Engineering & Internet Computing, Statistik-Wirtschaftsmathematik, Technische Chemie, Technische Informatik, Telecommunications, Visual Computing, Wirtschaftsingenieurwesen - Maschinenbau, Biomedical Engineering... further resultsThe page type input value "TU Wien Nav:" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.]]


Inhalt

Introduction to deontic logics by guest lecturere Leendert van der Torre. He tries to introduce the concepts intuitively via a frontal lecture.

Ablauf

Lectures with compulsory attendance 5 hours a week but the lecture ends after october, the grading is still open as the professor said we could tell him which mode this would be done in.

Benötigte/Empfehlenswerte Vorkenntnisse

Knowledge about propositional logic is needed, I would recommend Introduction to Knowledge Based System level. Knowledge about Modal Logic is also helpful but Prof. van der Torre asks at the start of the course what people's backgrounds are.

Vortrag

noch offen

Übungen

Sometimes homework is given in the Handbook which is linked on the Tiss site and Prof. van der Torre offers to look at it to see whether the students can follow his lecture.

Prüfung, Benotung

TBD

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

TBD

Unterlagen

noch offen

Tipps

noch offen

Verbesserungsvorschläge / Kritik

noch offen