Discrete Mathematics and Functional Programming, Sections 1.(8&9)
More set definitions: Cardinality, disjointedness, partitions, and Cartesian products.
More set definitions: Cardinality, disjointedness, partitions, and Cartesian products. Making new types in ML using the datatype construct. Transcript: In...
More set definitions: Cardinality, disjointedness, partitions, and Cartesian products.
Making new types in ML using the datatype construct.
Transcript: In this video, I will be explaining what
Set operations: union, intersection, difference, etc.
An introduction to sets, elements, and other fundamental terms and concepts.
An introduction to the book (and course).
Verifying facts about sets using visual demonstrations.
The definition and basic use of lists in ML.
Making operations in ML by writing