Structural theory of digital automata

Course: Software Engineering

Structural unit: Faculty of Computer Science and Cybernetics

Title
Structural theory of digital automata
Code
ННД.18
Module type
Вибіркова дисципліна для ОП
Educational cycle
Second
Year of study when the component is delivered
2022/2023
Semester/trimester when the component is delivered
6 Semester
Number of ECTS credits allocated
5
Learning outcomes
PLO-1. Know, analyze, purposefully search for and select the necessary information and reference resources and knowledge to solve professional problems, taking into account modern advances in science and technology. PLO-5. Know and apply relevant mathematical concepts, methods of domain, system and object-oriented analysis and mathematical modeling for software development. PLO-13. Know and apply methods of algorithm development, software design and data and knowledge structures.
Form of study
Full-time form
Prerequisites and co-requisites
1. To know certain sections of discrete mathematics (first of all, the theory of abstract automata, the theory of Boolean functions, the theory of graphs, the theory of algebraic systems, etc.), as well as certain sections of programming and computer electronics. 2. Be able to use the apparatus of these sections of discrete mathematics, programming and computer electronics to solve problems of structural theory of digital automata. 3. To have basic skills of work with systems of automation of development and circuit modeling of digital electronic circuits for various purposes (such as Electronics Workbench or MultiSim), as well as skills of algorithmization of tasks in various subject areas.
Course content
The purpose of the discipline is to study the theoretical foundations and master the skills of circuit design of digital computers (primarily processors) of a given architecture, implementing a given system of commands in a given structural basis, optimized for speed, performance, equipment costs. In addition, the discipline aims to demonstrate the similarity of models and methods of designing computers (hardware) and programs (software).
Recommended or required reading and other learning resources/tools
1. Glushkov V.M. Synthesis of digital automata. - M.: FML, 1962. - 238 p. 2. Kapitonova Yu.V., Letichevsky A.A. Mathematical theory of computer systems design. - M.: Nauka, 1988. - 295 p. 3. Samofalov K.G., Korneichuk V.N., Tarasenko V.P. Digital computers. - K .: Vishcha school, 1989. - 423 p. 4. Samofalov K.G., Korneichuk V.N., Tarasenko V.P., Zhabin V.N. Digital computers. Workshop. - K .: Vishcha school, 1990. - 215 р. 5. Maiorov S.A., Novikov G.I. Principles of organization of digital machines. - L.: Mashinostroenie, 1974. - 432 p. 6. Baranov S.I. Synthesis of microprogram automata. - L.: Energy, 1979.-232p. 7. Zhabin V.I., Zhukov I.A., Klimenko I.A., Stirenko S.G. Arithmetic and control devices of digital computers. - К .: VЕК +, 2008. - 176 с. - ISBN 966-7140-11-3.
Planned learning activities and teaching methods
Lectures, laboratory classes, independent work, tests, defense of laboratory work, exam.
Assessment methods and criteria
- semester assessment: 1. Test 1: PLO-1, PLO-5, PLO-13 - 10 points / 10% / 3 points. 2. Test work 2: PLO-1, PLO-5, PLO-13 - 11 points / 11% / 3 points. 3. Laboratory works №1-№4 - 10 points / 10% / 2 points; 4. Laboratory works №5-№7 - 13 points / 13% / 2 points; - final assessment (differentiated test): 1. The maximum number of points that can be obtained by a student for a differentiated test on a 100-point scale: 100 points; 2. Minimum threshold level of positive differentiated assessment, according to which the student is admitted to the test (on a 100-point scale): 20 points. 3. Learning outcomes assessed on the test: PL05, PL06, PL07.
Language of instruction
Ukrainian

Lecturers

This discipline is taught by the following teachers

Anatolii M. Petrushenko
Department of Intelligent Software Systems
Faculty of Computer Science and Cybernetics

Departments

The following departments are involved in teaching the above discipline

Department of Intelligent Software Systems
Faculty of Computer Science and Cybernetics