x !
Archived Curricula Guide 2010–2011
Curricula Guide is archieved. Please refer to current Curricula Guides
MATEA16 Logic 2 4–8 ECTS
Organised by
Mathematics
Corresponding course units in the curriculum
Department of Mathematics and Statistics
Curricula 2008 – 2010
MATEA16 Logic 2 4–8 ECTS

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

Modes of study

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

Department of Mathematics and Statistics
Intermediate Studies in Mathematics (Mathematics)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Mathematics and Statistics