TCS / Studies / T-79.5101 / Home Assignments
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

T-79.5101 Advanced Course in Computational Logic

Home Assignments

Files related with home assignments can be accessed using a link of the following form:

where 12345X is your personal student identifier (a five digit number that ends with an letter in uppercase).

In addition to the address given above, you have to know a user id and a password that are automatically sent to you by email if you are registered for the course. If not, please contact the lecturer in order to get registered.

Back to home page.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 11 February 2008. Ilkka.Niemelš