Математическая логика и теория алгоритмов | Контрольная | 20 вариант | СибГУТИ
-
Категории:
СибГУТИ, Математика вычислительная, Работа Контрольная
-
Добавлен:
25.02.2014
-
Размер:
59 KB
-
Покупок:
2
-
Добавил:
eviltosterrr
Написать сообщение
Скачать
Состав работы
|
KR.doc
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
. Проверка выводимости методом Куайна
По теореме дедукции, перенесём посылку в правую часть и проверим выводимость формулы (Av(B&C))->((AvB)&(AvC)).
Подставляя A=0, получаем
(0v(B&C))->((0vB)&(0vC))=(B&C)->(B&C)=1
. Проверка выводимости методом Куайна
По теореме дедукции, перенесём посылку в правую часть и проверим выводимость формулы (Av(B&C))->((AvB)&(AvC)).
Подставляя A=0, получаем
(0v(B&C))->((0vB)&(0vC))=(B&C)->(B&C)=1
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 07.09.2010
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 07.09.2010
Другие работы
Построить третью проекцию пирамиды с вырезом. Упражнение 27 - Вариант 7
.Инженер.
: 5 декабря 2025
Б.Г. Миронов, Р.С. Миронова, Д.А. Пяткина, А.А. Пузиков. Сборник заданий по инженерной графике с примерами выполнения чертежей на компьютере. Упражнение 27 - Вариант 7
Построить третью проекцию пирамиды с вырезом. Проставить размеры. На горизонтальной проекции линия выреза не изображена.
В состав работы входит:
Чертеж;
3D модель.
Выполнено в программе Компас + чертежи в PDF.
.Инженер.
: 5 декабря 2025
100 руб.
Контрольная работа по дисциплине"Экономика отрасли инфокоммуникаций" 1 вариант
Помощь студентам СибГУТИ ДО
: 28 сентября 2013
Вопрос: Показатели общей и сравнительной экономической эффективности капитальных вложений
Задача
Определите увеличение доходов предприятия связи за счет ускорения (увеличения) оборачиваемости оборотных средств во втором квартале текущего года, если известно, что оборотные средства предприятия составляли 9000 руб., доходы основной деятельности - 120000 руб. Длительность оборота сократилась на 2 дня.
Помощь студентам СибГУТИ ДО
: 28 сентября 2013
300 руб.
Материаловедение\Методические указания + Контрольные работы\
антибатаник
: 27 ноября 2008
Материаловедение. Технология конструкционных материалов
Методические указания и задания к контрольным работам
для студентов специальности ПГС ФДПО
+ Контрольные работы \задания с решениями\
антибатаник
: 27 ноября 2008
![Материаловедение\Методические указания + Контрольные работы\](https://public.c-stud.ru/media_autogenerated/items_in_category_thumb/works/images/9DF73E7B-3872-40D2-B1C7-82C3FA8F6167.jpg "Материаловедение\Методические указания + Контрольные работы\")
Английский язык.Контрольная работа 2-й семестр. вариант №6
SumarokovAN
: 14 апреля 2014
По дисциплине: Физика1.Перепишите и письменно переведите на русский язык следующие предложения. Помните, что объектный и субъектный инфинитивные обороты соответствуют придаточным предложениям.
l. Some liquids are known to conduct current without any changes to themselves.
2.Samples of semiconductors with improved properties are reported, to be obtained, on a new installation.
3.Scientific discoveries to be practically applied in industry and agriculture are paid special attention to.
2.Перепишит
SumarokovAN
: 14 апреля 2014
100 руб.
