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