CS 4860

Last Updated

  • Schedule of Classes - January 11, 2024 7:32PM EST
  • Course Catalog - January 11, 2024 7:07PM EST

CS 4860
Applied Logic

Course information provided by the Courses of Study 2023-2024. Courses of Study 2023-2024 is scheduled to publish mid-June.

Topics chosen from the following: propositional logic, first-order logic, and higher-order logic, both classical and intuitionistic versions, including completeness, incompleteness, and compactness results. Natural deduction and tableaux style logics and connection to the lambda calculus and programming languages and logics, and program verification.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: MATH 2210, MATH 2230, MATH 2940, or equivalent.
Forbidden Overlaps 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.

Distribution Category (MQR-AS, SMR-AS)

Comments Students will be expected to be comfortable writing proofs. More experience with proofs may be gained by first taking a 3000-level MATH course.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: MATH 4860

  • 3 Credits Stdnt Opt

  • 19233 CS 4860   LEC 001

  •  

  • Instruction Mode: In Person