15-317 Constructive Logic
15-317 - COURSE PROFILE
Course Level: Undergraduate | Units: 9 | Special Permission Required: No (if yes, please see Notes below) |
Frequency Offered: Generally offered every fall - confirm course offerings for upcoming semesters by accessing the university Schedule of Classes Course Relevance (who should take this course?): Those interested in learning about some the many applications of logical reasoning in computer science. Course Website: http://www.cs.cmu.edu/~fp/courses/15317-f17/ | ||
Key Topics: | Background Knowledge: | Assessment Structure: |
Most Recent Syllabus Available: | Basis in functional programming |
Sample Exam: None Provided Sample Assignment: Sample class notes: Sample Lecture Recording: None Provided |
Course Goals/Objectives | ||
Learning Resources: | Pre-reqs, Cross list, Related | Notes: |
|
| None for this course |
Department Website: | College Website: | updated October 2017 |
https://www.csd.cs.cmu.edu | http://www.cs.cmu.edu/ | Back to Course Profile List |