Математична логіка і теорія алгоритмів. Збірник типових завдань до розрахункової роботи

Скорочена інформація про документ
dc.contributor.authorСпекторський, Ігор Якович
dc.contributor.authorСтусь, Олександр Вікторович
dc.contributor.authorСтаткевич, Віталій Михайлович
dc.date.accessioned2022-11-07T08:30:14Z
dc.date.available2022-11-07T08:30:14Z
dc.date.issued2022-09
dc.description.abstractukПосібник містить задачі по розділах «Автоматичне доведення теорем», «Машини Тьюрінга», «Формальні мови і автомати», «Булеві алгебри і булеві функції». Для кожної типової задачі посібник пропонує по 30 варіантів завдань. Кожний розділ містить методичні вказівки із прикладами розв’язання. Даний посібник призначений для здобувачів ступеня бакалавра спеціальності 122 «Комп’ютерні науки» і може бути корисним для студентів математичних і технічних факультетів та інститутів у вищих навчальних закладах.uk
dc.format.page39 с.uk
dc.identifier.citationМатематична логіка і теорія алгоритмів. Збірник типових завдань до розрахункової роботи [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра спеціальності 122 «Комп’ютерні науки» / КПІ ім. Ігоря Сікорського ; уклад.: Спекторський І., Стусь О., Статкевич В. – Електронні текстові дані (1 файл: 232,1 Кбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 39 с. – Назва з екрана.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/50869
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectмашина Тьюрінгаuk
dc.subjectскінченний автоматuk
dc.subjectбулева алгебраuk
dc.subjectбулева функціяuk
dc.subjectTuring machineuk
dc.subjectfinite automatauk
dc.subjectboolean algebrauk
dc.subjectboolean functionuk
dc.titleМатематична логіка і теорія алгоритмів. Збірник типових завдань до розрахункової роботиuk
dc.typeMethodical Materialuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
rasch_ML.pdf
Розмір:
232.1 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (ММСА)