Course code

MLM7223.DT

old course code

MLM7223

Course title in Estonian

Matemaatiline loogika ja algoritmiteooria

Course title in English

Mathematical Logics and Algorithms

ECTS credits

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

Major. Core subject of the bachelor level mathematics programme. To introduce the formal-logical bases of thinking to complete thinking.

Brief description of the course

Propositional calculus. Axioms and rules of propositional logic. The consistency, completeness and decisive quality of propositional calculus. The independence of axioms. Predicates and quantifiers. Predicate calculus. First-order logic. Axioms, rules of deduction. Deduction theorem. The interpretation of formal theories. The isomorphism of models. Categoricality and completeness of formal theories. Algorithms, Markov normal Algorithms.

Learning outcomes in the course

Upon completing the course the student:
Knows mathematical facts and is able to use methods in volume of a subject.

Teacher

dots Tatjana Tamberg

Study programmes containing that course

Teacher of Mathematics (MLMOM/15.DT)
Teacher of Mathematics (MLMOM/14.DT)
Mathematics (MLMM/14.DT)
Teacher of Mathematics (MLMOM/13.DT)
Mathematics (MLMM/13.DT)
Teacher of Mathematics (MLMOM/12.DT)
Mathematics (MLMM/12.DT)
Teacher of Mathematics (MLMOM/11.DT)
Mathematics (MLMM/11.DT)
Mathematics (MLMM/10.DT)
Teacher of Mathematics (MLMOM/10.DT)