These are my notes from the first term of [[Part B]]U. Mathematics [[Course - Logic MT24]]U (also: [[Course - Galois Theory HT25]]U) Computer Science [[Course - Artificial Intelligence MT24]]U [[Course - Computer Security MT24]]U [[Course - Logic and Proof MT24]]U