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

Undergraduate Course: Discrete Mathematics and Mathematical Reasoning (INFR08023)

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
SummaryDiscrete mathematics and formal mathematical reasoning.
Course description 1) Foundations (Chapters 1 & 2 of [Rosen])
2) Basic number systems, and rudimentary algorithms on numbers and matrices (Chapter 3, [Rosen])
3) Induction and Recursion (Chapter 4 [Rosen])
4) Basic Counting (Chapter 5 [Rosen])
5) Graphs (and binary relations): [Chapter 9, and parts of Chapter 8]]
6) Trees: (Chapter 10 [Rosen])
7) Discrete probability [Chapter 6, plus some supplementary material]
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 - Functional Programming (INFR08013) AND Informatics 1 - Computation and Logic (INFR08012)) OR Informatics 1 - Introduction to Computation (INFR08025)
It is RECOMMENDED that students have passed Informatics 1 - Data and Analysis (INFR08015) AND Informatics 1 - Object-Oriented Programming (INFR08014) AND Calculus and its Applications (MATH08058)
Prohibited Combinations Other requirements Higher Mathematics or A-level at Grade A, or equivalent.

INF1-Introduction to Computation (INFR08025) replaces INF1-Computation and Logic (INFR08012) and INF1-Functional Programming (INFR08013) from 2018/19.
Information for Visiting Students
High Demand Course? Yes
Course Delivery Information
Academic year 2018/19, 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 10, Summative Assessment Hours 2, Programme Level Learning and Teaching Hours 4, Directed Learning and Independent Learning Hours 154 )
Assessment (Further Info) Written Exam 85 %, Coursework 15 %, Practical Exam 0 %
Additional Information (Assessment) You should expect to spend approximately 40 hours on the coursework for this course.
Feedback Not entered
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S1 (December)2:00
Resit Exam Diet (August)2:00
Learning Outcomes
On completion of this course, the student will be able to:
  1. Use of 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 models and data structures 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. Compare the asymptotic growth growth rates of basic functions; derive asymptotic bounds, and limits, for simple series and recurrence relations. Use these to derive bounds on the resource consumption (e.g., running time) of simple iterative and recursive algorithms
  5. Be able to construct discrete probability distributions based on simple combinatorial processes, and to calculate the probabilities and expectations of simple events under such discrete distributions
Reading List

* Kenneth Rosen, Discrete Mathematics and its Applications, 7th Edition, McGraw-Hill, (due to be published in July), 2012. Alternatively, 6th Edition, 2007.

Additional Reference Material:
* MIT Mathematics for Computer Science Lecture notes (online)
Additional Information
Course URL
Graduate Attributes and Skills Not entered
KeywordsNot entered
Course organiserProf Colin Stirling
Tel: (0131 6)50 5186
Course secretaryMs Kendal Reid
Tel: (0131 6)51 3249
Help & Information
Search DPTs and Courses
Degree Programmes
Browse DPTs
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Important Information