Математична логіка і теорія алгоритмів

Радченко, Сергій Петрович (2014) Математична логіка і теорія алгоритмів [Навчально-методичні матеріали]

[thumbnail of S_Radchenko_RP_MLTOI_IS.pdf]
Перегляд
Текст
S_Radchenko_RP_MLTOI_IS.pdf

Download (778kB) | Перегляд

Анотація

Мета дисципліни — ознайомити студентів з базовими поняттями математичної логіки й теорії алгоритмів.

Тип елементу : Навчально-методичні матеріали
Ключові слова: алгоритм; машина Тьюрінга; поліном; досконалі нормальні форми
Типологія: Це архівна тематика Київського університету імені Бориса Грінченка > Нормативні документи > Робочі програми навчальних дисциплін
Підрозділи: Це архівні підрозділи Київського університету імені Бориса Грінченка > Кафедра інформаційних технологій і математичних дисциплін
Користувач, що депонує: Милана Пітайчук
Дата внесення: 28 Бер 2015 08:52
Останні зміни: 21 Квіт 2015 10:41
URI: https://elibrary.kubg.edu.ua/id/eprint/8712

Actions (login required)

Перегляд елементу Перегляд елементу