|
|
|
Apr 20, 2024
|
|
CSCI054 PO - Discrete Math and Functional ProgrammingWhen Offered: Spring 2018.
Instructor(s): M. Greenberg
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. Course is equivalent to CSCI 052 PO , CSCI 055 PO ,and CSCI060 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)
|
|
|
