# COMP0009: Logic

- **Department:** Computer Science
- **Credits:** 15
- **Level:** 5
- **Terms:** 1
- **UCL Module Catalogue:** https://www.ucl.ac.uk/module-catalogue/modules/logic-COMP0009

Prerequisites, assessment and the module description are in the UCL Module Catalogue, not here.

## First term teaching pattern

| Day | Time | Type | Weeks | Rooms |
| --- | --- | --- | --- | --- |
| Tuesday | 13:00–14:00 | Lecture | 10 | Medical Sciences 131 A V Hill LT, Medical Sciences and Anatomy |
| Wednesday | 10:00–11:00 | Lecture | 10 | B40 Darwin LT, Darwin Building |
| Thursday | 09:00–10:00 | Lecture | 10 | B34, Birkbeck Malet Street |
| Thursday | 10:00–11:00 | Problem Based Learning | 10 | B18, Birkbeck Malet Street; G08, Chadwick Building; XG03 Moot Court, Bentham House |
| Friday | 11:00–12:00 | Problem Based Learning | 10 | B18, Birkbeck Malet Street; G01, South Quad Pop Up Learning Hub |

Times are Europe/London.

## Deliveries

- LIVE-26-27 · T1

---

Source: Adam's Campus Toolbox, https://www.adamscampustoolbox.org.uk/module/COMP0009