| engineerklub | Дата: Понедельник, 07.07.2025, 12:54 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 34258
Статус: Offline
| Математическая логика и теория алгоритмов. Вариант 2
Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: ДО СИБГУТИ
Описание:
Вариант 2
Задание №1. Логика высказываний
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Тело, лишённое опоры, падает на землю.
Задание №2. Логика предикатов
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Некоторые абитуриенты поступили в институт.
Задание №3. Формальные аксиоматические теории (исчисления)
Установить правильность рассуждения, построив вывод исчисления высказываний.
Если нет понятых, то обыск производить нельзя. Обыск можно производить. Следовательно, есть понятые.
Задание №4. Нечёткая логика
Определить степень равносильности формул A и B при условии, что X и Y принимают значения степеней истинности из множества {0,2;0,3}.
A=YvX; B=-|Y
Задание №5. Алгоритмы
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
Pвх=101; Pвых=1010
СКАЧАТЬ
|
| |
| |
