Математическая логика и теория алгоритмов | Контрольная | 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

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

Расчетная часть-Расчет рабочих параметров индикатора момента ротора карданного ИМРК-7 бурового ротора Р-700, Р-560, Проверочный расчет вала ротора на кручение-Курсовая работа-Дипломная работа-Оборудование для бурения нефтяных и газовых скважин
Расчетная часть-Расчет рабочих параметров индикатора момента ротора карданного ИМРК-7 бурового ротора Р-700, Р-560-Курсовая работа-Дипломная работа-Оборудование для бурения нефтяных и газовых скважин
Нефтяная промышленность Диплом и связанное с ним ИНиГ
User lenya.nakonechnyy.92@mail.ru : 14 августа 2016
553 руб.
Расчетная часть-Расчет рабочих параметров индикатора момента ротора карданного ИМРК-7 бурового ротора Р-700, Р-560, Проверочный расчет вала ротора на кручение-Курсовая работа-Дипломная работа-Оборудование для бурения нефтяных и газовых скважин
Производственный менеджмент на предприятиях электросвязи. Вариант №4. Контрольная работа
Таблица 1. - Количество соединительных линий от проектируемой АТС к другим АТС и УВС (исходящие/входящие) Параметр Вариант 4 Емкость проектируемой АТС, номеров 9000 Таблица 2 - Количество соединительных линий от проектируемой АТС к другим АТС и УВС (исходящие/входящие) Станции УВС Количество СЛ (исходящие/входящие) по вариантам АТС 1 АТС 2 АТС 3 УВС 1 УВС 2 УВС 3 57/59 67/73 72/69 -/174 155/- 137/- Таблица 3 - Расстояние между проектируемой АТС и другими АТС и УВС (взятые с топографическо
******* Не известно Менеджмент Работа Контрольная
User karinjan : 21 января 2016
250 руб.
Психологические особенности профилактической деятельности сотрудников ОВД
СОДЕРЖАНИЕ Психологические особенности профилактической деятельности сотрудников ОВД.......................................................................................................................... 3 Общая профилактика, ее возможности и средства формирования правосознания граждан........................................................................................................... 9 Психология осуществления индивидуально-профилактической деятельности 14 Библиографический с
Психология Работа
User alfFRED : 11 октября 2013
Сети передачи дискретных сообщений
Обозначения и сокращения Введение Сети передачи дискретных сообщений Сети телеграфной связи Сети факсимильной связи Сети передачи данных Компоненты сетей ПДС и их основные функции Способы коммутации в сетях ПДС Кодирование Общие сведения о кодировании Корректирующие коды Расчет сети SDH Исходные данные Расчет нагрузки на сегменты пути Узловая нагрузка каналов Е1 Выбор требуемого уровня и числа мультиплексоров Заключение Список использованной литературы
Системы коммутации Работа
User VikkiROY : 21 января 2013
5 руб.
up Наверх