+44 1792 295160
This module introduces students to mathematical tools and techniques for modelling computing systems.
This module will follow on from CS-170 and introduces students to mathematical tools and techniques for modelling computing systems.
This module is for students with an interest in entering teaching, and involves a weekly placement in a local school or college under the mentorship of a Computing/ICT teacher. The student will engage both in observation and in various teaching activities. The module will be assessed on the basis of the mentor's report and on written project work.
This module introduces students to the language and tools of classical elementary logic and addresses questions about the relations between formal and natural languages. It cultivates students¿ ability to translate complex natural language passages into formal claims and arguments, to assess their validity, and to engage with such further philosophical topics as: analyticity, apriority, necessity, descriptions, existence, identity, truth, meaning and reference. Finally, students will engage with various techniques required for reasoning about complex systems.