CS 4860 - Applied Logic

(crosslisted) MATH 4860
(MQR)

Fall. 4 credits.

Forbidden Overlap: Students may not receive credit for both MATH 4810 and MATH 4860.
Prerequisite: MATH 2210-MATH 2220, MATH 2230-MATH 2240, or MATH 1920 and MATH 2940; CS 2800 (or MATH 3320, MATH 3360, MATH 4320, or MATH 4340); and some additional course in mathematics or theoretical computer science.

Staff.

For description, see MATH 4860.