Математическая логика и теория алгоритмов | Зачет | 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. Цель работы Целью работы является исследование особенностей работы универсальных триггеров в интегральном исполнении. 2. Основные теоретические положения 2.1. В настоящее время известно большое количество разных типов триггеров, изготавливаемых в виде интегральных микросхем. Как правило, это универсальные триггеры, т.е. триггеры, совмещающие в себе функциональные возможности нескольких более простых видов триггеров (например: RS- и D- триггеров, RS- и JK- триггеров и т.д.). Так, напри
Информатика Работа
User Slolka : 1 октября 2013
10 руб.
Построение сборочных чертежей
Построение сборочных чертежей Цель урока: Изучить приемы построения твердотельных моделей сборок; Изучить приемы автоматизированного построения ассоциативных сборочных чертежей. Чертежи выполнены на формате А4 + 3d модели + пдф (все на скриншотах показано и присутствует в архиве) выполнены в КОМПАС 3D. Также открывать и просматривать, печатать чертежи и 3D-модели, выполненные в КОМПАСЕ можно просмоторщиком КОМПАС-3D Viewer. По другим вариантам и всем вопросам пишите в Л/С.
Чертежи Инженерная и компьютерная графика
User bublegum : 25 января 2026
150 руб.
Построение сборочных чертежей
Адсорбция паров летучих растворителей. Примеры конструкций адсорбционно-каталитических аппаратов
Введение 1.АДСОРБЦИЯ ПАРОВ ЛЕТУЧИХ РАСТВОРИТЕЛЕЙ 1.1 Улавливание паров 1.2 Адсорберы вертикального типа 1.3 Трехфазный цикл 1.4 Комбинированные методы улавливания паров летучих растворителей 2.ПРИМЕРЫ КОНСТРУКЦИЙ АДСОРБЦИОННО-КАТАЛИТИЧЕСКИХ АППАРАТОВ 2.1 Адсорбционно-каталитический фильтр 2.2 Проточно-каталитический фильтр 2.3 Криогенные адсорбционно-каталитические устройства Литература Введение Тема реферата «Адсорбция паров летучих растворителей. Примеры конструкций адсорбционно-каталитически
Рефераты Экология и защита окружающей среды
User alfFRED : 19 марта 2013
5 руб.
Теплотехника Задача 6.30
Какое количество теплоты необходимо подвести к воздуху, заключенному в объеме V=50 дм³ при давлении р1=0,1 МПа и температуре t1=150 ºC, чтобы поднять его температуру до t2=600 ºC. Найти также давление p2 в конечной точке процесса.
Задачи Теплотехника
User Z24 : 14 февраля 2026
150 руб.
Теплотехника Задача 6.30
up Наверх