production
Skip to Content

CS2513: MATHEMATICS FOR COMPUTING SCIENCE (2021-2022)

Last modified: 31 May 2022 13:05


Course Overview

This course provides an introduction to areas of Discrete Mathematics that are used extensively in Computing. The course covers three topics: (1) formal languages and machines; (2) formal logic; (3) probability and statistics. Applications of these in Computing are indicated throughout.

Course Details

Study Type Undergraduate Level 2
Session Second Sub Session Credit Points 15 credits (7.5 ECTS credits)
Campus Aberdeen Sustained Study No
Co-ordinators
  • Professor Brian Logan

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

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 is an introduction to the following topics that will be of use later in degree programmes:

· Formal languages and finite-state machines 
· Formal logic (propositional and predicate calculi)
· Probability and Statistics.


Details for second half-session courses, including assessments, may be subject to change until 23 December 2022.

Contact Teaching Time

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

Teaching Breakdown

  • 1 Practical during University weeks 27 - 35, 39

More Information about Week Numbers


Details for second half-session courses, including assessments, may be subject to change until 23 December 2022.

Summative Assessments

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 MyAberdeen or with the Course Coordinator

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

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 MyAberdeen or with the Course Coordinator

Course Learning Outcomes

Knowledge LevelThinking SkillOutcome
FactualRememberILO’s for this course are available in the course guide.

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.