COMP60332: Automated Reasoning and Verification (2017-2018)


Lectures start on Friday 2 February 2018

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.

Locations and times

Refer to the ACS and MEng Timetables for dates.

Teaching team

Lecturers

Teaching assistants

Coursework

There will be weekly assignments, with strict weekly deadlines.

Handing in your work: Please hand in your written coursework as a hard copy to the Student Support Office, Room LF21. Please follow the instructions on the submission box in SSO and complete and attach a cover sheet before submitting your coursework.

Slides

Other resources

Pre-requisites

We will be assuming familiarity with the basic notions of sets, relations and functions. This will not be covered in lectures, but will be part of the first coursework sheet.

If you feel you want to review these notions we suggest you refer to one of:

Knowledge of propositional logic and first-order logic would be some advantage, but is not essential as the course will introduce these.

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 (ask in SSO) or the main library.

Assessment

50% coursework, 50% exam

Past exam papers: It may be useful to refer to past exam papers also of COMP61111 and COMP60121 of previous years.


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

Last modified: 18 Oct 17
Copyright © 2015-17 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk