Косовская Т.М. Машины Тьюринга

Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. основу пособия составляют конспекты лекций, которые читались студентам вторго курса отделения компьютерных наук Омского гос. универститета в 2002 г. Для студентов специальностей 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Содержание разделов: Логика. Классическая логика. Логика высказываний....

Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции. Частично–рекурсивные функции и тезис Черча. Рекурсивные и рекурсивно перечислимы...

2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn

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

Теория алгоритмов. Различные подходы к определению алгоритма. Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритм. Булевы функции. Основные определения. Дизъюнктивные нормальные формы. Логические Исчисления. Исчисления высказывания (ИВ). Правило одновременной подстановки. Критерий выводимости в ИВ. Непроти...

М.: Наука, 1981. - 207 с. Серия "Математическая логика и основания математики" В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. Фундаментальным теоретическим обобщением выработанных...

Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...

Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина используя три операции влево вправо и заменить символ выполняет всяческие операции по изменению строки или числовых данных. Для работы требуется NetFraimwork 2.0rn