Discrete mathematics

Sets Sets
The logical framework The logical framework

Natural numbers

Natural numbers Natural numbers
Induction Induction
Matematik/Discrete mathematics/Minimality and maximality
Counting Counting
Infinite sets Infinite sets
Relations Relations

Number theory

Integers Integers
Divisibility Divisibility
Representations of integers Representations of integers
Greatest common divisor Greatest common divisor
Prime numbers Prime numbers
Rational numbers Rational numbers

Combinatorics

Combinatorics Combinatorics
Euler's function Euler's function
Words and selections Words and selections
Permutations Permutations
Unordered selections Unordered selections
The Sieve principle The Sieve principle
Möbius function Möbius function

Partitions and permutations

Partitions Partitions
Multinomial numbers Multinomial numbers
Partitions of integers Partitions of integers
Classification of permutations Classification of permutations

Modular arithmetic

Congruence Congruence
Latin squares Latin squares
Chinese Remainder Theorem Chinese Remainder Theorem
Error correcting codes Error correcting codes

Graph theory

Graphs Graphs
Paths and cycles Paths and cycles
Trees Trees
Graph colouring Graph colouring
Bipartite graphs Bipartite graphs
Edge colouring Edge colouring
Latin rectangles Latin rectangles
Matchings Matchings
Directed graphs Directed graphs
Networks and flows Networks and flows

Interactive Graph

Table Of Contents

Discrete mathematics

Natural numbers

Partitions and permutations

Modular arithmetic