Skip to main content

Discrete Structure

The course is divided into 3 sections:

  1. Mathematical foundations
  2. Discrete structures
  3. Selected topics


Mathematical foundations

  1. Abstractions, definitions, modular arithmetic, exponents
  2. Data representations, bits, bit strings
  3. Logic, proofs, axioms recursion
  4. Sets
  5. Predicate logic

Discrete structures

  1. Relations, functions
  2. Graphs
  3. Trees
  4. Digraphs

Selected topics

  1. Finite state automata and regular languages
  2. Linear algebra
  3. Probability and Baysian reasoning
  4. Program correctness

Learning Resources


Cannot find definitions for "automata".

Cannot find definitions for "axioms".