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