Search

9 Apr 2010: learning. Turton (1997) comments that A-level traditionally covers large volumes of syllabus. ... syllabus (2008). In addition, background information including the case study data was taken from.

13 Nov 2010: Course material 2010–11. Introductory Logic. Principal lecturer: Dr Thomas Forster. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. Here is my page of course materials at DPMMS, linked form

13 Oct 2010: In the last year the College has continued to make progress in establishing its charges for residences and catering on an economic footing: there have been complementary increases in the levels ... The new Government has already signalled its interest in

21 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». Software Verification. 2009–10. Principal lecturer: Dr Matthew Parkinson. Taken by:Notes for the course:. Additional examples:. Some notes for the exercises:. Answers for some of the

11 Nov 2010: Course material 2010–11. Human-Computer Interaction. Principal lecturer: Dr Alan Blackwell. Taken by:Past exam questions:Selected slides from lecture 1 - The scope and challenges of HCI and Interaction Design. Selected slides from lecture 2 -

19 Oct 2010: communalized aspects of the school syllabus that had been brought in by the NDA government. ... economic success as well as social justice. The recommendations of the committees indicate that very.

3 Aug 2010: Course material 2010–11. Deep Language Modelling. Principal lecturer: Dr Ann Copestake. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory, University of Cambridge.

23 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». Topics in Logic and Complexity. 2009–10. Principal lecturer: Prof Anuj Dawar. Taken by:Lecture Note Handouts:. corrected version). corrected version). corrected version). Handout 10

12 Aug 2010: Course material 2010–11. Advanced Speech Technology. Principal lecturers: Prof Phil Woodland, Dr Paul Taylor, Dr Blaise Thomson. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer

19 Nov 2010: Course material 2010–11. Foundations of Computer Science. Principal lecturer: Dr Magnus Myreen. Taken by:contact lecturer for access permission). Some of the sketches I draw during the lectures can be found here. Exercises for practical questions

6 Oct 2010: Muzammil Department of Economics, University of Lucknow. June 2010. - 2 -. 2010 Research Consortium on Educational Outcomes and Poverty WP10/31. Working Paper No. ... Department of Economics, University of Lucknow. May 2010. Abstract. This paper examines

3 Aug 2010: Course material 2010–11. Further Java Briefing. Principal lecturer: Dr Alastair Beresford. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory, University of Cambridge.

15 Dec 2010: Course material 2010–11. Introduction to Natural Language Processing. Principal lecturers:Taken by:Stephen Clark's Lectures:. Practicals:. 2010 Computer Laboratory, University of Cambridge. Information provided by Prof Ted Briscoe.

2 Dec 2010: Course material 2010–11. Programming for Mobiles. Principal lecturer: Dr Andrew Rice. Taken by:Assessment. Students will build a portfolio of work to be submitted to student administration by 12:00 noon on 10th December. The portfolio will contain

24 Nov 2010: Course material 2010–11. Category Theory for Computer Science. Lecturer: Dr Marcelo Fiore. Taken by:Books. S.Awodey. Category Theory. Oxford University Press, 2006. M.Barr and C.Wells. Category Theory for Computing Science Centre de Recherches

9 Dec 2010: Course material 2010–11. Denotational Semantics. Lecturer: Dr Marcelo Fiore. Taken by:Part I. Part II. Transparencies. Lecture 11 (16.XI). Feedback. Please provide feedback through the online lecture course feedback form. 2010 Computer Laboratory,

3 Aug 2010: Course material 2010–11. Types. Principal lecturer: Dr Christian Urban. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory,

28 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Discrete Mathematics I. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:Past exam questions:This was a new course in 2008-9, so the previous Discrete Maths I exam questions are

3 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Compiler Construction. 2009–10. Principal lecturer: Dr David Greaves. Taken by:Here are various items for the 2009/10 version of this course:. Exercises. The exercises are being added to

20 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Regular Languages and Finite Automata. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:Lecture notes and slides [pdf]. Past exam questions: recent ones (1993-2009) are here;