MATA150 Logic (4 cr)
Study level:
Intermediate studies
Grading scale:
0-5
Language:
English, Finnish
Responsible organisation:
Department of Mathematics and Statistics
Curriculum periods:
2020-2021, 2021-2022, 2022-2023
Description
Propositional and predicate logic. Deduction, truth tables, consistency and completeness theorems.
Learning outcomes
After completing the course successfully the student
- can deduce using rules of propositional and predicate logic
- can translate deduction using natural language (e.g. english) to logical language and can check the correctness of these deductions from logical point of view
- understands the concepts of syntax and semantics of logical languages and the difference of these
- understands the concepts of a valid formula and a theorem and the difference of these
- can determine the truth of a formula using a truth table
- knows contents of the consistency and completeness theorems of propositional and predicate logic and the principal ideas of their proofs
Study materials
Kurittu: Propositio- ja predikaattilogiikka (luentomoniste)
Salminen ja Väänänen: Johdatus logiikkaan (luvut 1-3)
Salminen ja Väänänen: Johdatus logiikkaan (luvut 1-3)
Completion methods
Method 1
Evaluation criteria:
Course exam and exercises
Select all marked parts
Method 2
Evaluation criteria:
Final exam
Select all marked parts
Parts of the completion methods
x
Teaching (4 cr)
Type:
Participation in teaching
Grading scale:
0-5
Language:
Finnish
Study methods:
Lectures 28h, 6-7 sets of homework
x
Exam (4 cr)
Type:
Exam
Grading scale:
0-5
Language:
English, Finnish
Study methods:
Final exam.