Special Topics in Computer Science: Appl. Logic & Logic Programming
COMP 360G
Fall 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: Lecture | Grading Mode: |
| Level: UGRD |
Prerequisites: COMP212 AND MATH228 |
|
Fulfills a Requirement for: (COMP) |
Major Readings:
|
Examinations and Assignments:
|
Additional Requirements and/or Comments:
While the theory component will be quite mathematical in nature, most of the mathematical background will be presented in class. A background equivalent to Comp 212 and Math 228 is required.
The course will be run as a hybrid class, with an in-person meeting each week, and online lectures. Reading will include handouts and journal articles, as well as excerpts from various texts. Your own class notes will be part of the reading material.
|
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|
|