Спекторський, Ігор ЯковичСтусь, Олександр ВікторовичСтаткевич, Віталій Михайлович2022-11-072022-11-072022-09Математична логіка і теорія алгоритмів. Збірник типових завдань до розрахункової роботи [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра спеціальності 122 «Комп’ютерні науки» / КПІ ім. Ігоря Сікорського ; уклад.: Спекторський І., Стусь О., Статкевич В. – Електронні текстові дані (1 файл: 232,1 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 39 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/50869ukмашина Тьюрінгаскінченний автоматбулева алгебрабулева функціяTuring machinefinite automataboolean algebraboolean functionМатематична логіка і теорія алгоритмів. Збірник типових завдань до розрахункової роботиMethodical Material39 с.