MATH 4860 - [Applied Logic]

(crosslisted) CS 4860
(MQR-AS, SMR-AS)

Fall. Not offered: 2022-2023. Next offered: 2023-2024. 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, MATH 3360, or MATH 4340), and some additional course in mathematics or theoretical computer science.

R. Constable.

For description, see CS 4860.