TLÜ ÕIS

Discrete Mathematics I

Course code

MLM6228.DT

old course code

Course title in Estonian

Diskreetne matemaatika I

Course title in English

Discrete Mathematics I

ECTS credits

3.0

Assessment form

assessment

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

To provide the fundamentals of set theory and logic. To introduce the methods used in those topics with their applications.

Brief description of the course

Sentential logic. Truth tables. Normal forms of sentences. Predicate calculus and its main formulas. Types of theorems. Necessary and sufficient conditions. Methods of proof. Mathematical induction. Sets, set operations, their properties. Cartesian product of sets. Relations on sets and their properties. Equivalence relation, order relation. Maximal, minimal, greatest and least elements with respect to the order. Bounds and boundaries. Maps. Algebraic operations. Characteristic function of a subset. Boolean functions. Cardinality of a set.

Learning outcomes in the course

Upon completing the course the student:
- knows the operations with sets, their main properties and relations, being able to determine the type of a relation and applying relations;
- knows the main laws of sentential logic and predicate calculus;
- is able to write down the contextual claims using formal symbols and negate the sentencies.

Teacher

Tatjana Tamberg

Study programmes containing that course