CS 4860 - [Applied Logic]

(crosslisted) MATH 4860
(SMR-AS)

Fall. Not offered: 2024-2025. Next offered: 2025-2026. 3 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 2230, MATH 2310, MATH 2940, or equivalent. Students will be expected to be comfortable writing proofs. More experience with proofs may be gained by first taking a 3000-level MATH course.

Staff.

For description, see MATH 4860.