| |
| | Home Page |
 | | Laboratory for Foundations of Computer Science, the Institute for Communicating and Collaborative Systems, and the Institute for Representation and Reasoning, and Professor of Computer Systems. |
 | | Whatever diverse aspects of the world we represent within a computer, we reduce to formal symbols. In computer science, we characterise computation as the methodical, or algorithmic, processing of formal representations. |
 | | We seek to relate cognition, communication, and computation; to understand what information is, how it is represented, and how it is transformed--whether by computation or communication, whether by organisms or artefacts. |
| homepages.inf.ed.ac.uk /mfourman/legacy/welcome.html (1145 words) |
|