Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Department of Computer Science and Technology
Computer Laboratory
Teaching
Courses 2018–19
Computer Science Tripos Syllabus and Booklist 2018-19
Easter Term 2019: Part II lectures
Course pages 2018–19
Next:
Advanced Algorithms
Up:
Part II of the
Previous:
Unit: Topics in Concurrency
Contents
Easter Term 2019: Part II lectures
Subsections
Advanced Algorithms
Aims
Lectures
Objectives
Recommended reading
Business Studies Seminars
Aims
Lectures
Objectives
Recommended reading
Paper 7: Concepts in Programming Languages
Aims
Lectures
Objectives
Recommended reading
Paper 7: Formal Models of Language
Aims
Lectures
Objectives
Recommended reading
Hoare Logic and Model Checking
Aims
Lectures
Objectives
Recommended reading
Machine Learning and Bayesian Inference
Aims
Lectures
Objectives
Recommended reading
© 2019 Department of Computer Science and Technology, University of Cambridge
Information provided by
[Javascript required]