These are my notes from the first term of Part BU. Mathematics Course - Logic MT24U (also: Course - Galois Theory HT25U) Computer Science Course - Artificial Intelligence MT24U Course - Computer Security MT24U Course - Logic and Proof MT24U