The University of Birmingham - School of Computer Science
Mathematical Techniques for Computer Science
Autumn Semester 2011
Staff Details
Professor Achim Jung
Room 213
Tel: (+44) 121 414 4776
Email: A.Jung @ cs.bham.ac.uk
Office hours: see online timetable
Lectures
Wednesdays, 10:00-10:50am, 301, Biosciences
Thursdays, 10:00-10:50am, LT3, SportEx
Thursdays, 15:00-15:50am, UG04, Learning Centre
Exercise Sessions
One of the slots listed above will be used for exercises, usually the afternoon session on Thursdays.
The following will help with exercises: Olaf Klinke and Chuangjie Xu.
Handouts
Handout 0: General information
Handout 1: Systems of linear equations, Gaussian elimination
Handout 2: Gaussian elimination: special cases
Instructions for using Chris Novakovic's Gaussian Elimination tutor program
Handout 3: Analytic geometry in the plane
Handout 4: Analytic geometry in three dimensions
Handout 5: Two other ways of describing lines and planes
Handout 6: The inner product
Handout 7: Matrices and matrix algebra
Handout 8: Invertibility of matrices
Handout 9: Sets
Handout 10: Cardinality: countable and uncountable sets
Handout 11: Relations
Handout 12: Functions
Handout 13: Inductive definitions
Handout 14: Probability
Handout 15: Random variables
All boxes as they should have been filled
Index
Exercises
Exercise sheet 1: Systems of linear equations (solutions)
Exercise sheet 2: Analytic geometry (solutions)
Exercise sheet 3: Analytic geometry with the inner product (solutions)
Exercise sheet 4: Matrix multiplication (solutions)
Exercise sheet 5: Matrix inversion (solutions)
Exercise sheet 6: Sets: notation and cardinality (solutions)
Exercise sheet 7: Relations (solutions)
Exercise sheet 8: Functions (solutions)
Exercise sheet 9: Inductive definitions (solutions)
Exercise sheet 10: Probability (solutions)
Exercise sheet 11: Random variables (solutions)
Class tests
2007 Test 1 (solutions)
2008 Test 1 (solutions)
2009 Test 1 (solutions)
2010 Test 1 (solutions)
Test 1 (solutions)
2007 Test 2 (solutions)
2008 Test 2 (solutions)
2009 Test 2 (solutions)
2010 Test 2 (solutions)
Test 2 (solutions)
Marks
Exam papers
Summer 2010 exam paper (solutions)
Summer 2011 exam paper (solutions)
Other resources
An interactive applet for experimenting with random variables
School-level module description