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