|
|
Sep 10, 2024
|
|
2024-2025 Academic Catalog
|
CS 7120 - Functional and Logic Programming Credit Hour(s): 3
Course Description: This course will discuss concepts of functional programming such as recursive definitions, polymorphic type inference, abstract data types, induction, etc. and concepts of logic programming such as model-theoretic semantics, logical deduction, backtracking, negation as failure, etc. The programming exercises will illustrate the utility of list-processing, pattern matching, abstraction of data/control, typing, etc. for problem solving.
Enrollment Restrictions: Must be enrolled in one of the following levels: Graduate, Medical, Professional.
Course Level: Graduate Schedule Type(s): Lecture
Grade Mode: Standard An additional fee is associated with this course.
|
|
|