You are browsing the curriculum of a past academic year (2020–2021).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2020–2021
MAT-02651
Mathematics for Algorithms 1, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Active in period 1 (1.8.2020–18.10.2020)
Course code
MAT-02651Language of instruction
FinnishAcademic year
2020–2021Level of study
Basic studiesGrading scale
General scale, 0-5Persons responsible
Responsible teacher:
Terhi KaarakkaResponsible teacher:
Henri HansenResponsible teacher:
Frank CameronResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Core content
- LOGIC:
Propositional and predicate logic. Logical deduction - PROOF METHODS
- RELATIONS AND FUNCTIONS: Sets, relations and functions; properties thereof. Equivalence relation
- Boolean algebras
Complementary knowledge
- Cardinality of finite sets
- Cardinality (countable/uncountable). Rates of growth of functions and time complexity functions
- Normal forms of formulas
- Lists
Specialist knowledge
- Proving equivalence of propositional formulas
Learning outcomes
Prerequisites
Recommended prerequisites
Further information
Learning material
Equivalences
Studies that include this course
Completion option 1
Participation in teaching
24.08.2020 – 06.10.2020
Active in period 1 (1.8.2020–18.10.2020)