TLÜ ÕIS

Foundations of Set Theory and Logic

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 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

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