MATH 4860 - Applied Logic

(crosslisted) CS 4860
(MQR-AS)

Spring. 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 (formerly 4320), MATH 3360, or MATH 4340); and some additional course in mathematics or theoretical computer science.

R. Constable.

For description, see CS 4860.