Courses of Study 2021-2022 
    
    Mar 28, 2024  
Courses of Study 2021-2022 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

MATH 4860 - Applied Logic

(crosslisted) CS 4860  
(MQR-AS, SMR-AS)      
Fall. 4 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 2220 , MATH 2230 -MATH 2240 , or MATH 1920  and MATH 2940 , CS 2800  (or MATH 3320 MATH 3340 , MATH 3360 , or MATH 4340 ), and some additional course in mathematics or theoretical computer science.

R. Constable.

For description, see CS 4860 .



Add to Favorites (opens a new window)