Course code

MLM6214.DT

old course code

MLM6214

Course title in Estonian

Hulgateooria ja loogika elemendid

Course title in English

Foundations of Set Theory and Logic

ECTS credits

4.0

Assessment form

Examination

lecturer of 2023/2024 Spring semester

Tatjana Tamberg (language of instruction:Estonian)

lecturer of 2024/2025 Autumn semester

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

Course aims

Fundamentals of set theory and logic.

Brief description of the course

Sets, set operations. Relations. Logical operations. Propositional calculus.
Predicates. Formal languages

Learning outcomes in the course

Upon completing the course the student:
- is acquainted with the theory and is able to solve problems.

Teacher

lekt Anna Šeletski

The course is a prerequisite

Study programmes containing that course

Computer Science (IFIFB/23.DT)
Computer Science (IFIFB/22.DT)
Computer Science (IFIFB/21.DT)
Computer Science (IFIFB/20.DT)
Computer Science (IFIFB/19.DT)
Computer Science (IFIFB/18.DT)
Computer Science (IFIFB/17.DT)
Computer Science (IFIFB/15.DT)
Computer Science (IFIFB/14.DT)
Mathematics, Mathematical Economics and Data Analysis (MLMB/13.DT)
Computer Science (IFIFB/13.DT)
Computer Science (IFIFB/12.DT)
Mathematics, Mathematical Economics and Data Analysis (MLMB/12.DT)
Mathematics, Mathematical Economics and Data Analysis (MLMB/00.DT)