production
Skip to Content

Log In

  1. University Home
  2. Catalogue of Courses
  3. Undergraduate
  4. 2024-2025
  5. Computing Science
  6. CS4543: Languages And Computability

CS4543: LANGUAGES AND COMPUTABILITY (2024-2025)

Last modified: 4 Days, 2 Hours, 42 Minutes ago


Course Overview

This course provides a basic-level introduction to formal languages, mathematical models of computation, and the theory of computation. Application areas include the design of programming languages, and the recognition of fundamental limits of computation in solving problems.

Course Details

Study Type Undergraduate Level 4
Term Second Term Credit Points 15 credits (7.5 ECTS credits)
Campus Aberdeen Sustained Study No
Co-ordinators
  • Dr N. Oren
  • Professor Brian Logan

What courses & programmes must have been taken before this course?

  • Any Undergraduate Programme (Studied)
  • Computing Science (CS)
  • One of Programme Level 3 or Programme Level 4 or Programme Level 5

What other courses must be taken with this course?

None.

What courses cannot be taken with this course?

Are there a limited number of places available?

No

Course Description

The course includes discussion of:

  • Introduction to formal languages and models of computation, for example, regular languages and finite-state automata, context-free languages and pushdown automata, Turing machines and Turing-recognizable languages.
  • Key results in the theory of computation, including results about famous problems that can and cannot be solved by algorithm.
  • Further topics in the theory of formal languages and computability, including application areas.

Contact Teaching Time

Information on contact teaching time is available from the course guide.

Teaching Breakdown

More Information about Week Numbers


Details, including assessments, may be subject to change until 30 August 2024 for 1st term courses and 20 December 2024 for 2nd term courses.

Summative Assessments

Exam

Assessment Type Summative Weighting 75
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Class Test - Multiple Choice Questions

Assessment Type Summative Weighting 25
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback

In-class MCQ test
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Formative Assessment

There are no assessments for this course.

Resit Assessments

Exam

Assessment Type Summative Weighting 100
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Course Learning Outcomes

Knowledge LevelThinking SkillOutcome
ProceduralApplyDemonstrate mastery of core principles and concepts of formal languages and computability
ReflectionCreateDevelop the ability to think analytically and creatively about formal languages and computability, including the ability to inter-relate (classes of) problems and (the complexity of) their solutions
ReflectionCreateDemonstrate the ability to apply relevant formal and semi-formal analysis techniques, and to build proofs and arguments in support of general claims
ProceduralEvaluateIn-depth analysis of formal languages, classes of computational models, computational problems and complexity issues, communicating the results effectively at an appropriate level of technical depth
 

Compatibility Mode

We have detected that you are have compatibility mode enabled or are using an old version of Internet Explorer. You either need to switch off compatibility mode for this site or upgrade your browser.

Title

Text