T-79.3001 Logic in Computer Science: Foundations

Computerised Assignments

[Home directories] [Email] [General information] [Software] [Troubleshooting] [Backup Policy] [Forgot Your Password?]

Personal Home Directories

A personal home directory will be automatically created for all students who have registered for the course at OODI. The directory is accessible using an URL of the form

http://puzzle.ics.hut.fi/T-79.3001/students/id/

where 12345X is your student id (typically a five digit number that ends with a capital letter). In addition to the URL above, you have to know a user id and a password that are sent to you by email when home assignments are launched.

Back to menu.

Email Contacts

Back to menu.

General Information

Back to menu.

Software

For the first two assignments you need a tableaux editor named as tabedit.

The tool has been compiled under Debian linux using the shared libraries of glib-2.0 and GTK+-2.0. The update from version 1.6 to 2.0 was carried out by Nils Haglund.

For the third assignment you need a formula evaluator called plop.

Back to menu.

Troubleshooting

Back to menu.

Backup Policy

Back to menu.