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

Цена:
100 руб.

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

material.view.file_icon 456A36A7-2CD0-4F3F-AEC0-05FF54C0F604.rar [59 KB]
material.view.file_icon KR.doc [Office 2010, 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

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

Проект системы охлаждения фруктохранилища с регулируемой газовой средой вместимостью 900 тонн
93 с., 4 рисунка, 38 табл., 18 источников, 56 формул. Целью дипломного проекта «Проект системы охлаждения фруктохранилища с регулируемой газовой средой условной емкостью 900 тонн в поселке городского типа Урджар (ВКО)» является проектирование холодильной установки с подбором основного и вспомогательного оборудования. ВВЕДЕНИЕ 5 1 Технико-экономическое обоснование 7 1.1 Выбор расчетного температурного режима…………………………..………10 2 Объемно-планировочное решение 8 3 Теплотехнический расчет изоляции ог
Диплом и связанное с ним Холодильная техника и технология СГУ
User Zena : 17 декабря 2012
100 руб.
promo
Курсовая работа по теории электрических цепей. Вариант 11
Содержание: Задание на курсовую работу. 1. Расчет и построение графика амплитудного спектра радиоимпульсов. 2. Определение частоты fп2 и fз2 и расчет превышения амплитуды частоты fп2 над амплитудой частоты fз2 в децибелах в виде соотношения А¢ =20lgUmп/Umз на входе фильтра 3. Расчет минимально допустимого ослабления фильтра в полосе задерживания Аmin = Апол – А¢ 4. Расчет порядка m НЧ-прототипа требуемого фильтра 5. Получение выражения для передаточной функции НЧ-прототипа при аппроксимаци
Теория электрических цепей СибГУТИ Работа Курсовая
User 7Sky : 14 апреля 2012
200 руб.
Неправомерность биогенетического закона
Изучая изображения эмбрионов, современник Дарвина английский ученый Эрнст Геккель пришел к выводу, что в их развитии обнаруживаются признаки минувшей эволюции. Биогенетический закон Геккеля — каждый организм в период эмбрионального развития повторяет стадии, которые его вид должен был пройти в процессе эволюции — звучит довольно впечатляюще. В доказательство Геккель приводил изображения эмбриона человека, на которых видны жабры, хвост. Публикация книги Геккеля вызвала бурю возмущений. Когда проф
Рефераты Разное
User VikkiROY : 21 марта 2013
5 руб.
Клапан предохранительный МЧ.04.06.000 ЧЕРТЕЖ
Клапан предохранительный МЧ.04.06.000 ЧЕРТЕЖ Предохранительный клапан предназначен для сброса избыточного давления газа или жидкости в закрытом резервуаре. В корпус 1 ввинчивается штуцер 2 и шпиндель 4. Шпиндель на верхнем конце имеет форму квадрата для посадки поворотной рукоятки (маховика). В верхней части штуцера имеется гнездо под золотник 3. Золотник имеет направляющие лопасти (внизу), которые входят в отверстие штуцера. Под действием силы пружины 6 золотник плотно поджимается к незду п
Чертежи Инженерная и компьютерная графика
User coolns : 7 января 2026
170 руб.
Клапан предохранительный МЧ.04.06.000 ЧЕРТЕЖ
up Наверх