JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

Seminar Algebra und Diskrete Mathematik

anrechenbar für Seminar in Computational Engineering

Manuel Kauers, Martina Seidl

Objectives

The topic of this seminar will be Donald Knuth's The Art of Computer Programming. We will start with the first book.

Outline

Each participant has to read parts of the book and present them to the other participants.
Details will be discussed in the first meeting.
  • First meeting: Mi 04.10.2017, 18:00, SC2 219

Grading

The grading is based on the quality of the submitted material (slides of the presention) and the given talks. Active participation during the meetings is expected.

Further Information

Moodle Course

Contact

In case of questions or problems please contact Manuel Kauers (manuel.kauers@jku.at) or Martina Seidl (Martina.Seidl@jku.at).