Foundations of Discrete Mathematics
space
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 2023/2024 Spring semester
Not opened for teaching. Click the study programme link below to see the nominal division schedule.
lecturer of 2024/2025 Autumn 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.
Teacher
Tatjana Tamberg
Study programmes containing that course
space