Skip to main content
KBS_Icon_questionmark link-ico
Study Abroad at King’s
Study

Go to…

Computational Models

Key information

  • Module code:

    6CCS3COM

  • Level:

    6

  • Semester:

      Spring

  • Credit value:

    15

Module description

Aims and Learning Outcomes

The aim of this module is to describe formal languages and the main abstract models of computation, precisely and in enough detail to distinguish their essential aspects clearly.

On successful completion of this module, students will:

Be able to:

  • Demonstrate a sound knowledge and understanding of the fundamentals of formal languages and the principal models of computation at sufficiently advanced level to appreciate the relevant research of the discipline.
  • Judiciously apply and combine tools and techniques (sometimes in novel ways) to solve a range of subject-specific problems with some guidance.
  • Analyse subject material, draw inferences, and find relationships in a manner that requires that intellectual skills be applied in a discerning manner.
  • Assess, compare and contrast relevant material with minimal guidance.
  • Demonstrate independence in managing your own learning and reflecting upon it to complete problem-solving and some research tasks with little direction.

Syllabus

An indication of the types of topics:

  • Introduction to abstract models of computation
  • Finite Automata, Push-Down Automata and applications
  • Turing machines
  • Functional calculi
  • Interaction-based systems
  • Concurrent computation 

Assessment details

Please note: The below assessment details for the 2024/25 academic year may be updated. The confirmed details will be available on the Student Handbook and on the module KEATS page at the beginning of the semester.

100% Examination 

Subject areas

Department

Module description disclaimer

King’s College London reviews the modules offered on a regular basis to provide up-to-date, innovative and relevant programmes of study. Therefore, modules offered may change. We suggest you keep an eye on the course finder on our website for updates.

Please note that modules with a practical component will be capped due to educational requirements, which may mean that we cannot guarantee a place to all students who elect to study this module.

Please note that the module descriptions above are related to the current academic year and are subject to change.