MATEA15B Logic 1B, 3 ECTS – Department of Mathematics and Statistics

Student's Guide | Curricula Guides | Teaching Schedules | Suomeksi

Curricula Guides 2010–2011

Archived Curricula Guide 2008–2010

Curricula Guide is archieved. Please refer to current Curricula Guides

▪ Curricula Guides » Faculty of Information Sciences 2008–2010 » Department of Mathematics and Statistics » Intermediate Studies in Mathematics

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.

Belongs to following study modules

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.

Propositional and predicate logic.

Teaching language

Finnish

Evaluation

Numeric 1-5.

Recommended year of study

1st or 2nd year autumn semester

Study materials

Merikoski, Virtanen, Koivisto, Johdatus diskreettiin matematiikkaan. WSOY Appropriate parts; Suppes, Introduction to Logic; Rantala, Virtanen, Logiikan peruskurssi. http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf.