CS2513: Mathematics For Computing Science

CS2513: MATHEMATICS FOR COMPUTING SCIENCE (2022-2023)

Last modified: 20 Jan 2023 16:02

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
Term	Second Term	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?

Either Programme Level 1 or Programme Level 2
One of CS1022 Computer Programming and Principles (Passed) or CS1028 Programming for Sciences and Engineering (Passed) or CS1029 Modelling and Problem Solving for Computing (Passed) or CS1032 Programming 1 (Passed) or CS2014 Advanced Web Application Development (Distance Learning) (Passed) or CS2016 Advanced Topics in Computing Science (Passed)
Any Undergraduate Programme

What other courses must be taken with this course?

None.

What courses cannot be taken with this course?

CS2013 Mathematics for Computing Science (Passed)

Are there a limited number of places available?

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.

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

Class Test - Multiple Choice Questions

Assessment Type	Summative	Weighting	33
Assessment Weeks		Feedback Weeks		Look up Week Numbers
Feedback	Weighting: 33.33...%

Learning Outcomes

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

Class Test - Multiple Choice Questions

Assessment Type	Summative	Weighting	34
Assessment Weeks		Feedback Weeks		Look up Week Numbers
Feedback	Weighting: 33.33...%

Learning Outcomes

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

Class Test - Multiple Choice Questions

Assessment Type	Summative	Weighting	33
Assessment Weeks		Feedback Weeks		Look up Week Numbers
Feedback	Weighting: 33.33...%

Learning Outcomes

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

Formative Assessment

There are no assessments for this course.

Resit Assessments

Resit of failed elements (pass marks carried forward)

Assessment Type	Summative	Weighting
Assessment Weeks		Feedback Weeks	Look up Week Numbers
Feedback

Learning Outcomes

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

Course Learning Outcomes

Knowledge Level	Thinking Skill	Outcome
Factual	Remember	ILO’s for this course are available in the course guide.

51cg