SIE505: Formal foundations for information science
Principal course resources
SIE505 course description
Course schedule
Course diary guidelines
Errata for Discrete Structures, Logic, and Computability, Second Edition
Podcasts
Lecture videos