7CCSMCOM
Computational Models
Lecturer: Professor Maribel Fernandez (Office Hours)
Semester: 2
Credit level: 7
Credit value: 15
Programmes
MSc in Advanced Computing
MSc in Advanced Software Engineering
MSc in Computing & Security
MSc in Computing, IT Law & Management
MSc in Intelligent Systems
MSci Computer Science
MSci Robotics and Intelligent Systems
Learning aims & outcomes
The aim of this module is to define, analyse and compare abstract models of computation and their associated programming paradigms.
On successfully completing this module, students should be able to demonstrate a deep knowledge and understanding of the fundamentals of formal languages and the principal models of computation and be able to work with theoretical/research-based knowledge at the forefront of the subject; to judiciously apply and combine tools and techniques (frequently in novel ways) to solve a range of complex subject-specific problems with minimal direction; to analyse subject material, draw inferences, and find relationships that demand that innovative thinking be engaged in and creativity be exhibited in formulating solutions; to critically evaluate, exercise judgement, and compare and contrast relevant material with minimal guidance and to consider and argue for alternative, novel approaches; to demonstrate a high degree of independence in managing your own learning and reflecting upon it in order to complete research tasks autonomously.
Syllabus
Introduction to abstract models of computation
Finite Automata
Push-Down Automata and applications
Turing machines
Functional calculi
Interaction-based systems
Concurrent computation
Weekly teaching arrangements
Lecture: 2 hours
Tutorial: 1 hour
Prerequisites
None
Summative assessment
Details of the module's summative assessment/s
| Type | Weighting | Marking model |
|---|
| Written examination (2 hours), May |
100% |
Model 2 - Double Marking |
Formative assessment
One piece of coursework
Module Pass Mark: 50%
Suggested reading/resources: https://kcl.rl.talis.com
23 November 2017