CS146 (Warwick) University of Warwick

Mathematics for Computer Scientists

Logic, discrete structures and mathematical reasoning.