|
1 |
Title |
Automata theory |
|
2 |
Course |
3 course, qualification: mathematics, research and development |
|
3 |
Semester |
6 |
|
4 |
Credits |
1 |
|
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 |
Logic design, EDA definition, logic synthesis tasks, logic design techniques; design of decoders, multiplexors, summators, coders, modular arithmetic schemas. Design of circuits with 155 series library. Program-logic arrays (PLA), design AND-XOR on PLA. |
|
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 |