• Course code:63705
  • Credits:6
  • Semester: winter
  • Contents
Discrete structures are a core subject presenting the necessary mathematical topics that are needed to build on in computer science and engineering. It is highly probable that most of the topics will be new to a typical high school graduate, and also the familiar concepts will be studied in a new setting. 

Topics include:
  • Formal logic: reasoning, formal proofs in propositional logic, predicates.
  • Set theory: naive approach, basics of counting.
  • Functions and relations: composition of functions, equivalence relations.
  • Number theory: basics, Diophantine equations.
  • Permutations: a primer of an algebraic structure.
  • Graph theory: basics, walks, paths and connectedness, bipartite graphs, trees, Euler and Hamilton graphs, coloring.
  • Recurrence relations.

Coursework consists of weekly homework assignments, midterms and a final exam.

  • Study programmes
  • Distribution of hours per semester
  • Professor
Room:R3.28 - Laboratorij LKRV
Teaching Assistant
Room:R3.26 - Laboratorij LMMRI
Teaching Assistant
Room:R3.26 - Laboratorij LMMRI
Course Organiser
Room:R3.09 - Kabinet