Courses of Study 2023-2024 
    
    Nov 11, 2024  
Courses of Study 2023-2024 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 4860 - Applied Logic

(crosslisted) MATH 4860  
(MQR-AS, SMR-AS)      
Fall. 3 credits. Student option grading.

Forbidden Overlap: due to an overlap in content, students will receive credit for only one course in the following group: CS 4860, MATH 4810 , MATH 4860 , PHIL 4310 .
Prerequisite: MATH 2210 , MATH 2230 , MATH 2940 , or equivalent. Students will be expected to be comfortable writing proofs. More experience with proofs may be gained by first taking a 3000-level MATH course.

Staff.

For description, see MATH 4860 .



Add to Favorites (opens a new window)