The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
Cornell University    
 
    
 
  Dec 14, 2017
 
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]