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
Homework
Homework
Homework 1
Homework 2
Homework 3
Table of contents
Schedule
Schedule
Schedule