Learning outcomes

To familiarize oneself with the topics mentioned in the contents.

Contents

Truth functions, models and Tarski's truth definition, semantic trees, natural deduction, the completeness theorem of predicate logic.

Teaching methods

Lectures and weekly exercises. The amount of tuition depends on the number of credits awarded for the course.

Teaching language

Finnish

Evaluation

Numeric 1-5.

Recommended year of study

2nd or 3rd year

Study materials

1. Ebbinghaus, H.-D., Flum, J., , Thomas, W., Mathematical logic.
2. Salminen, H., Väänänen, J., Johdatus logiikkaan.

Belongs to following study modules