Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Teaching
Courses 2011–12
Introductory Logic
Assessment
Advanced Computer Design
Advanced Topics in Computer Systems
Algebra and programming semantics
Automated Reasoning
Category Theory and Logic
Chip Multiprocessors
Image Processing and Image Coding
Innovative User Interfaces
Introduction to Natural Language Processing
Introductory Logic
Low Power Embedded Systems Programming
Multicore Semantics and Programming
Network Architectures
Programming for Mobiles
Research Skills
Spoken Language Processing
Word Meaning and Discourse Understanding
Advanced Topics in Concurrency
Building an Internet Router
Data Centric Networking
Flows in Networks
Language and Concepts
Machine Learning for Language Processing
Operating and Distributed System Security
Social and Technological Network Analysis
Syntax and Semantics of Natural Language
System on Chip Design and Modelling
Topics in Logic and Complexity
Interactive Formal Verification
Research Students Lectures
Course pages 2011–12
Introductory Logic
Syllabus
Course materials
Assessment
Here are some (informal) exercises for the course
and
here are some solution notes
.
© 2012 Computer Laboratory, University of Cambridge
Information provided by
Prof Alan Mycroft