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

Цена:
99 руб.

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

material.view.file_icon 161DE792-3296-4CFE-9CE8-51F84E3C2226.rar [ 9 KB ]
material.view.file_icon ZR.doc [ 59 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

Задание
Переведите данное рассуждение в логическую символику и проверьте его правильность
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.

Выполнения задания

Высказывание
Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.

Модель высказывания
Выделим в составе сложного высказывания из условия задачи простые высказывания. Получим
А - Иванов сделает работу;
B - Петров сделает работу;
C - Сидоров сделает работу

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

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

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

Лабораторная №1. Направляющие системы связи
Собственное затухание из-за поглощения энергии в материале. Исходные данные: tgδ=2*10-12 λ=1,31мкм вычислили значение αп = 0,06117 дБ\км. СибГУТИ
Информационные технологии и системы СибГУТИ Работа Лабораторная
User syberiangod : 10 сентября 2010
100 руб.
Лабораторная №1. Направляющие системы связи
Порядок формирования и использования средств Фонда социального страхования РФ
Содержание 1. Общие положения о Фонде социального страхования РФ 2 2. Формирование средств Фонда социального страхования РФ 2 3. Расходование средств Фонда социального страхования РФ 4 4. Порядок и сроки уплаты страховых взносов 5 5. Бюджет фонда социального страхования на 1999 год 9 6. Учет и отчетность по средствам фонда социального страхования Российской Федерации 11 7. Контроль за уплатой страховых взносов и расходованием средств Фонда 11 8. Взыскание задолженности по страховым взнос
Работа Экономика
User Lokard : 6 ноября 2013
15 руб.
Контрольная работа по дисциплине: CRM-системы семестр 6-й, вариант 7-й
1. Что такое CRM -система?: 2. Интегрированная CRM-система обеспечивает: 3. Основной целью внедрения CRM-систем НЕ является: 4. Задачи решаемые CRM-системами НЕ включают: клиентоориентированного подхода. 5. Независимым показателем конкурентоспособности компании является: 6. Электронный бизнес это: 7. Наиболее высока отдача от системы CRM НЕ в области: 8. Результат кросс-функционального подхода - это: 9. В пирамиде организационных элементов система CRM соответствует уровню: 10. К числу п
Информационные технологии и системы СибГУТИ Работа Контрольная
User saharok : 10 апреля 2015
99 руб.
Типовой расчёт гидравлических приводов технологического оборудования
Реферат Расчетно-графическая работа содержит 26 листов, 2 рисунка, 3 источников литературы. Гидравлический привод, принципиальная схема, типовой расчет, рабочая жидкость, давление, расход. Объектом разработки является гидравлический привод технологического оборудования с цикловой системой управления. Цель работы: выполнить схемное проектирование привода и типовой расчет с определением основных статических характеристик. Содержание Введение………………………………………………………………… 4 1 Схемное проектирова
ПГТА Рефераты Гидравлические системы, машины и механизмы
User kotloff75 : 11 октября 2011
up Наверх