Math4 Discrete Mathematics (3 cr)

Evaluation scale

0-5

Objective

In the Discrete Mathematics course you learn basics in mathematics and how they can be applied specifically in the field of ICT. In particular, you learn to think logically and mathematically. You learn to use mathematical language, algorithmic thinking and several ways to solve mathematical problems.

You are able to calculate basics of enumerating and apply the enumerating techniques to simple practical problems. You know basic terms and markings related to divisibility and graphs. You are able to use computer to assist you with your work. You are able to formulate simple problems of discrete mathematics in mathematical language and solve them. You understand the basics of logic and set theory. You know applications of discrete mathematics in the fields of computer science and data networks.

EUR-ACE Knowledge and Understanding
Knowledge and understanding of natural scientific and mathematical principles in ICT
Knowledge and understanding of one's own specialization field in engineering sciences at a level that enables achieving the other program outcomes including an understanding of requirements in your own field.

Content

In this course, you will learn the basics of discrete mathematics and how to apply them, especially in the field of computer science. You will develop your logical and mathematical thinking and learn mathematical language and algorithmic reasoning. You will be able to solve mathematical problems in different ways and apply computational techniques to practical problems. You will also understand the basics of logic and set theory and be familiar with the applications of discrete mathematics in computer science and information networks.

graph theory
combinatorics
congruences
functions and relations
set theory and logic
mathematical software

Location and time

Weeks 35 - 50, Dynamo, Lutakko

Materials

Hammack: Book of Proof (concentrating in chapter 3 - counting)
https://www.people.vcu.edu/~rhammack/BookOfProof/Main.pdf

Teaching methods

Contact teaching 2 hours / week
Weekly exercises
Two midterms

Exam schedules

Tentit Exam studiossa

Student workload

Teaching & midterms about 30h
Exercise work about 51h

Assessment criteria, satisfactory (1)

Sufficient (1)
You know the most important concepts. You are able to manually solve with a model basic tasks related to combinatorics, divisibility and logic as well as simple problems of discrete mathematics with a computer. You understand the basics of logic and set theory.

Satisfactory (2)
You understand the most important concepts. You are able to solve typical problems both manually and using a computer. You understand basic principles of logic and set theory. You are still somewhat hesitant in your problem solving and in your use of notations.

Assessment criteria, good (3)

Good (3)
You know and understand most concepts. You express yourself in the language of mathematics in rudimentary manner. You apply problem solving techniques and software to simple problems. You know the markings of logic and set theory and understand their basic principles.

Very good (4)
You have a clear overall picture of the most central topics of the course. You express yourself clearly in the language of mathematics. You are able to apply problem solving techniques and software to typical problems.

Assessment criteria, excellent (5)

Excellent (5)
You have a clear overview picture of the topics of the entire course. You express yourself in mathematical language clearly and fluently. You apply problem solving techniques and software to problems you encounter independently and effortlessly.

Qualifications

Basics of programming
Math1 Equations
Math2 Functions
Math3 Derivative and Integral

Further information

The grade 0-5 is determined from the number of exercises done, along with the points from the midterms. The details are negotiated during the first week on the course.