Математическая логика и теория алгоритмов | Контрольная | 20 вариант | СибГУТИ

Цена:
100 руб.

Состав работы

material.view.file_icon 456A36A7-2CD0-4F3F-AEC0-05FF54C0F604.rar [ 59 KB ]
material.view.file_icon KR.doc [ 197 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
. Проверка выводимости методом Куайна
По теореме дедукции, перенесём посылку в правую часть и проверим выводимость формулы (Av(B&C))->((AvB)&(AvC)).
Подставляя A=0, получаем
(0v(B&C))->((0vB)&(0vC))=(B&C)->(B&C)=1

Дополнительная информация

Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 07.09.2010

Другие работы

Гидравлика Пермская ГСХА Задача 88 Вариант 1
Определить ударное давление в трубопроводе с размерами: диаметр d, толщина стенок δ и длина l в случае мгновенного закрытии затвора, расположенного в конце трубопровода. Начальная скорость движения жидкости υ0, начальное давление р0. В течение какого времени tзакр следует закрыть затвор, чтобы повышение давления при ударе не превышало р1.
Задачи Гидравлика
User Z24 : 6 ноября 2025
150 руб.
Гидравлика Пермская ГСХА Задача 88 Вариант 1
Отчет по практике
Внимание! К сожалению не хватает чертежей, но пояснительная записка вся.
Отчеты по производственной практике ВТУЗ (СПБГПУ) Работа Зачетная
User Администратор : 28 марта 2006
Отчет по практике
Направляющие системы связи. Контрольная работа. Вариант №13.
Контрольная работа по дисциплине Направляющие системы связи Вариант 13. Курск-Брянск. Введение Современные оптические кабели связи (ОК) практически вытесняют традиционные медно-жильные кабели связи на всех участках Взаимоувязанной сети связи России. Так, строительство новых линий передачи на первичной и внутризоновых сетях связи ведется преимущественно с использованием ОК. ОК широко используются на соединительных линиях местной сети, при сооружении структурированных кабельных систем, в систем
Направляющие системы электросвязи ДО СИБГУТИ Работа Контрольная
User Mental03 : 15 октября 2016
Термодинамика и теплопередача МИИТ 2013 Задача 21 Вариант 2
В цилиндры двигателя внутреннего сгорания всасывается 200 кг атмосферного воздуха в час при давлении В=745 мм рт. ст., температуре t и относительной влажности φ. Какое количество воды всасывается двигателем в час.
Задачи Теплотехника
User Z24 : 29 декабря 2026
150 руб.
Термодинамика и теплопередача МИИТ 2013 Задача 21 Вариант 2
up Наверх