Course Materials

Course: Categories, Proofs and Processes
Lecturer: Samson Abramsky

Course materials can be found at: LNPnotes.pdf
Slides: lecture 1, lecture 2, lecture 3, lecture 4, lecture 5
A paper on "Logic and Categories As Tools For Building Theories"
A paper on "Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics"

 

Course: Elementary Set Theory
Lecturer: Juliette Kennedy

This course is based on the book: Herbert Enderton: Elements of Set Theory, Academic Press, 1977.
Slides of Boban Velickovic's talk on "The Mathematical Theory of Infinity": guangzhou-boban.pdf

 

Course: Formal and Computational Semantics
Lecturer: Robin Cooper

Course materials can be found at: http://www.ling.gu.se/~cooper/fcompsem-sellc10/

 

Course: Generalized Quantifiers: Logical and Linguistic Aspects
Lecturer: Dag Westerståhl

Slides: Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5

 

Course: Generation of Referring Expressions in Natural Language
Lecturer: Kees van Deemter

Course materials can be found at: http://www.csd.abdn.ac.uk/~kvdeemte/Guangzhou-2010/

 

Course: Inductive Logic
Lecturer: Jeff Paris

Course notes can be found at: http://www.maths.manchester.ac.uk/~jeff/lecture-notes/Guangzhou.pdf

 

Course: Logical Computations in Multi-Agent Systems
Lecturer: Mehrnoosh Sadrzadeh

Course notes: SELLC-1.zip

 

Course: Relational Databases, Logic, and Complexity
Lecturer: Phokion Kolaitis

Slides: http://users.soe.ucsc.edu/~kolaitis/talks/gii09-final.pdf

Slides of the course "Principles of Database Systems": http://www.soe.ucsc.edu/classes/cmps277/Winter10/Lectures.html

Background reading: "Foundations of Databases: The Logical Level" by Serge Abiteboul, Richard Hull and Victor Vianu, Addison Wesley, 1995.

 

Course: Structures for Proofs
Lecturer: Greg Restall

Course materials can be found here.