Download Set Theory for Computer Science (pdf )

Document related concepts

Foundations of mathematics wikipedia , lookup

Abuse of notation wikipedia , lookup

Addition wikipedia , lookup

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Function (mathematics) wikipedia , lookup

Theorem wikipedia , lookup

Brouwer–Hilbert controversy wikipedia , lookup

Laws of Form wikipedia , lookup

Non-standard calculus wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Computability theory wikipedia , lookup

Peano axioms wikipedia , lookup

Set theory wikipedia , lookup

List of first-order theories wikipedia , lookup

Birkhoff's representation theorem wikipedia , lookup

Mathematical proof wikipedia , lookup

History of the function concept wikipedia , lookup

Naive set theory wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Order theory wikipedia , lookup

Transcript