First, most of the examples involve functions on fundamental inductive data types – such as lists, trees and dictionaries – and proofs about these functions.

A likelihood function for the frequency of the A1 allele when 2 A1 alleles are observed in a sample of 10 alleles. The vertical dashed line is drawn through the maximum value of the likelihood ...

This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...