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)

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

No published teaching
x

Exam (4 cr)

Type:
Exam
Grading scale:
0-5
Language:
English, Finnish
Study methods:

Final exam.

No published teaching