Search

20 Jun 2017: Overview of run-time data structures: stack and heap. Virtual machines. [1 lecture]. ... Grammar ambiguity, left- and right-associativity and operator precedence. Using YACC-like tools.

5 May 2017: Course pages 2016–17. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. ... How do they relate to one another? Colour. Human vision. Resolution and quantisation.

5 May 2017: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... understand the relationships among the various calculi, e.g. SAT solving, resolution and Prolog;.

27 Apr 2017: Introduction, motivation, and overview. What is a programming language? Application domains in language design. ... Scala and Java 8. Generic types and methods. Variance annotations. The expression problem.

5 May 2017: Course pages 2016–17. Concurrent and Distributed Systems. Principal lecturer: Dr Robert Watson. ... user threads; M:N threads; atomicity; mutual exclusion; and mutual exclusion locks (mutexes).

5 May 2017: Then two representatives of recent trends are presented -- graph-oriented and document-oriented databases. ... know how to convert entity-relationship diagrams to relational- and graph-oriented implementations.

5 May 2017: Tips and pitfalls when generating larger modular designs. Chip, board and system testing. ... understand memory hierarchy including different cache structures and coherency needed for multicore systems;.

5 May 2017: Introduction to the C language. Background and goals of C. Types and variables. ... 2 lectures]. Introduction to C++. Goals of C++. Differences between C and C++.

20 Dec 2017: 2015-05-20 (Wed):. Duration: 56:38. Total duration: 9:26:51. 2017 Department of Computer Science and Technology, University of Cambridge.

20 Jun 2017: Hoare Logic and Model Checking (Easter,Michaelmas,Michaelmas,Lent,Michaelmas,Lent,Michaelmas, Lent,Michaelmas, Lent,Michaelmas,Michaelmas, Lent,Michaelmas, Lent,Michaelmas,Michaelmas, ... Research Students Lectures (Michaelmas,and others).

23 Jan 2017: A good starting point is the Sigcomm 2014 Mininet tutorial and specifically the examples.

2 Feb 2017: Computer Networking lectures. There will be no lectures on 3, 6 and 8 February. ... These lectures are moved to 2 February, 13 and 15 March all still at 11am in LT1.

20 Apr 2017: Course pages 2016–17. Artificial Intelligence I. Lecture notes as slides in colour and monochrome.

21 Apr 2017: At the University of Rotterdam I took degrees in law and economics. ... I’d like to work in a role that combines law and economics, ideally for a large company.

15 Jan 2017: Some minor simplifications were made to the text in these popups, and also the corresponding popups in slides 15 and 19. ... Lecture 8:. Minor typo and formatting fixes. There are eight handouts available for the second part of the course (Distributed

2 Jan 2017: hp343. 8. 6-9. 4:30. Video and audio are not quite in sync. ... There should be an open bracket before the exists and a close bracket before the implication arrow.

11 Jan 2017: Course pages 2016–17. Logic and Proof. PDF).

24 May 2017: Course pages 2016–17. Complexity Theory. Slides. Suggested Exercises. Note: these exercises are intended to explore in further detail some issues raised in the lectures, and encourage you to extend further

23 Feb 2017: Course pages 2016–17. Computation Theory. Slides [pdf]:. Past exam questions:. Since 2009, the last three lectures of this course have incorporated some material from a Part IB course on Foundations of Functional Programming that is no longer

23 Jan 2017: Topic 1 Introduction / FoundationUpdated: 2016-11-16. Topic 2 Architecture and InternetUpdated: 2016-11-16. ... Delightful video by the people at CAIDA while a little dated, the issues of bad decisions, bad law and the simple wonder of the Internet carry