COMP60121: Automated Reasoning (2006-2007)


Important dates

Please let us know in good time if you have problems with the set deadlines.

Course description

PDF format, Word format

The course description gives details about the aims and learning outcomes of the course, reading material, assessment, and the syllabus.


Locations and times

Refer to the MSc Course Unit Timetable for dates.

Slides & Handouts

Optional material

Other resources

Reading material

The course does not follow a specific book: copies of the slides are made available.

Recommended reading material is listed on the course description webpage. Further references may be given during lectures.

There is no need to buy a book. All books are available in the Resources Centre Library or the main library.


60% coursework, 40% exam

Renate A. Schmidt
Home | Publications | FM Group | Dept Computer Science | Man Univ

Last modified: 11 Jan 07
Copyright © 2006-07 Renate A. Schmidt, School of Computer Science, Man Univ,