Spring 2021 not offered
This course covers special topics in computer science. Topics vary according to the instructor.
For fall 2020, the topic is "some applications of logic in computer science." About half of the material will cover systems of logic: classical, intuitionistic and modal; formalizing notions of proof (natural deduction and sequent calculus); Church's theory of types and other type theories; and formalizing notions of mathematical validity, including Tarksi and Kripke model theories. The other half will cover applications of formalism to computer science. This will include a sizable component of logic programming (based on the programming languages Prolog and lambda-Prolog, that actually use proof-search as an execution strategy). Other topics will include the typed lambda calculus and automated deduction.
|Gen Ed Area Dept:
|Course Format: Lecture
|Grading Mode: Student Option
|Prerequisites: COMP212 AND MATH228
|Fulfills a Major Requirement for: (COMP)