MATH 4860

Last Updated

  • Schedule of Classes - March 3, 2021 7:15PM EST
  • Course Catalog - March 3, 2021 7:16PM EST

MATH 4860
Applied Logic

Course information provided by the Courses of Study 2020-2021.

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 Spring.

Prerequisites/Corequisites 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.
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)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 4860

  • 4 Credits Stdnt Opt

  •  7596 MATH 4860   LEC 001

  •  
    • MW Online Meeting
    • Sep 2 - Dec 16, 2020

    • Constable, B

  • Instruction Mode: Online