Search

5 Mar 2015: Course pages 2014–15. Databases. LAST CHANGE : Tue Mar5 09:00:35 GMT 2015 (added lecture 11). Never forget to ask What problem am I solving? Lecture Slides:. One-slide per page: db2015.pdf. Two-slides per page: db2015_2up.pdf (huge file!). Revised

20 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Additional material and further reading. Relevant course notes. a useful reference for those unfamiliar with the Unix command line. Further reading. SignalTap tutorial: SignalTap is a

19 May 2015: Course pages 2014–15. Concepts in Programming Languages. Handouts. Lecture slides (updated notes for lecture 8 (Topic X), slide 258 onwards). Supervision question sets courtesy ofNotes by topic. Introduction and motivation. Supplementary reading

28 Apr 2015: Course pages 2014–15. Compiler Construction. LAST CHANGE: Mon Apr 27 15:00:44 BST 2015 (added revision guide). Revision Guide. The following past papers indicate the topics you can expect for the exam this year. Topics that will not be covered

15 Jan 2015: Course pages 2014–15. Prolog. Principal lecturers:Taken by:contact lecturer for access permission). No. of lectures: 8. Suggested hours of supervisions: 2. Prerequisite courses: Foundations of Computer Science, Algorithms. The aim of this course

5 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Exercise 6: Etch-a-sketch (or Pong) on FPGA. Adding your Verilog components. Now is time to add your rotary controllers and shift register to your Qsys project, so we can access them

23 Apr 2015: Course pages 2014–15. Security I. Principal lecturer: Dr Markus Kuhn. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: Mathematical Methods I, Discrete Mathematics,

15 Jan 2015: Course pages 2014–15. Computer Networking. Principal lecturer: Dr Andrew Moore. Taken by:contact lecturer for access permission). No. of lectures: 24 (Continued in Lent Term). Suggested hours of supervisions: 6. This course is a prerequisite for

15 Jan 2015: Prerequisite course: Economics and Law. This course is a prerequisite for E-Commerce.

15 Jan 2015: Course pages 2014–15. Programming in C and C++. Principal lecturer: Dr Anil Madhavapeddy. Taken by:contact lecturer for access permission). No. of lectures: 10 2 practical classes (in Lent Term). Suggested hours of supervisions: 3. Prerequisite

10 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Optional Exercise 1b: Shift register. Scheduling. If you finish Exercise 1 before the end of week 2 you can attempt this exercise. You should proceed to Exercise 2 if it is week 3 or

15 Jan 2015: Course pages 2014–15. Databases. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: None. Aims. The aim of the course is to cover

13 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Yarvi on FPGA. We'll now put the Yarvi on FPGA and integrate it with other peripherals like the screen and rotary encoders. We use Qsys as a rapid way to build up the system-on-chip

15 Jan 2015: Course pages 2014–15. Complexity Theory. Principal lecturer: Prof Anuj Dawar. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: Algorithms, Computation Theory. Aims.

15 Jan 2015: Course pages 2014–15. Compiler Construction. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). No. of lectures: 16. Suggested hours of supervisions: 4. Prerequisite: Discrete Mathematics (Part IA). This

15 Jan 2015: Course pages 2014–15. Artificial Intelligence I. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: Algorithms. In addition the

15 Jan 2015: Course pages 2014–15. Computation Theory. Principal lecturer: Prof Andrew Pitts. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite course: Discrete Mathematics. This course is a

5 Nov 2015: Course pages 2015–16. ECAD and Architecture Practical Classes. Exercise 1: Human Input on DE1-SoC teaching board. Scheduling. You should aim to start this exercise during week 2 and complete it in week 2 or week 3. You will not be able to begin

15 Jan 2015: Course pages 2014–15. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. Taken by:contact lecturer for access permission). No. of lectures: 16. Suggested hours of supervisions: 4. Prerequisite courses: Algorithms.

15 Jan 2015: Course pages 2014–15. Logic and Proof. Principal lecturer: Prof Larry Paulson. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. This course is a prerequisite for the Part II courses