Викладено основні розділи математичної логіки та теорії алгоритмів. Наведено інформацію про кванторні операції, рівносильні формули предикатів, властивості алгоритмів, примітивно-рекурсивні та частково-рекурсивні функції, фінітний комбінаторний процес Поста, абстрактну обчислювальну машину Тьюрінга, теорію нормальних алгоритмів Маркова. Описано методи розробки алгоритмів.

Изложены основные разделы математической логики и теории алгоритмов. Приведена информация о кванторных операциях, равносильных формулах предикатов, свойствах алгоритмов, примитивно-рекурсивных и частично-рекурсивных функциях, финитном комбинаторном процессе Поста, абстрактной вычислительной машине Тьюринга, теории нормальных алгоритмов Маркова. Описаны методы разработки алгоритмов.

• Прийма Сергій Миколайович (педагогічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"