Прийма С. М. Математичниа логіка і теорія алгоритмів : навч. посіб. / С. М. Прийма. - Мелітополь : Вид. б. ММД, 2008. - 134 c. - Бібліогр.: с. 130-132. - укp.Викладено основні розділи математичної логіки та теорії алгоритмів. Наведено інформацію про кванторні операції, рівносильні формули предикатів, властивості алгоритмів, примітивно-рекурсивні та частково-рекурсивні функції, фінітний комбінаторний процес Поста, абстрактну обчислювальну машину Тьюрінга, теорію нормальних алгоритмів Маркова. Описано методи розробки алгоритмів. Изложены основные разделы математической логики и теории алгоритмов. Приведена информация о кванторных операциях, равносильных формулах предикатов, свойствах алгоритмов, примитивно-рекурсивных и частично-рекурсивных функциях, финитном комбинаторном процессе Поста, абстрактной вычислительной машине Тьюринга, теории нормальных алгоритмов Маркова. Описаны методы разработки алгоритмов. Індекс рубрикатора НБУВ: В121я73 + В127.3я73
Шифр НБУВ: ВА700508 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|