Computing Fundamentals 2 Lecture 1 A Theory of Graphs Lecturer: Patrick Browne Room [KA] - 3-020, Lab [KA] - 1-017 Based on Chapter 19. A Logical approach.
Computing Fundamentals 1 Lecture 0 Lecturer: Patrick Browne Room K308 Based on Chapter 0. A Logical.
Computing Fundamentals 1 Lecture 7 Relations Lecturer: Patrick Browne Room K308 Based on Chapter 14. A Logical approach.
Computing Fundamentals 1 Lecture 1 Lecturer: Patrick Browne Room K308 Based on Chapter 1. A Logical approach to Discrete.
Computing Fundamentals 1 Lecture 6 A Theory of Sets Lecturer: Patrick Browne Room K308 Based on Chapter 11. A Logical approach.
Computing Fundamentals 2 Lecture 2 A theory of Graphs Lecturer: Patrick Browne Lecture Room K320, Labs A117 Based on Chapter.
CS1110 Classes, stepwise refinement 12 Feb 2009
Computing Fundamentals 1 Lecture 1
Computing Fundamentals 2 Lecture 3 Modern Algebra Lecturer: Patrick Browne [email protected] Lecture Room Based on.
† Susan Owicki and David Gries. Verifying properties of parallel programs: An axiomatic approach. CACM 19(5), pp. 279−285, May 1976. ‡ Leslie.
Computing Fundamentals 1 Lecture 6 A Theory of Sets