COMP 325
Spring 2025
| Section:
01
|
Functional Programming Languages (Lisp, Scheme, ML, ocaml, Haskell, and many others) and Logic Programming Languages (Prolog, lambda-Prolog, etc.) have been developed within mathematical frameworks based on Logic. In this course, we will explore the basic structure of functional and logic programming languages starting from the Mathematical Logic foundation that gave rise to them. This will give some deep and interesting insights into present and (likely) future programming language design. |
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: COMP212 AND MATH228 |
|
Fulfills a Major Requirement for: (COMP) |
|
Past Enrollment Probability: Not Available |
| SECTION 01 |
| Instructor(s): Lipton,James Times: ..T.R.. 10:20AM-11:40AM; Location: TBA |
| Total Enrollment Limit: 25 | | SR major: 17 | JR major: 8 | | |
| Seats Available: 25 | GRAD: X | SR non-major: 0 | JR non-major: 0 | SO: 0 | FR: 0 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|