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

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

Методика расследования преступлений в сфере экономики. 2021 (ответы на тест) [СИНЕРГИЯ]
Для вашего удобства работа структурирована и упорядочена в алфавитном порядке. Формат документа: PDF Ответы на 32 вопроса, которые встречаются в тестах по данному предмету. Последнее прохождение на 97/100 балла Для удобства воспользоваться поиском (Ctrl+F)
МФПУ "Синергия" Криминалистика Тесты
User Edurepetitor : 8 августа 2021
180 руб.
Іран та його міжнародні відносини
Взаємовідношення ісламської республіки Ірану і країн Центральної Азії У 90-і роки зовнішньополітичний курс ІРІ зазнав певні зміни, зовнішньополітична стратегія стала характеризуватися більшою помірністю. Повернути Ірану минулу роль відповідальної регіональної держави. У Ірані все більше уваги стала приділяти відносинам з безпосередніми сусідами. Після розпаду СРСР Іран дістав можливість вільно розвивати відношення з країнами Центральної Азії, що було неможливе раніше, коли всі зв'язки контролю
Международные отношения и мировая экономика Рефераты
User evelin : 11 сентября 2013
5 руб.
Крышка КИГД.Х20103.001
Крышка КИГД.Х20103.001 Задание 1. Фронтальный разрез на месте главного вида. 2. Вид сверху. 3. Вид слева в соединении с профильным разрезом. 4. Дополнительны вид А. 5. Выносной элемент В. 6. Нанести размеры по правилам, установленным ГОСТ 2.307-68. Крышка КИГД.Х20103.001 чертеж Крышка КИГД.Х20103.001 3д модель 3d модель и чертеж (все на скриншотах показано и присутствует в архиве) выполнены в компасе 3D v13, возможно открыть в 14,15,16,17,18,19,20,21,22 и выше версиях компаса. Также открыва
БПТ Инженерная и компьютерная графика Работа Контрольная
User lepris : 28 мая 2022
170 руб.
Крышка КИГД.Х20103.001
Проектирование районной эл. сети 110 кВ
Основной задачей данной курсовой работы является выбор наилучшей в технико-экономическом смысле схемы развития районной электрической сети при соблюдении заданных требований к надежности схемы и к качеству электроэнергии, отпускаемой потребителям. Рассмотрены вопросы проектирования электрической сети. Проведен анализ различных вариантов развития сети. Проведен выбор номинального напряжения сети. Определены сечения линий электропередач. Выбраны трансформаторы на понижающих подстанциях. Определены
Санкт-Петербургский политехнический университет Петра Великого Энергетические системы сети и оборудование Работа Курсовая
User 1000000 : 10 января 2025
500 руб.
up Наверх