КОМП’ЮТЕРНА ЛОГІКА І ТЕОРІЯ ЦИФРОВИХ АВТОМАТІВ
Мета курсу: теоретична підготовка спеціалістів спеціальності «Комп’ютерна інженерія», що включає в себе вивчення студентами арифметичних, логічних і схемотехнічних основ побудови цифрових пристроїв обробки інформації та принципів їх аналізу і синтезу, а також практичних навичок з розробки, створення і використання цифрових автоматів різного призначення та їх окремих вузлів. Студенти повинні отримати знання про основні принципи та методи побудови цифрових автоматів різного призначення залежно від типу поставлених завдань опрацювання вхідної та вихідної інформації.
У результаті вивчення курсу студент повинен знати: методи задання практичних задач комп’ютерної логіки в термінах алгебри перемикальних функцій, абстрактної та структурної теорії цифрових автоматів, подання перемикальних функцій у канонічних формах різних алгебр, способи переходу від однієї форми в інші, способи мiнiмiзацiї перемикальних функцій та систем функцій формалізованими та неформалізованими методами, операторні форми перемикальних функцій для різних елементних базисів. методи розробки комбінаційних схем та оцінювання їх параметрів, алгоритми функціонування автоматів з пам’яттю, їх формалізований опис із застосуванням різних мов, абстрактний та структурний синтез автоматів з використанням теорії часових функцій та композиції елементарних автоматів функції поведінки автоматів і способи уникнення збоїв в їх роботі, синтез та аналіз типових вузлів, що застосовуються у комп’ютерах, способи побудови цифрових схем ВІС, що програмуються.
На основі набутих знань студент повинен вміти: формулювати практичні задачі комп’ютерної логіки в термінах алгебри перемикальних функцій, абстрактної та структурної теорії цифрових автоматів, подавати перемикальні функції у канонічних формах різних алгебр, переходити від однієї форми в інші, проводити мiнiмiзацiю перемикальних функцій та систем функцій формалізованими та неформалізованими методами, отримувати операторні форми перемикальних функцій для різних елементних базисів. Розробляти комбінаційні схеми, оцінювати їх параметри, розробляти алгоритми функціонування автоматів з пам’яттю, робити їх формалізований опис із застосуванням різних мов, виконувати абстрактний та структурний синтез автоматів з використанням теорії часових функцій та композиції елементарних автоматів, аналізувати функції поведінки автоматів і застосовувати способи уникнення збоїв в їх роботі, виконувати синтез та аналіз типових вузлів, що застосовуються у комп’ютерах, використовувати для побудови цифрових схем ВІС, що програмуються.