Data on the course

Show instruction and examinations
811120P Discrete Structures, 5 ECTS cr 
Code 811120P  Validity 01.08.2010 -
Name Discrete Structures  Abbreviation Discrete Struct 
Scope5 ECTS cr   
TypeBasic Studies Discipline3259 Information Processing Science 
TypeCourse   
  Grading1 - 5, pass, fail 
 
   
Unit Information Processing Science DP 

Teachers
Name
Ari Vesanen 

Description
ECTS Credits 

 5 ECTS credits/134 hours of work

 
Language of instruction 

finnish

 
Timing 

1st year, period 1

 
Learning outcomes 

The student is able to interpret simple mathematical notation and write it by himself/herself. He/she can define the most important concepts that appear in the basic theoretical structures (see Contents) accurately and describe the idea of the definitions. The student also masters the most essential results and (algorithmic) methods of the basic structures and is capable of applying them in easy examples. He/she is able to evaluate certain kinds of simple practical problems in computer science, to choose appropriate theoretical methods to solve the problems, and finally to apply the chosen methods.

 
Contents 

1.    The concept of algorithm;
2.    Number systems and the conversion of bases;
3.    Logic (proposition calculus, predicate calculus basics);
4.    Set theory, relations and functions (finiteness/infinity, induction);
5.    Basic number theory (divisibility and the respective algorithms);
6.    Combinatory (principles of counting);
7.    Graph theory.

 
Mode of delivery 

Face-to-face teaching

 
Learning activities and teaching methods 

Lectures 40h, exercises 30h, autonomous work about 64h.

 
Prerequisites and co-requisites 

Mastering basic mathematical knowledge as is presented in the high school short mathematics syllabus.

 
Recommended or required reading 

Lecture slides (about 250 slides), lecture notes (about 100 pages), textbook: Peter Grossman, Discrete Mathematics for Computing, Second Revised Edition, Palgrave Macmillan, 2002. ISBN: 978-0333981115.

 
Assessment methods and criteria 

Assessment methods and criteria: Lectures by final exam; mandatory exercises by self-contained work.

 
Grading 

1-5

 
Person responsible 

Juha Kortelainen

 
Working life cooperation 

No

 


Current and future instruction
No instruction in WebOodi

Future examinations
No examinations in WebOodi