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.
- About Us
- Research
- Faculty
- Awards & Honors
- Undergraduate Program
- Graduate Program
- Careers
- Outreach
- Alumni
- UTCS Direct