PUZZLE

Server for Computerised Assignments

Department of Computer Science

From this page, you can access the computerised assignments of the following courses:

International courses

SATSMT-2013
SAT/SMT Summer School 2013
SATSMT-2014
SAT/SMT Summer School 2014

Advanced courses

T-79.3001
Logic in Computer Science: Foundations
T-79.5104
Advanced Course in Computational Logic
T-79.5105
Answer Set Programming

Basic courses

ICS-C2000
Theoretical Computer Science
T-79.4101
Discrete Models and Search
T-79.4202
Principles of Algorithmic Techniques

Privacy Policy (in Finnish)
Latest update: 15 Jan 2016. Tomi Janhunen