Skip to content
CS 2800: Logic and Computation
Schedule
Initializing search
CS 2800: Logic and Computation
Course Info
Syllabus
Schedule
Schedule
Table of contents
Schedule
OCaml Cheat Sheet
OCaml Setup
Lectures
Lectures
Lecture 1.2: Class Overview
Lecture 1.3: Getting Started with OCaml; Calculator Expressions
Lecture 2.1: Functions
Lecture 2.2: Pattern matching and Pairs
Lecture 2.3: More Types with ADTs; Recursion
Lecture 3.2: Higher-order Functions and Formal Specification
Lecture 3.3: Working with Specifications
Lecture 4.1: Property-based testing sort and flip_tree
Lecture 4.2: Specifying with a reference implementation
Lecture 4.3: Polymorphism
Lecture 5.1: "Module" 2 with module files
Lecture 5.2: Manipulating Modules
Lecture 5.3: Specifications with Modules
Lecture 6.1: Abstract Types and Type Invariants
Lecture 6.2: Invariants and Parameterized Modules
Lecture 7.2: More Functors and Mutability
Lecture 7.3: Reasoning about Mutability
Lecture 8.1: Modeling Processes
Lecture 8.2: Reasoning about processes
Lecture 9.1: Abstract Syntax for a calculator expression language
Homework
Homework
Homework 1
Homework 2
Homework 3
Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Table of contents
Schedule
Schedule
Schedule