Skip to main content

Discrete Structures (5 cr)

Code: LTD7002-3003

General information


Enrollment

01.04.2021 - 30.09.2021

Timing

25.10.2021 - 09.12.2021

Number of ECTS credits allocated

5 op

Mode of delivery

Contact teaching

Campus

Wärtsilä Campus Karjalankatu 3

Teaching languages

  • Finnish

Seats

1 - 50

Degree programmes

  • Degree Programme in Business Information Technology

Teachers

  • Mikko Anttonen

Teacher in charge

Mikko Anttonen

Groups

  • LTDNS19I
    Information Technology (BBA), Full-time Studies, Fall, 2019, ICT
  • LTDNS20I
    Information Technology (BBA), Full-time Studies, Fall, 2020, ICT
  • DTNS21
    Information Technology (BBA), Full-time Studies, Fall, 2021

Objective

After the course, the student knows basics of logical deduction and can use logical deduction tools, such as truth tables and Karnaugh maps. Student knows basics of predicate logic, basic operations of set theory, relation and function, and knows their connections to the propositional logic. Student can use induction proof method, knows basics of combinatorics and graph theory.

Content

Propositional logic, predicate logic, set theory, relations, functions, induction proof, combinatorics, graph theory.

Evaluation scale

H-5