Search

5 May 2017: Introduction to Prolog. The structure of a Prolog program and how to use the Prolog interpreter. ... Difference structures. Difference lists: introduction and application to example programs. Building on Prolog.

5 May 2017: They should appreciate the value of other tools and the difference between incidental and intrinsic complexity. ... They should understand the software development life cycle and its basic economics.

20 Jun 2017: A partial function is partial recursive if and only if it is computable. ... understand the notion of coding programs as data, and of a universal machine;.

5 May 2017: Fourier representations. Inner product spaces and orthonormal systems. Periodic functions and Fourier series. ... Wavelets. Introduction to wavelets, with applications in signal processing, coding, communications, and computing.

20 Jun 2017: Concurrent and Distributed Systems (continuing).

20 Jun 2017: Taken by:No. of lectures 8. Suggested hours of supervisions: 2. Prerequisite course: Economics and Law. ... Company formation. Brief introduction to business law; duties of directors. Shares, stock options, profit share schemes and the like.

31 Oct 2017: Group II. Paper 5. Environmental economics and law. Principles of environmental economics and law, environmental policy and policy analysis, urban and rural environmental management. ... Group III. Paper 12. Law and economics. The relationship between

5 May 2017: Prerequisite courses: Security I; Probability; Economics, Law and Ethics; Operating Systems; Computer Networking. ... It also covers the interaction of security with psychology and usability; anonymity; security economics, and aspects of physical security

20 Jun 2017: Simple, uninformed search algorithms. Tree search and graph search. [1 lecture]. Search II. ... 1 lecture]. Neural Networks II. Multilayer perceptrons and the backpropagation algorithm. [1 lecture].

20 Jun 2017: Algorithms and problems. Complexity of algorithms and of problems. Lower and upper bounds. ... Time complexity. Time complexity classes. Polynomial time problems and algorithms. P and NP.

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).