У зібранні розміщено підручники, навчальні посібники, практикуми, матеріали до курсів лекцій, програми дисциплін, авторами або укладачами яких є науково-педагогічні працівники кафедри.
Переглянути
Перегляд Навчально-методичні матеріали (СП) за Ключові слова "004.2:004.415.2](07)"
(КПІ ім.Ігоря Сікорського, 2023) Артюхов, Віталій Григорович; Бритов, Олексій Анатолійович; Гіоргізова-Гай, Вікторія Шалвівна; Кирюша, Богдан Анатолійович
Посібник містить методичні рекомендації до виконання індивідуальних завдань студентів, що полягають у проєктуванні керуючого автомата для виконання обчислювальних операцій з використанням моделей на мові VHDL. Автори ставили задачу викласти матеріал максимально наочно на прикладі проєктування цифрового пристрою у вигляді скінченного цифрового автомату. Розглянуто маршрут низхідного проєктування цифрового пристрою від абстрактного представлення до принципової схеми із застосуванням методів формального синтезу та верифікації проєкту після кожного етапу синтезу на математичних моделях відповідного ієрархічного рівня.
Посібник призначений для здобувачів ступеня бакалавра за спеціальністю 122 «Комп’ютерні науки», а також буде корисним для інших спеціальностей, пов’язаних з проєктуванням цифрової апаратури.