181.206 Logic seminar
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015S, SE, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar

Aim of course

Scientific work in the area of logic

Subject of course

Binary Decision Diagrams  (BDDs) are objects to compactly represent models of propositional formulas. We discuss recent literature on Binary Decision Diagrams  (BDDs) in order to gain a picture on the current research trends in this area, with a focus on applications in the field of AI.

Additional information

Students can finish this course in German or English


ECTS Breakdown:

20h Meetings

55h Preparation of presentation


Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu16:00 - 17:0026.03.2015Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

if required in English