Courses of Study 2014-2015 
    
    Mar 29, 2024  
Courses of Study 2014-2015 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 4860 - Applied Logic

(crosslisted) MATH 4860  
(MQR)      
Spring. 4 credits.

Prerequisites: MATH 2210 -MATH 2220 , MATH 2230 -MATH 2240 , or MATH 1920  and MATH 2940 ; CS 2800  (or MATH 3320 , MATH 3360 , MATH 4320 , MATH 4340 , or MATH 4810 ); and some additional course in mathematics or theoretical computer science.

Staff.

For description, see MATH 4860 .



Add to Favorites (opens a new window)