Courses: Foundations of Rigorous Thinking (CMSCH130A01)
Develops rigorous thinking skills through the linguistic foundations of mathematics: logic and sets. Emphasis on using symbology to represent abstract objects and the application of formal reasoning to situations in computer science. Designed to serve as a transition course for non-science students who might wish to do further course work in computer or cognitive science.
Fulfills: NA QU II
Haverford, Link 310