Упражнения по математической логике и теории алгоритмов

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

РЯЗАНСКАЯ ГОСУДАРСТВЕННАЯ РАДИОТЕХНИЧЕСКАЯ АКАДЕМИЯ

УПРАЖНЕНИЯ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ

Методические указания к практическим занятиям

"t$a [M(0,t,a) ® N(t,q)]

Рязань 2005

УДК 510.6

Упражнения по математической логике и теории алгоритмов: Методические указания к практическим занятиям / Рязан. гос. радиотехн. акад.; Сост. А.В. Пруцков. Рязань, 2005. 20 с.

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

Предназначены для студентов очной и заочной форм обучения специальностей 220100 «Вычислительные машины, комплексы, системы и сети», 220300 «Системы автоматизированного проектирования» и 220400 «Программное обеспечение вычислительной техники и автоматизированных систем» по курсу «Математическая логика и теория алгоритмов».

Библиогр.: 8 назв.

Высказывания, предикаты, кванторы, рекурсивные функции, машина Тьюринга

Печатается по решению методического совета Рязанской государственной радиотехнической академии.

Рецензент: кафедра вычислительной и прикладной математики Рязанской государственной радиотехнической академии
(зав. кафедрой, д-р техн. наук, проф. А.Н. Пылькин)