|
This degree is offered jointly with the Philosophy group of the School of Philosophy, Psychology and Language Sciences.
The most pronounced area of common interest between Computer Science and Philosophy is clearly logic, a subject of immense and still increasing importance in both theoretical and applied Computer Science, as well as an area of very active research in the contemporary field of Philosophical Logic. As an academic discipline, Logic began as a branch of Philosophy, and the abstract theory of computation was first investigated by logicians, and grew out of the attempt to provide a logical foundation for Mathematics. Thus a very natural intellectual rationale underlies the educational aims of this combined degree, which at its core is designed around the formal methodologies and techniques that apply, on the one hand for example, to arguments and patterns of reasoning formulated in natural language, and on the other, to providing powerful meta-level characterizations of diverse computational phenomena.
For details of degree structure and content, please see degree programme specification.
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 650 2690, Fax: +44 131 651 1426, E-mail: hod@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |
