# Lectures

There are two lectures per week (weeks 12-23):

- Mondays 12.00-13.00 (Taylor A21)
- Tuesdays 11.00-12.00 (Cruickshank Auris Theatre)

NB: The schedule of lectures is permanently under construction. I'll occasionally send messages about changes to the schedule.

- Course overview: Powerpoint
and pdf
PART 1: Formal Languages

- Lecture
**1**: Basic concepts in formal languages: Powerpoint and pdf - Lecture
**2**: Finite State Machines: Powerpoint and pdf . For background on relations and functions (crucial for understanding the difference between DFSAs and NDFSAs), I've added some slides in Powerpoint and pdf.
- Lecture
**3**: Regular Expressions: Powerpoint and pdf. Here are some notes on mathematical induction that might be useful. Here is a pdf version - Lecture
**4**: Kleene's Theorem: Powerpoint and pdf. Notes about the empty string: Powerpoint and pdf. - (The following lecture was skipped in 2014-15:

Lecture**5**: Automata that produce outout: Powerpoint and pdf). - (The following lecture was skipped in 2014-15:

Lecture**6**: Grammars and Context-free languages: Powerpoint and pdf. Also Powerpoint and pdf.) - Lecture
**7**: Concluding remarks (including the Chomsky hierarchy): Powerpoint and pdf. - Lecture
**8-9**: Propositional Logic Powerpoint and pdf. - Lecture
**10**: Predicate Logic I ppt and pdf.

- Lecture
**11**: Predicate Logic II Powerpoint and pdf. - Lecture
**12**: Predicate Logic III Powerpoint and pdf. - Lecture
**13**: Predicate Logic IV Powerpoint and pdf.

- Lecture
**14**: Predicate Logic V Powerpoint and pdf.

PART 3: Probability: frequentist and Bayesian

- Lecture
**15-16**: Descriptive Statistics Powerpoint and pdf. - Lecture
**17**: Probability Powerpoint and pdf. - Lecture
**18**: Distributions; Bayes' Law Powerpoint and pdf. - Lecture
**19-20**: Bayesian Reasoning and Networks Powerpoint and pdf. - Lecture
**21**: A Bayesian Spam Filter Powerpoint and pdf - Lecture
**22**: Revision lecture

PART 2: Logic