51cg

production
Skip to Content

Log In

  1. University Home
  2. Catalogue of Courses
  3. Undergraduate
  4. 2019-2020
  5. Computing Science
  6. CS2013: Mathematics For Computing Science

CS2013: MATHEMATICS FOR COMPUTING SCIENCE (2019-2020)

Last modified: 25 Sep 2019 09:58


Course Overview

This course provides a basic-level introduction to some areas of Discrete Mathematics that are of particular relevance to Computing. The course starts with a simple introduction to formal languages (starting from Regular Expressions and Finite-State Automata); it continues with an introduction to Predicate Logic (assuming basic familiarity with Propositional Logic); it concludes with an introduction to probability, focussing on Bayesian reasoning.



Course Details

Study Type Undergraduate Level 2
Term First Term Credit Points 15 credits (7.5 ECTS credits)
Campus Aberdeen Sustained Study No
Co-ordinators
  • Dr Frank Guerin
  • Professor Antonio Politi

Qualification Prerequisites

  • Either Programme Level 1 or Programme Level 2

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

  • One of CS1014 Foundations of Computing Science 1 (Passed) or CS1016 Foundations of Computing Science 1 (Passed) or CS1022 Computer Programming and Principles (Passed)
  • Either Programme Level 1 or Programme Level 2
  • Any Undergraduate Programme (Studied)

What other courses must be taken with this course?

None.

What courses cannot be taken with this course?

None.

Are there a limited number of places available?

No

Course Description

Three main topics will be covered: 1. Introduction to formal languages: finite-state machines, regular expressions, Kleene's theorem, pushdown automata, context-free languages. 2. Introductory statistics for computing: Probability, Combinations, Permutations, Bayes' rule; the noisy channel model; principles of descriptive and inferential statistics; principles of hypothesis testing (null hypothesis, type-1 and type-2 errors, etc). 3. Topics in logic and set theory, including an introduction to predicate logic.


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 21st September 2026 for Term 1 and Full Year courses and 8th January 2027 for Term 2 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 or with the Course Coordinator

Formal languages (12.5%) and Logic (12.5%)

Assessment Type Summative Weighting 25
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback

Marked coursework will be returned to students. Further explanations will be offered in class.
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on or with the Course Coordinator

Formative Assessment

There are no assessments for this course.

Resit Assessments

Exam 75%, Coursework carried forward 25%

Assessment Type Summative Weighting
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 or with the Course Coordinator

Course Learning Outcomes

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

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 for this site or .