Top of page Announcements Staff details Lectures Handouts Exercise sheets and solutions Feedback Marks Assessment Re-assessment Previous test and exam papers Maths Club Other resources

The University of Birmingham - School of Computer Science

Mathematical Techniques for Computer Science

Autumn Semester 2013

Announcements

Lectures this week in WG5, Aston web on Wednesday at 10 o'clock and in G17, Nuffield, on Thursday at 9 o'clock.
First meeting of the Maths Club on Wednesday at 12 in 222, CS building.

Staff Details

Professor Achim Jung
Room 213
Tel: (+44) 121 414 4776
Email: A.Jung @ cs.bham.ac.uk
Office hours: see online timetable 		Tutors
 
Fengzhen Tang (fxt126 @ cs.bham.ac.uk)
Liyan Song (lxs189 @ cs.bham.ac.uk)
Rafee Ibrahem (rti273 @ cs.bham.ac.uk)

Lectures

Wednesdays, 10:00-10:50am, WG5, Aston Webb (LT2, Sportex, in the last week of term)
Thursdays, 9:00-9:50am, G34, Mech Eng (Week 1 only), then G17, Nuffield for the rest of the term
Thursdays, 15:00-15:50am, 301, Biosciences

One of the slots listed above will be used for exercises, usually the afternoon session on Thursdays.

Handouts

Printed copies will be provided in the Wednesday lecture.
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

Exercises

Printed exercise sheets will be provided with the handouts. Ditto for the solutions.
Exercise sheet 1: Systems of linear equations (solutions)
Exercise sheet 2: Analytic geometry (solutions)
Exercise sheet 3: Analytic geometry with the inner product (solutions)
Test 1 (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)
Test 2 (solutions)
Exercise sheet 9: Inductive definitions (solutions)
Exercise sheet 10: Probability (solutions)
Exercise sheet 11: Random variables (solutions)

Feedback

We will always try to return the marked homework in the same week as the hand-in date, that is, during the exercise class in that week (usually Thursday afternoon). The class tests will be returned after one week.

Assessment

  • 10% continuous through class tests I am planning to have two class tests during the term. The first will be in Week 4, the second in Week 9, though this could change depending on how much progress we make.
  • 10% continuous through homework You will be invited to submit answers to the weekly exercises by the following Monday, 12noon (including any that you discussed with a tutor during the exercise class).
    To check the marks which have been recorded against your name, follow this link.
    You can earn bonus points by answering ``stretcher exercises'' so potentially you can get more than 10% overall from this component.
  • 80% 1.5-hour examination in May

Re-assessment

There is one resit opportunity for this course in August next year. The continuous assessment component will not be carried forward.

Maths Club

This is a voluntary, additional offering, loosely related to this module. For those who are interested, we will discuss mathematical topics, theories, and proofs, with a strong view towards use in computer science. The material will not be part of an examination! The Club will meet Wednesdays, at 12noon in room 222 in the Computer Science building.