Details of Grant 

EPSRC Reference:	GR/N30460/01
Title:	MTP: MATHEMATICAL LOGIC AND THEORY OF COMPUTATION
Principal Investigator:	Wilmers, Dr G
Other Investigators:	Warboys, Professor B Payne, Mr JR
Researcher Co-Investigators:
Project Partners:
Department:	Mathematics
Organisation:	University of Manchester, The
Scheme:	MTP
Starts:	01 April 2001	Ends:	31 March 2005	Value (£):	471,586
EPSRC Research Topic Classifications:	Cognitive Science Appl. in ICT
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
The aim of the MTP is to provide an exacting programme of study in those parts of mathematical logic which are currently being exploited by information technology. The MTP will provide a broad theoretical training from a mathematical perspective to students preparing for a career in the cognitive aspects of LT. The principal objectives of the course are that the students should (a) Acquire a sound knowledge of, and ability to apply, concepts from fundamental areas of mathematical logic such as the propositional and predicate calculus and recursion theory. (b) Acquire a critical familiarity with various logical systems which have applications in LT. (e.g. intuitionistic, modal, probabilistic, non-monotonic and fuzzy logics). (c) Successfully a I aspects of the knowledge gained in (a) and (b) in the elaboration of a dissertation.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.man.ac.uk