|
|
|
Nov 27, 2024
|
|
CSCI054 PO - Discrete Math and Functional ProgrammingWhen Offered: Each semester.
Instructor(s): M. Greenberg, J. Osborn, Staff
Credit: 1
A combined course on functional programming and formal proof. Students write programs over a variety of data structures, proving their programs correct with respect to precise logical specifications. Programming topics (and proof topics) range over: recursion (induction); combinatorics; algebraic data types, from lists to trees to abstract syntax trees (structural induction); parsers and interpreters (soundness properties); regular expressions (set theory and language theory). Prerequisites: CSCI051J PO, or CSCI051P PO, or CSCI051G PO. The course is equivalent to CSCI 052 PO plus CSCI 055 PO . This course and any of the following courses can not both be taken for credit: CSCI 052 PO , CSCI 055 PO , and CSCI 060 HM .
Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5
Add to Portfolio (opens a new window)
|
|
|
