Purdue University CS-252: System Programming. UVa CS-2102(Discrete Math): Composition of Relations. UVa CS-2102(Discrete Math): Propositional Logic.