Courses of Study 2014-2015 
    
    Oct 21, 2018  
Courses of Study 2014-2015 [ARCHIVED CATALOG]

[Add to Favorites]

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]