| engineerklub | Дата: Четверг, Вчера, 07:45 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 29385
Статус: Offline
| Математическая логика и теория алгоритмов. Вариант №05
Тип работы: Работа Контрольная
Сдано в учебном заведении: ДО СИБГУТИ
Описание:
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ №1.
Вариант 5. Этот актер играет в театре и не играет в кино
ЗАДАНИЕ №2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 5. Некоторые зрители не любят некоторых артистов
ЗАДАНИЕ №3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ).
Установить правильность рассуждения, построив вывод исчисления высказываний.
Вариант 5. Если спутник Земли пролетает над Южным полюсом, то он пролетает над Антарктидой. Этот спутник не пролетает над Антарктидой. Следовательно, он не пролетает над Южным полюсом.
ЗАДАНИЕ №4: НЕЧЕТКАЯ ЛОГИКА.
Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2;0,3}.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ №4.
№
5
ЗАДАНИЕ №5: АЛГОРИТМЫ.
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
ВАРИАНТЫ ИНДИВИДУАЛЬНЫХ ЗАДАНИЙ №5.
№ Pвх Pвых
5 110 1100
СКАЧАТЬ
|
| |
| |
