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}