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

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, ...

An operating system is a collection (or suite) of programs that manages and controls the computer. Operating systems have many functions: A user interface is a program, or suite of programs that ...

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 ...