Предметом дистанційного курсу «Комп'ютерна логіка» є основи комп`ютерної арифметики, алгебра булевих функцій та автомати з пам’яттю на абстрактному та структурному рівнях і взагалі теоретичні основи побудови цифрових схем. Дистанційний курс пропонується для бакалаврів технічних ВНЗ, які вчаться за освітньою програмою підготовки студентів галузі знань 12 – «Інформаційні технології» спеціальності 123 «Комп’ютерна інженерія» заочної форми навчання. Терміни проведення курсу 16 тижнів. Курс включає 9 кредитів (270 год.), з яких аудиторне навантаження складає 28 год., самостійна робота – 242 год. Результати навчання: • На підставі опрацювання інформаційних ресурсів ви зможете формулювати практичні задачі комп'ютерної логіки в термінах алгебри перемикальних функцій, абстрактної та структурної теорії цифрових автоматів. Розробляти на функціональному рівні операційні автомати, що реалізують задані алгоритми перетворення даних, виконувати порівняльний аналіз різних технічних рішень. • Виконавши заданий перелік лабораторних робіт, ви навчитися подавати перемикальні функції у канонічних формах різних алгебр, переходити від однієї форми в інші, проводити мінімізацію перемикальних функцій формалізованими та неформалізованими методами, виконувати абстрактний та структурний синтез автоматів з використанням теорії часових функцій та композиції елементарних автоматів, подавати числа у різних системах числення та застосовувати способи перетворення чисел із однієї системи числення в другу, розробляти алгоритми виконання основних арифметичних та алгебраїчних операцій з числами комою. • У процесі виконання курсової роботи ви навчитися самостійно вирішувати професійні завдання, користуватися довідковою літературою і опрацюєте процес створення проектно-конструкторської документації відповідно до діючих стандартів.