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