Discrete Mathematics and Functional Programming, Sections 1.(1-3)
An introduction to sets, elements, and other fundamental terms and concepts.
An introduction to sets, elements, and other fundamental terms and concepts. Making new types in ML using the datatype construct. Set operations: union,...
An introduction to sets, elements, and other fundamental terms and concepts.
Making new types in ML using the datatype construct.
Set operations: union, intersection, difference, etc.
More set definitions: Cardinality, disjointedness, partitions, and Cartesian products.
An introduction to the book (and course).
This is the first video in the new
Transcript: In this video, I will be explaining what
Verifying facts about sets using visual demonstrations.
Davidson CSC 220:
Making operations in ML by writing functions, including recursive functions.
Description.
Discover why