Математическая
логика и теория алгоритмов: Методические указания/ Рязан. гос. радиотехн.
акад.; Сост. И.Ю. , В.В. ; Под ред. И.Ю. а. Рязань, 2003.
32 с.
Рассматриваются
теоретические основы формальных грамматик и логики в части исчисления
высказываний, а также теория частично рекурсивных функций и машины Тьюринга.
Содержат
материал, необходимый для проведения практических занятий, варианты и примеры
выполнения заданий.
Предназначены
для студентов заочной формы обучения специальности 220400 “Программное
обеспечение вычислительной техники и автоматизированных систем” по курсу
“Математическая логика и теория алгоритмов”, а также для студентов вечернего
факультета.
Библиогр.:
5 назв.
Формальные
грамматики, исчисление высказываний, теория алгоритмов
