Математическая логика и теория алгоритмов: методические указания к контрольной работе № 4415

Математическая логика и теория алгоритмов

Аннотация

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

Предназначены для студентов очной и заочной форм обучения специальностей 230501 «Вычислительные машины, комплексы, системы и сети», 230504 «Системы автоматизированного проектирования», 230505 «Программное обеспечение вычислительной техники и автоматизированных систем» направлений 080800 «Прикладная информатика» и 231000 «Программная инженерия» по курсу «Математическая логика и теория алгоритмов».

Библиографическая ссылка

Математическая логика и теория алгоритмов: методические указания к контрольной работе / Рязан. гос. радиотехн. ун-т; сост. А.В. Пруцков. — Рязань, 2011. — 28 с. — № 4415.

Скачать

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

Смотрите также

Пруцков А.В., Волкова Л.Л. Математическая логика и теория алгоритмов: учебник. — М.: КУРС: ИНФРА-М, 2016. — 156 с.

Copyright © MMXII-MMXVII А.В. Пруцков. Все права защищены