|
1 |
Title |
Application of automata theory |
|
2 |
Course |
4th course, qualification: mathematics, research and development |
|
3 |
Semester |
7 |
|
4 |
Credits |
3 |
|
5 |
Name and Surname of the lecturer |
PhD, associate professor Suprun Valery Pavlovich
|
|
6 |
Main goals |
Introduction into automata theory and typical tasks. Evolution of mathematical skills of thinking implementing for typical tasks of logic design.
Mandatory skills for graduate students: – formulize main definitions of automata theory; – implement definitions and propositions for typical tasks of logic design in electronics; – implementation of automata theory into preparing bachelor thesis. |
|
7 |
Knowledge |
Main points of combinatory, mathematical logic, and theory of Boolean functions. |
|
8 |
Сontent |
Definitions and techniques of Mealy and Moore abstract machine. Minimization and design of abstract machine. Structural machines. Canonical approach of design of structural machines. Matrix design of Mealy and Moore abstract machine. |
|
9 |
Literature |
1. Glushkov V.M. Sinthesis of digital machines. M..: Fizmatlit, 1962. 2. Pospelov D.A. Logical methods of analisis and logic circuits. M.: Energia, 1974. 3. Zakrevski A.D. Sinthesis of discrete machines. M.: Nauka, 1971. 4. Suprun V.P. OSnovi matematicheskoi logiki. M.: Lenand / URSS, 2017. |
|
10 |
Form of lectures |
Dialogic, demonstration, heuristic, problematic, researching |
|
11 |
Language |
Russian |
|
12 |
Testing forms |
Theoretical and writing tests |
|
13 |
Form of exam |
Exam (current rating value 0.3), exam value – 0.7 |