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
approximate amount of contact lessons
52
Teaching semester
spring
Assessment form
Examination
lecturer of 2019/2020  Autumn semester
õppejõud on määramata
lecturer of 2019/2020  Spring semester
lecturer not assigned
Course aims
Fundamentals of set theory and logic.
Brief description of the course
Sets, set operations. Relations. Logical operations. Propositional calculus.
Predicates. Formal languages
Independent work
Acquainting the theory and solving problems.
Learning outcomes in the course
Is acquainted with the theory and is able to solve problems.
Assessment methods
Home assignments.
Teacher
lekt Anna Šeletski
The course is a prerequisite
Study literature
Palm, R., Prank; R. 2004 Sissejuhatus matemaatilisse loogikasse. Tartu, TÜ