МАТЕМАТИЧЕСКАЯ ЛОГИКА
И ТЕОРИЯ АЛГОРИТМОВ
Методические указания
Рязань 2003
УДК 519.682.2
Математическая логика и теория алгоритмов: Методические указания/ Рязан. гос. радиотехн. акад.; Сост. И.Ю. , В.В. ; Под ред. И.Ю. а. Рязань, 2003. 32 с.
Рассматриваются теоретические основы формальных грамматик и логики в части исчисления высказываний, а также теория частично рекурсивных функций и машины Тьюринга.
Содержат материал, необходимый для проведения практических занятий, варианты и примеры выполнения заданий.
Предназначены для студентов заочной формы обучения специальности 220400 “Программное обеспечение вычислительной техники и автоматизированных систем” по курсу “Математическая логика и теория алгоритмов”, а также для студентов вечернего факультета.
Библиогр.: 5 назв.
Формальные грамматики, исчисление высказываний, теория алгоритмов
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.
