The pre-requisites listed in this catalog are those approved by the Curriculum Committee.
For pre-requisite information specific to an individual instance of a course, please see the schedule of classes. Click the Schedule Type to find available offerings of the course on the Schedule of Classes. |
CS 1050 - Understanding and Constructing Proofs |
Techniques of rigorous argumentation, emphasizing reading
and writing of formal and informal proofs. Application of
techniques to domains of relevance to computer science.
3.000 Credit hours 3.000 Lecture hours Grade Basis: ALP All Sections for this Course Dept/Computer Science Department |