WesMaps - Wesleyan University Catalog 2020-2021       Summer Session       Winter Session       Home       Archive       Search
Special Topics in Computer Science: Appl. Logic & Logic Programming
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.
Credit: 1 Gen Ed Area Dept: None
Course Format: LectureGrading Mode: Student Option
Level: UGRD Prerequisites: COMP212 AND MATH228
Fulfills a Major Requirement for: (COMP)

Last Updated on FEB-28-2024
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459