Радченко, Сергій Петрович (2014) Математична логіка і теорія алгоритмів [Навчально-методичні матеріали]
Перегляд |
Текст
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)
 |
Перегляд елементу |