Контрольная работа по предмету «Математическая логика и теория алгоритмов». Вариант №05.

КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ No1.
Вариант 5. Этот актер играет в театре и не играет в кино


ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 5. Некоторые зрители не любят некоторых артистов


ЗАДАНИЕ No3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ).
Установить правильность рассуждения, построив вывод исчисления высказываний.
Вариант 5. Если спутник Земли пролетает над Южным полюсом, то он пролетает над Антарктидой. Этот спутник не пролетает над Антарктидой. Следовательно, он не пролетает над Южным полюсом.


ЗАДАНИЕ No4: НЕЧЕТКАЯ ЛОГИКА.
Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2;0,3}.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ No4.
No
5 




ЗАДАНИЕ No5: АЛГОРИТМЫ.
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ No5.
No Pвх Pвых
5 110 1100