x !
Archived Curricula Guide 2010–2011
Curricula Guide is archieved. Please refer to current Curricula Guides
MATEA15B Logic 1B 3 ECTS
Organised by
Mathematics
Preceding studies
P1 Discrete Mathematics 1 of the old degree requirements or Logic 1A and P0 Discrete Mathematics of the current requirements.
Corresponding course units in the curriculum
Department of Mathematics and Statistics
Curricula 2008 – 2010
MATEA15B Logic 1B 3 ECTS

Learning outcomes

The aim of this course together with the courses Logic 1A and P0 Discrete Mathematics (which together are equivalent to the course P1 Discrete Mathematics 1 of the old degree requirements) is to give students the necessary knowledge to be able to take the courses on logic in the intermediate studies of mathematics.

Contents

Propositional and predicate logic.

Teaching language

Finnish

Modes of study

Evaluation

Numeric 1-5.

Recommended year of study

1st or 2nd year autumn semester

Study materials

  1. Merikoski, J., Virtanen, A., Koivisto, P., Johdatus diskreettiin matematiikkaan. WSOY 2004. Appropriate parts.
  2. Rantala, V., Virtanen, A., Logiikan peruskurssi. http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf.
  3. Suppes, P., Introduction to logic.

Belongs to following study modules

Department of Mathematics and Statistics
Basic Studies in Mathematics (Mathematics)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Period I Period II Period III Period IV
MATEA15B Logiikka 1B
Department of Mathematics and Statistics