home search a-z help
University of Cambridge Computer Laboratory
Discrete Mathematics II
Computer Laboratory > Course material 2006-07 > Discrete Mathematics II

Discrete Mathematics II
2006-07

Principal lecturer: Dr Marcelo Fiore
Taken by: Part IA (50% option)

Syllabus
Past exam questions: [DiscreteMathematicsII] [DiscreteMathematics]

Notes
  • Prof. G. Winskel's lecture notes.
    • Mini-Seminars
  • Week 1: questions and answers*.
  • Week 2: questions and answers*.
  • Week 3: questions and answers*.
  • Week 4: questions and answers*.
    • * Courtesy of Sam Staton and Dave Turner.     Complementary material
  • How to write a proof by L. Lamport.
  • Two very short notes on mathematical induction by M. Fiore.
  • Boolean algebras by Prof. J.L. Bell.
  • Relations and databases
  • E.F. Codd's seminal paper on the relational model of data.
  • Wikipedia: relational model, relational algebra.
  • On Enumerability by M. Fiore.
    • Feedback
  • Please provide feedback through the online lecture course feedback form.

    • © 2007 Dr Marcelo Fiore (content) & Dr Neil Dodgson (layout)
    Please send any comments to pagemaster@cl.cam.ac.uk
    Page last updated on 23-Feb-2007 at 11:46 by Marcelo Fiore