Foundations of Discrete Mathematics

Course code

MLM6217.DT

old course code

Course title in Estonian

Diskreetse matemaatika elemendid

Course title in English

Foundations of Discrete Mathematics

ECTS credits

6.0

Assessment form

Examination

lecturer of 2024/2025 Autumn semester

Not opened for teaching. Click the study programme link below to see the nominal division schedule.

lecturer of 2024/2025 Spring semester

Not opened for teaching. Click the study programme link below to see the nominal division schedule.

Course aims

Provide basic knowledge of set theory, logic and graph theory. Introduce the methods and techniques used in these areas, as well as applications.

Brief description of the course

Sets, set operations. Relations. Logical operations. Propositional calculus. Predicates. Formal languages. Graphs: simple graph, multigraph, directed graph, weighted graph, tree. Applications of graphs.

Learning outcomes in the course

Upon completing the course the student:

- knows operations with sets, their basic properties and relations, including being able to determine their type and apply them;

- knows the basic laws of sentence and predicate calculus; can write substantive statements as formal formulas and negate them;

- knows the basic types of graphs and can use them to describe a practical situation.

- knows operations with sets, their basic properties and relations, including being able to determine their type and apply them;

- knows the basic laws of sentence and predicate calculus; can write substantive statements as formal formulas and negate them;

- knows the basic types of graphs and can use them to describe a practical situation.

Teacher

Tatjana Tamberg

Study programmes containing that course