Mathematical Foundations of Computer Science

Spring 2024

CS261 is an introduction to the formal mathematical concepts of computer science for the beginning student. Topics include proof techniques, elementary logic, set theory, counting and classic probability, relations, and graph theory. 

Spring 2024 website: https://handandmachine.org/classes/CS261_Spring2024/