Teaching

Members of our research group teach courses of the Department's undergraduate and postgraduate programmes. In 2003-2004 we run the MSc programme in Logic, Language and Computation.

Here are links to some of the course units that we currently teach:

• Logic for Computer Science (CSMLCS)
• Knowledge Representation and Prolog (CSMKRP)
• Frontiers of Applied Logic (CSMFAL)
• Human Reasoning and Natural Language (CSMHRL)
• Modal and Temporal Logics (CSMMTL)
• Non-monotonic Reasoning (CSMNMR)
• Artificial Intelligence (CSMAIN)
• Introduction to the Theory of Computation (CS1ITC)
• Applied Logic (CS2APL)
• Conceptual Analysis (CS2CAN)
• Automated Reasoning (CS3AUR)
• Computer Systems (CS1CS1)
• Natural Language Processing in Prolog (CS3NLP)
• Semantics (CSMSMS)
• Syntax (CSMSNX)
• Computational Models of Dialogue (CSMCMD)
• Advanced Computational Semantics (CSMACS)

We are always looking for people who would like to do a PhD in computational logics, computational linguistics, natural language processing or artificial intelligence in our group. If you are interested, please feel free to contact anyone of us informally to obtain further information.