301K Foundations of Logical Thought

Program: 
Undergraduate Program
Division: 
Electives

Introductory logic in the context of computing; introduction to formal notations; basic proof techniques; sets, relations, and functions. Three lecture hours a week for one semester. Some sections also require one discussion hour a week; these are identified in the Course Schedule.