Структурна теорія цифрових автоматів
Освітня програма: Програмна інженерія
Структурний підрозділ: Факультет комп'ютерних наук та кібернетики
Назва дисципліни
Структурна теорія цифрових автоматів
Код дисципліни
ННД.18
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Другий
Рік навчання
2022/2023
Семестр / Триместр
6 Семестр
Кількість кредитів ЕСТS
5
Результати навчання
ПРН-1. Знати, аналізувати, цілеспрямовано шукати і вибирати необхідні для вирішення професійних завдань інформаційно-довідникові ресурси і знання з урахуванням сучасних досягнень науки і техніки.
ПРН-5. Знати і застосовувати відповідні математичні поняття, методи доменного, системного і об’єктно-орієнтованого аналізів та математичного моделювання для розробки програмного забезпечення.
ПРН-13. Знати і застосовувати методи розробки алгоритмів, конструювання програмного забезпечення та структур даних і знань.
Форма навчання
Очна форма
Попередні умови та додаткові вимоги
1. Знати певні розділи дискретної математики (насамперед, теорію абстрактних автоматів, теорію булевих функцій, теорію графів, теорію алгебраїчних систем та інші), а також певні розділи програмування та комп’ютерної електроніки.
2. Вміти застосовувати апарат названих розділів дискретної математики, програмування та комп’ютерної електроніки для вирішення задач структурної теорії цифрових автоматів.
3. Володіти елементарними навичками роботи із системами автоматизації розробки і схемотехнічного моделювання цифрових електронних схем різного призначення (типу Electronics Workbench чи MultiSim), а також навичками алгоритмізації задач у різноманітних предметних областях.
Зміст навчальної дисципліни
Мета дисципліни – вивчення теоретичних основ і оволодіння навичками схемотехнічного проектування цифрових комп’ютерів (насамперед, процесорів) заданої архітектури, що реалізують задану систему команд у заданому структурному базисі, з оптимізацією по швидкодії, продуктивності, затратам обладнання. Крім цього, метою дисципліни є також демонстрація подібності моделей і методів проектування комп’ютерів (hardware) і програм (software).
Рекомендована та необхідна література
1. Глушков В.М Синтез цифровых автоматов. - М.: ФМЛ, 1962. - 238 с.
2. Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. - М.: Наука, 1988. – 295 с.
3. Самофалов К.Г., Корнейчук В.Н., Тарасенко В.П. Цифровые ЭВМ. - К.: Вища школа, 1989. – 423 с.
4. Самофалов К.Г., Корнейчук В.Н., Тарасенко В.П., Жабин В.Н. Цифровые ЭВМ. Практикум. - К.: Вища школа, 1990. - 215с.
5. Майоров С.А., Новиков Г.И. Принципы организации цифровых машин. - Л.: Машиностроение, 1974. – 432 с.
6. Баранов С.И. Синтез микропрограммных автоматов. - Л.: Энергия, 1979.-232с.
7. Жабін В.І., Жуков І.А., Клименко І.А. Стіренко С.Г. Арифметичні та управляючі пристрої цифрових ЕОМ. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3.
Заплановані освітні заходи та методи викладання
Лекції, лабораторні заняття, самостійна робота, контрольні роботи, захист лабораторних робіт, іспит.
Методи та критерії оцінювання
- семестрове оцінювання:
1. Контрольна робота 1: ПРН-1, ПРН-5, ПРН-13 - 10 балів / 10% / 3 бали.
2. Контрольна робота 2: ПРН-1, ПРН-5, ПРН-13 - 11 балів / 11% / 3 бали.
3. Лабораторні роботи №1-№4 - по 10 балів / 10% / 2 бали;
4. Лабораторні роботи №5-№7 - по 13 балів / 13% / 2 бали;
- підсумкове оцінювання (диференційований залік):
1. Максимальна кількість балів, яка може бути отримана студентом за диференційований залік за 100-бальною шкалою: 100 балів;
2. Мінімальний пороговий рівень позитивної диференційованої оцінки, за якої студент допускається до заліку (за 100-бальною шкалою): 20 балів.
3. Результати навчання, що оцінюються на заліку: ПР05, ПР06, ПР07.
Мова викладання
Українська
Викладачі
Ця дисципліна викладаеться наступними викладачами
Анатолій
Миколайович
Петрушенко
Інтелектуальних програмних систем
Факультет комп'ютерних наук та кібернетики
Факультет комп'ютерних наук та кібернетики
Кафедри
Наступні кафедри задіяні у викладанні наведеної дисципліни
Інтелектуальних програмних систем
Факультет комп'ютерних наук та кібернетики