Opinto-opas

Objective

After completing this course the student will be familiar with the basic concepts and facts in logic, set theory, relations, graphs and combinatorics. The student will have a vision of possible applications. In order to model technological systems and structures the student is able to utilize discrete models.

Content

1) Logic, theory of sets, relations and functions.
2) Combinatorics.
3) Graphs.

Evaluation scale

0-5

Assessment criteria, satisfactory (1)

1) Logic, theory of sets, relations and functions
The student is familiar with the concepts, notation and principles associated with proposition and predicate logic, set theory, relations and functions. The student is able to solve simple problems.
2) Combinatorics
The student is familiar with combinatorial concepts, notation and principles. The student is able to solve simple problems.
3) Graphs
The student is familiar with graph theoretic concepts, notation and principles. The student is able to solve simple problems.

Assessment criteria, good (3)

1) Logic, theory of sets, relations and functions
The student has a good command of the concepts, notation and principles associated with proposition and predicate logic, set theory, relations and functions. The student is able to solve fundamental problems.
2) Combinatorics
The student has a good command of combinatorial concepts, notation and principles. The student is able to solve fundamental problems.
3) Graphs
The student has a good command of graph theoretic concepts, notation and principles. The student is able to solve fundamental problems.

Assessment criteria, excellent (5)

1) Logic, theory of sets, relations and functions
The student has a deep understanding of the concepts, notation and principles associated with proposition and predicate logic, set theory, relations and functions. The student is able to solve challenging problems.
2) Combinatorics
The student has a deep understanding of combinatorial concepts, notation and principles. The student is able to solve challenging problems.
3) Graphs
The student has a deep understanding of graph theoretic concepts, notation and principles. The student is able to solve challenging problems.

Assessment criteria, approved/failed

1) Logic, theory of sets, relations and functions
The student is familiar with the concepts, notation and principles associated with proposition and predicate logic, set theory, relations and functions. The student is able to solve simple problems.
2) Combinatorics
The student is familiar with combinatorial concepts, notation and principles. The student is able to solve simple problems.
3) Graphs
The student is familiar with graph theoretic concepts, notation and principles. The student is able to solve simple problems.

Further information

Computer exercises will be included.