COMP60121: Automated Reasoning (2007-2008)
Announcements
- 17 Jan 2007:
- Alan's revision session: Thu, 17th, 2pm in 2.15.
- Renate's question session: Mon 21st, 3pm in 2.15.
- 07 Dec 2007:
Appendix with definitions to exam paper
- 29 Oct 2007:
Please note that the corrections to the proof of the Craig
interpolation property on p. 105 were wrong. The original was correct.
Here are the corrections to the corrections:
Postscript, PDF.
- 29 Oct 2007:
Schedule of extra help sessions
- 23 Oct 2007:
The links to pre 2005/6 past exam papers have been fixed.
Follow the links from here for past exam papers
Part II of the course was taught for the first time in 2005/6.
- 22 Oct 2007:
Added updated slides of today.
The updated handout about `Using SPASS' and with page 2(!):
Postscript ,
PDF.
- 15 Oct 2007:
Added updated slides of today.
Tip: It is NOT a good idea to first attempt to
understand the lecture notes completely and only then to do the exercises.
Immediately try to solve the (assessed and unassessed) exercises
and refer to the notes while you do them.
- 8 Oct 2007:
When submitting the coursework, please remember to complete a
front-sheet available in the Resource Centre, attach it to the
coursework and submit into the identified box in LF21.
- 25 Sep 2007:
Added Introduction, timetable and work schedule.
Clarification about task 7 of this week:
The exercises to complete and handin are a.-c.
The main library (John Rylands) carries several copies of the book
[CLR] by Cormen and Leiserson. You can however use any other
relevant book or source to refresh the basics of sets and
relations, e.g. the specified website.
- 20 Sep 2007:
Added intro slides and information about pre-requisites.
Course description
Follow this link for the course unit description, giving details about
the aims and learning outcomes of the course, reading material,
assessment, and the syllabus.
Lecturers
Locations and times
Refer to the ACS Timetable
for dates.
- Times: 9:00-17:00 on Mondays, 24 September - 29 October.
- Venues: Lectures and exercise classes will be in Room 2.15, unless otherwise stated.
The labs will be in the MSc lab (2.25a & 2.25b).
Slides & Handouts
Optional material
Other resources
Pre-requisites
Familiarity with propositional logic (also known as
classical logic or Boolean logic).
To refresh your knowledge on propositional logic (and also first-order logic) we recommend
- Kelly, J. The Essence of Logic. Pearson.
- Almost any introductory level textbook on Automated Reasoning, Artificial
Intelligence, KR&R, Logic, foundations of CS.
Reading material
The course does not follow a specific book: copies
of the slides are made available.
Recommended reading material is listed in the
course unit description in the ACS Syllabus.
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.
Assessment
60% coursework, 40% exam
Renate A. Schmidt
Home |
Publications |
FM Group |
School Computer Science |
Man Univ
Last modified: 17 Jan 08
Copyright © 2007-08
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk