Study Guide

Learning outcomes

Student is able to
- convert numbers from one number system to another
- perform basic arithmetic operations with binary numbers
- construct and simplify compound propositions

Implementation and methods of teaching

Virtual course. Target is to understand the role of binary coding and propositional logic in computing. This is achieved by learning to perform manually similar operations as the computer or computer program would do. Learning happens by solving given problems with given methods.

To help the learning process the course provides videos and other material that demonstrates the use of methods to be learned.

Timing and attendance

January- April 2024. No compulsory participation except from the two course exams. All learning can be done fully virtually and online. Exams on lecture slots on weeks 10 and 16.

Learning material and recommended literature

All material distributed in Moodle

Alternative completion methods

Showing skills and knowledge similar to the course contents in a verbal interview

Student time use and work load

4 - 8 hours weekly, during 5 - 6 weeks

Contents

Number systems, propositional logic

Additional information for students: previous knowledge etc.

No prerequisities

Assessment criteria

Exercises done in Moodle (50%) and two exams (50%). Exams done in class room, pen & paper.

Assessment scale

1-5

Assessment criteria: level 1 (assessment scale 1–5)

Student can convert numbers from one system to another
Student can generate a combined proposition

Assessment criteria: level 3 (assessment scale 1–5)

Student can
- convert numbers from one system to another
- calculate the sum and product of two binary numbers
- generate and simplify a combined proposition
- find the truth value of a proposition

Assessment criteria: level 5 (assessment scale 1–5)

Student can
- convert numbers from one system to another
- calculate the sum and product of two binary numbers
- code signed integers in binary system
- code floating point numbers in binary system
- generate and simplify a combined proposition
- find the truth value of a proposition