(Росдистант) Математическая логика и теория алгоритмов. Практические задания 1-4, 6-8 (вариант 3) (можно скачать по отдельности)

ЗАДАНИЯ № 5, увы, нет...

ВНИМАНИЕ! Работы выполнены на отлично, НО! Не стоит переписывать их слово в слово! Ведь Вы не единственный скачавший их! Измените текстовые формулировки всего текста своими словами, измените расположение и написание формул, можете теории побольше добавить, чтобы работа Ваша отличалась от этой. ИНАЧЕ ПРЕПОДАВАТЕЛЬ РАБОТУ МОЖЕТ НЕ ПРИНЯТЬ...

Практическое задание № 1

Тема 1.1. Основные понятия алгебры высказываний

Составив таблицы истинности, выясните, равносильны ли следующие формулы алгебры высказываний:

ВАРИАНТ 3

Практическое задание № 2

Тема 1.2. Формулы алгебры высказываний

С помощью равносильных преобразований упростить формулу:

ВАРИАНТ 3

Практическое задание № 3

Тема 1. 3. Логическое следование

Доказать логическое следствие двумя различными способами.

ВАРИАНТ 3

Практическое задание № 4

Тема 1. 4. Равносильность формул

Используя СДН-форму, найдите наиболее простую формулу алгебры высказываний от четырех переменных, принимающую значение 1 на следующих наборах переменных и только на них:

ВАРИАНТ 3

Практическое задание № 6

Тема 2.4. Приведенные формулы и предварённые нормальные формы

Равносильными преобразованиями приведите формулу алгебры предикатов к предваренной (пренексной) нормальной форме:

ВАРИАНТ 3

Практическое задание № 7

Тема 3.1. Машина Тьюринга

Построить машину Тьюринга, применимую ко всем словам

ВАРИАНТ 3

Практическое задание № 8

Тема 3.3. Нормальный алгоритм Маркова

Построить нормальный алгоритм, применимый ко всем словам

ВАРИАНТ 3