ICY0001 Logic and Discrete Mathematics

This course is designed to introduce students to the techniques, algorithms, and reasoning processes involved in the study of discrete mathematical structures. Students will be introduced to set theory, deductive and inductive reasoning, elementary counting techniques, ordering, functional and equivalence relations, graphs, and trees. The aim is to give them knowledge and skills that would enable to use the basic methods of discrete mathematics in subsequent courses, in the design and analysis of algorithms, computability theory, software engineering, and computer systems.

Course Syllabus
Join the "ICY0001 Logic and Discrete Mathematics" Slack workspace Sign up
Form for anonymous feedback Say something

Exam arrangement details and registration

Choose only one date. Please also register at ÕIS (corresponding date), otherwise registration is not valid.

Topics to be covered

  • Elementary set theory (basic definitions and set operations, the power set and Cartesian products);
  • Basic connectives in propositional logic and their properties with emphasis on some of the methods of proving mathematical results;
  • Quantifiers in predicate logic and in infinitely large domain sets;
  • Mathematical induction;
  • Binary relations and, in particular, the equivalence relation; partial order relations;
  • Basic counting techniques, combinations, permutations;
  • Binomial coefficients, Pascal’s triangle;
  • Graphs, vertices, edges, paths, cycles;
  • Eulerian and Hamiltonian graphs, travelling-salesman problem;
  • Basic definitions and properties of trees;
  • Planar graphs, graph colouring.

Schedule and lecture slides 2018


The grading allocation is designed as follows:

The final ranking for the course will turn out by summarising the student’s individual results of quizzes, tests and exam (maximum sum of points is 100) and the final grade will be as follows:


Study material

Primary material:

  • shaum

    S.Lipschutz and M.Lipson. Schaum's Outline of Discrete Mathematics, McGraw Hill 2007, Revised 3rd edition

  • rosen

    K. H. Rosen. Discrete Mathematics and Its Applications, WCB/McGraw Hill, 7th edition

Additional material:

  • pelikan

    L. Lovász, J. Pelikán, K. Vesztergombi. Discrete mathematics: elementary and beyond. Springer 2003

  • palm

    R. Palm. Diskreetse matemaatika elemendid. Tartu Ülikooli Kirjastus, Tartu, 2003. Avalik koopia TÜ Raamatukogust

  • vilenkin

    Виленкин Н.Я., Виленкин А.Н., Виленкин П.А. Комбинаторика. М.: ФИМА, МЦНМО, 2006 или старая версия Виленкин, Н. Я. Комбинаторика. Москва : Наука, 1969. Ester Tõlge: N. J.Vilenkin. Kombinatoorika. Tallinn : Valgus, 1975 Ester