logo
Item card
logo

Elements of logic and computer arithmetics

Some basic information about the module

Cycle of education: 2019/2020

The name of the faculty organization unit: The faculty Mathematics and Applied Physics

The name of the field of study: Engineering and data analysis

The area of study: sciences

The profile of studing:

The level of study: first degree study

Type of study: full time

discipline specialities :

The degree after graduating from university: engineer

The name of the module department : Department of Complex Systems

The code of the module: 12319

The module status: mandatory for teaching programme

The position in the studies teaching programme: sem: 2 / W15 C15 L15 / 4 ECTS / E

The language of the lecture: Polish

The name of the coordinator: Dominik Strzałka, DSc, PhD, Eng.

office hours of the coordinator: https://strzalka.v.prz.edu.pl/konsultacje

semester 2: Bartosz Kowal, MSc, Eng.

semester 2: Mateusz Salach, MSc, Eng.

semester 2: Alicja Gerka, MSc, Eng.

The aim of studying and bibliography

The main aim of study: The main aim of this module is a presentation of selected issues of digital technology with its practical application in the construction of conventional computer systems.

The general information about the module: During the classes students will have an opportunity to meet with digital technique

Bibliography required to complete the module
Bibliography used during lectures
1 W. Majewski Układy logiczne WNT, Warszawa. 1993.
2 J. Kalisz Podstawy elektroniki cyfrowej WNT, Warszawa. 1994.
3 J. Siwiński Układy przełączające w automatyce WNT, Warszawa. 1980.

Basic requirements in category knowledge/skills/social competences

Formal requirements: Student should know the basic issues of logic, theory of set, algebra of sets, Boolean algebra.

Basic requirements in category knowledge: Student should have knowledge of mathematics, used to formulate and solve simple engineering tasks related to information technology (also involving algebra).

Basic requirements in category skills: Student should be able to use mathematical knowledge to formulate and solve simple IT tasks based on analytical and experimental methods.

Basic requirements in category social competences: There aren't

Module outcomes

MEK The student who completed the module Types of classes / teaching methods leading to achieving a given outcome of teaching Methods of verifying every mentioned outcome of teaching Relationships with KEK Relationships with PRK
01 Shows the methods of representation, conversion and processing of information in computer systems lectures, laboratory, classes written egzam, entrance colloquium K_U07+
P6S_UW
02 Explains the principles of operation (on a logic level) of basic functional blocks in digital technique lecture, classes written egzam K_W05+
K_W06+
P6S_WG
03 Designs simple combinational and sequential circuits lecture, laboratory, classes written egzam, written report from the laboratory, observation of workmanship K_W08+
K_U07+
P6S_UW
P6S_WG
04 Builds and simulates simple combinational and sequential circuits lecture, laboratory written egzam, written report from the laboratory, observation of workmanship K_W08+
K_U07+
K_U09+
K_K02+
P6S_KK
P6S_KO
P6S_UW
P6S_WG

Attention: Depending on the epidemic situation, verification of the achieved learning outcomes specified in the study program, in particular credits and examinations at the end of specific classes, can be implemented remotely (real-time meetings).

The syllabus of the module

Sem. TK The content realized in MEK
2 TK01 Introduction W01, L01 MEK01
2 TK02 Number systems (positional and non-positional) and codes. Coding of information in computer systems. Fixed and floating point numbers (IEEE 754). W01, C01, L02 MEK01
2 TK03 Arithmetic in computer systems: addition and subtraction (positional systems, fixed and floating point), multiplication (Booth's algorithm) and division, other operations. W01, C02, L02 MEK01
2 TK04 Boolean algebra. Functions (forms of description) and logical functors (gateways). NAND and NOR systems. Minimization of logical functions (Karnaugh and Quine-McCluskey methods). Hazard in combinational circuits. W02, C02, L03 MEK02
2 TK05 Combinational circuits: adder, decoder, transcoder, comparator, parity system, multiplexer and demulitiplekser. Design and simulation of combinational circuits. W03, W04, C03, L04 MEK02 MEK03 MEK04
2 TK06 Sequential circuits. Moore and Mealy structures. Synthesis: description, state and output tables, minimizing the number of internal states, coding tables (races). Asynchronous and synchronous circuits. W04, W05, C05, L05 MEK02 MEK03 MEK04
2 TK07 Asynchronous flip-flops (SR) and synchronous (static and dynamic): JK, T, D. Implementation of sequential circuits based on flip-flops. W05, C05, L05 MEK02 MEK03 MEK04
2 TK08 Sequential circuits (synthesis): synchronous and asynchronous counters, registers, comparators, adders. W06, C06, L06 MEK03 MEK04
2 TK09 Arithmetic-logic unit. W07, C07, L06 MEK02 MEK03 MEK04

The student's effort

The type of classes The work before classes The participation in classes The work after classes
Lecture (sem. 2) The preparation for a test: 55.00 hours/sem.
contact hours: 15.00 hours/sem.
Class (sem. 2) contact hours: 15.00 hours/sem.
Laboratory (sem. 2) contact hours: 15.00 hours/sem.
Advice (sem. 2) The participation in Advice: 2.00 hours/sem.
Exam (sem. 2) The preparation for an Exam: 10.00 hours/sem.
The written exam: 2.00 hours/sem.

The way of giving the component module grades and the final grade

The type of classes The way of giving the final grade
Lecture Written egzam score
Class Attendance at classes is obligatory. In the case of absence: - provide a document justifying the absence (e.g. sick leave); - make up for absence during the classes of another group. Completion of classes will be based on the final test assuming the solution in writing 5-8 tasks related to computer arithmetic, methods of minimizing logical functions, designing combinational and sequential systems.
Laboratory The attendance in all lab classes is mandatory. In the case of absence student should: - provide a document justifying the absence; - write and pass an entrance test; - make yourself exercise, and give a report on its progress. Before beginning of any lab classes the student is required to pass entrance test. Laboratory classes are carried out by students themselves. Progress in the work are rated on a scale of 2 -5. After classes, students independently prepare a report and send it by e-mail in PDF format to the address of the teacher before the start of the subsequent classes. It is a condition of participation in next laboratory. Classes report may give grade 2 -5. In order to pass the laboratory student should: - be present on all classes; - pass all entrance tests; - deliver and pass all reports; - pass final colloqium. Final rating is an average based on the all obtained grades.
The final grade The final evaluation is given as arithmetic mean of the final exam result, evaluation of the laboratory and classes.

Sample problems

Required during the exam/when receiving the credit
(-)

Realized during classes/laboratories/projects
(-)

Others
(-)

Can a student use any teaching aids during the exam/when receiving the credit : no

The contents of the module are associated with the research profile: no