THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2023/2024

Timetable information in the Course Catalogue may be subject to change.

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Informatics : Informatics

Undergraduate Course: Discrete Mathematics and Probability (INFR08031)

Course Outline
SchoolSchool of Informatics CollegeCollege of Science and Engineering
Credit level (Normal year taken)SCQF Level 8 (Year 2 Undergraduate) AvailabilityAvailable to all students
SCQF Credits20 ECTS Credits10
SummaryThe first part of this course covers fundamental topics in discrete mathematics that underlie many areas of computer science and presents standard mathematical reasoning and proof techniques such as proof by induction. The second part of this course covers discrete and continuous probability theory, including standard definitions and commonly used distributions and their applications.

*This course replaces "Discrete Mathematics and Mathematical Reasoning" (INFR08023). from academic year 2020/21*
Course description The course will cover roughly the following topics:

Block 1: Discrete Mathematics
- Logical equivalences, conditional statements, predicates and quantifiers
- Methods of proof using properties of integers, rational numbers and divisibility
- Set theory, properties of functions and relations, cardinality
- Sequences, sums and products, Induction and Recursion
- Modular arithmetic, primes, greatest common divisors and their applications
- Introductory graph topics

Block 2: Probability Theory
- Counting techniques: product rule, permutations, combinations
- Axioms of probability, sample space, events, De Morgan's Law
- Joint and conditional probability, independence, chain rule, law of total probability, Bayes' Theorem
- Random variables, expectation, variance, covariance
- Common discrete and continuous distributions (e.g., Bernoulli, binomial, Poisson, uniform, exponential, normal)
- Central limit Theorem
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Students MUST have passed: Introduction to Linear Algebra (MATH08057)
It is RECOMMENDED that students have passed Informatics 1 - Introduction to Computation (INFR08025) AND Calculus and its Applications (MATH08058)
Co-requisites
Prohibited Combinations Students MUST NOT also be taking Probability (MATH08066) AND Proofs and Problem Solving (MATH08059)
Other requirements None
Information for Visiting Students
Pre-requisitesVisiting students should have done a previous University-level mathematics course, be comfortable with univariate calculus (differentiation and integration), and have some familiarity with basic concepts from discrete mathematics such as binary numbers, sets, functions, and relations. A previous computer science course is recommended.
High Demand Course? Yes
Course Delivery Information
Academic year 2023/24, Available to all students (SV1) Quota:  None
Course Start Semester 1
Timetable Timetable
Learning and Teaching activities (Further Info) Total Hours: 200 ( Lecture Hours 30, Seminar/Tutorial Hours 15, Revision Session Hours 3, Programme Level Learning and Teaching Hours 4, Directed Learning and Independent Learning Hours 148 )
Assessment (Further Info) Written Exam 40 %, Coursework 60 %, Practical Exam 0 %
Feedback Feedback is given weekly in tutorials, when students can discuss their solutions to homework questions. Sample answers are also given for students to compare their own homework answers. Peer assessment will also be carried out in tutorial sessions. Piazza will be used to answer student queries. This will give lecturers, TAs and fellow students the chances to help those who are struggling or have queries.

Formative and summative feedback is given on the assignments that are handed in and marked. The marks on these assignments make up the 15% coursework element of this course.
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S1 (December)Discrete Mathematics and Probability (INFR08031)2:00
Resit Exam Diet (August)2:00
Learning Outcomes
On completion of this course, the student will be able to:
  1. use mathematical and logical notation to define and formally reason about mathematical concepts such as sets, relations, functions, and integers, and discrete structures, including proof by induction
  2. use graph theoretic terminology and apply concepts from introductory graph theory to model and solve some basic problems in Informatics (e.g., network connectivity, etc.)
  3. prove elementary arithmetic and algebraic properties of the integers, and modular arithmetic, explain some of their basic applications in Informatics, e.g., to cryptography
  4. carry out practical computations with standard concepts from discrete and continuous probability, such as joint and conditional probabilities, expectations, variances, standardization
  5. recognize and work with standard discrete and continuous probability distributions and apply them to model and solve concrete problems
Reading List
Discrete Mathematics with Applications 5th Edition by Susanna Epp

Probability with Applications in Engineering, Science, and Technology by Matthew A. Carlton, Jay L. Devore
Additional Information
Graduate Attributes and Skills Not entered
KeywordsRelations,Functions,Set Theory,Discrete and Continuous Probability,Conditional Probabilities,Proof
Contacts
Course organiserDr Ian Stark
Tel: (0131 6)50 5143
Email: Ian.Stark@ed.ac.uk
Course secretaryMiss Kerry Fernie
Tel: (0131 6)50 5194
Email: kerry.fernie@ed.ac.uk
Navigation
Help & Information
Home
Introduction
Glossary
Search DPTs and Courses
Regulations
Regulations
Degree Programmes
Introduction
Browse DPTs
Courses
Introduction
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Prospectuses
Important Information