x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
MATEA15A Logic 1A 3 ECTS
Organised by
Mathematics
Person in charge
Professor of Mathematics

Learning outcomes

To familiarise students with the basic concepts of logic.

Contents

Basic concepts of propositional logic and predicate logic, induction, recursion.

Teaching methods

Teaching method Contact Online
Lectures 18 h 0 h
Exercises 8 h 0 h

Teaching language

Finnish

Modes of study

Evaluation

Numeric 1-5.

Recommended year of study

1. year autumn

Study materials

  1. Merikoski, J., Virtanen, A., Koivisto, P., Johdatus diskreettiin matematiikkaan. WSOY 2004. Chapter 1.
  2. Rosen, K., Discrete mathematics and its applications.

Belongs to following study modules

School of Information Sciences
Basic Studies in Mathematics (Mathematics)
School of Information Sciences
Basic and Intermediate Studies in Didactic Mathematics (Mathematics)
School of Information Sciences
Pakolliset opintojaksot
2011–2012
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Period I Period II Period III Period IV
MATEA15A Logiikka 1A
School of Information Sciences