Skip to content
CS 2800: Logic and Computation
Schedule
Initializing search
CS 2800: Logic and Computation
Course Info / Office Hours
Syllabus
Schedule
Schedule
Table of contents
Schedule
OCaml Cheat Sheet
Lectures
Lectures
Lecture 1.2: Class Overview
Lecture 1.3: Getting Started with OCaml; Calculator Expressions
Lecture 2.1: More about functions; strings and printing; specifying max3
Lecture 2.2: Lists, Pairs, Option types; Recursion; Formalizing a property using lists
Lecture 2.3: Defining New Types; more experience writing properties
Lecture 3.1: Specification and Testing
Lecture 3.2: Working with Specifications
Lecture 3.3: More PBT
Homework
Homework
Homework 1
Homework 2
Homework 3
Table of contents
Schedule
Schedule
Schedule