15-317 Constructive Logic 15-317 - COURSE PROFILECourse Level: UndergraduateUnits: 9Special 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 ClassesCourse 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:Modern constructive logic and its roots in philosophy, intuitionistic logicInductive definitionsFunctional programmingType theoryLogic programmingProof searchLogical frameworksMost Recent Syllabus Available:http://www.cs.cmu.edu/~fp/courses/15317-f17/schedule.htmlBasis in functional programmingAssignments: 40%Midterms: 30%Final: 30%Sample Exam: None ProvidedSample Assignment:http://symbolaris.com/course/constlog16/hw1.pdfSample class notes:http://symbolaris.com/course/constlog16/02-natded.pdfSample Lecture Recording: None ProvidedCourse Goals/ObjectivesUnderstand how logics:are definedwhat they meanhow they are used in computer scienceDevelop skills in all types of logic: classical, constructive, intuitionisticLearning Resources:Pre-reqs, Cross list, RelatedNotes:PiazzaLecture NotesPrerequisites Required: 15-150Minimum Grades in Prereqs:C in 15-150Corequisites: NoneAnti-requisites: n/aCross-Listed: 15-657Substitutes: NoneRelated Courses: noneReservations: NoneNone for this courseDepartment Website: College Website:updated October 2017https://www.csd.cs.cmu.eduhttp://www.cs.cmu.edu/Back to Course Profile List