Skip to main content

LogicLaajuus (3 cr)

Code: LTD6033

Credits

3 op

Teaching language

  • Finnish

Responsible person

  • Lisbeth Smolander

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