Logic (3 cr)

Evaluation scale

H-5

Objective

The student
- is able to change the pronunciation of the language into the formal language
- knows the rules of reasoning for classical theoretic logic and uses them to determine the truth values of sentences
- is able to make numerical system modifications and perform calculations in different reading systems
- knows the logic symbols of logical gates and uses them in the presentation of logic circuits
- knows the rules of Boolean algebra
- is able to simplify the combination circuits Boolean algebra and use the graphical simplification methods
- is able to use sentence logic in simplifying the spoken language

Content

- Classic classical logic
- Reading system changes
- Combination circuits and logic gates
- Boolean algebra
- Karnaugh mapping method
- Simplification of sentences
- Use of computer software for calculating the symbol

Location and time

Ensimmäisen opiskeluvuoden syksy (syksy 2021).

Materials

Opettajan jakama materiaali Moodlessa. Kaikki materiaali tulee Moodleen.

Teaching methods

• Lukujärjestelmämuunnoksia, laskutoimituksia eri lukujärjestelmissä, klassista lauselogiikkaa, Boolen algebraa, kombinaatiopiirien sieventämistä sekä loogisten porttien piirrossymbolit ja niiden käyttö logiikkapiirien esittämisessä.
• Luentoja, palautettavia harjoituksia sekä itsenäistä opiskelua.
• Opinto toteutetaan monimuotona, jolloin opetusta voi seurata joko etä- tai lähiopetuksessa.

Exam schedules

Loppukoe joulukuussa 2021 opettajan kanssa sovittavana aikana. Koe tehdään Moodlessa. Samalla sisällöllä kokeen voi uusia kaksi kertaa 15.5.2022 asti. Tätä opintoa ei voi suorittaa EXAMissa, joten uusintakokeesta sovitaan erikseen opettajan kanssa.

Student workload

• Luentoja ja harjoituksia 35 tuntia
• Itsenäistä opiskelua 47 tuntia
• Yhteensä 80 tuntia