Webmail
Oodi
Optima
General links
Helsinki University of Technology
Aalto University wiki
Studies & Academic Affairs
International Student Services
Faculties and departments
Teaching and Learning Development Unit
Library
Map of Otaniemi
T-79.5102 Special Course in Computational Logic P (4 cr)
Course home page
Course overview
News
Lectures
Weekly exercises
Assignments
Additional reading
Results
Extra pages
Plagiarism Policy
Additional reading
Material
Description
