Математическая логика и теория алгоритмов | Зачет | 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. Работа со списками. Сортировка и фильтрация данных в списках. Создание автоматических промежуточных отчетов и сводных таблиц
Лабораторная работа № 1 Работа со списками. Сортировка и фильтрация данных в списках. Создание автоматических промежуточных отчетов и сводных таблиц Цель работы: Приобрести навыки использования возможностей MS Excel для отбора и анализа данных в списках. Контрольное задание Создайте список из 20 записей, содержащий сведения об отгрузки товаров, например: Товар Регион Дата отгрузки (квартал) Количество товара (шт.) Задание № 1 На основании описанных в лекции примеров условий отбора
ДО СИБГУТИ Пакеты прикладных программ для экономистов Работа Лабораторная
User Екатеринай : 19 апреля 2016
200 руб.
Контрольная работа по дисциплине: Информатика. Вариант №8
-Прикладное программное обеспечение: назначение, состав, характеристики. -Сформировать двумерный массив А размером 6*6 с помощью генератора случайных чисел и вывести элементы массива на экран. Найти суммы значений элементов двух диагоналей матрицы отдельно и вывести их на экран.
СибГУТИ Информатика Работа
User mirex2014 : 10 декабря 2014
120 руб.
Перечертить два вида модели. Построить третий вид. Контрольная работа 1Б - Вариант 15
Б.Г. Миронов, Р.С. Миронова, Д.А. Пяткина, А.А. Пузиков. Сборник заданий по инженерной графике с примерами выполнения чертежей на компьютере. Контрольная работа 1Б. Вариант 15 Перечертить два вида модели. Построить третий вид. Выполнить необходимые разрезы. Наклонное сечение задается преподавателем. В состав работы входит: Чертеж; 3D модель. Выполнено в программе Компас + чертеж в PDF.
Чертежи Инженерная и компьютерная графика
User .Инженер. : 23 декабря 2025
100 руб.
Перечертить два вида модели. Построить третий вид. Контрольная работа 1Б - Вариант 15 promo
Одномерные и многомерные стили руководства
Содержание Введение стр. 3 1 «Одномерные» стили руководства стр. 5 1.1 Теория Х стр. 6 1.2 Теория Y стр. 7 1.3 Модель К. Левина стр. 9 1.4 Модель Лайкерта стр. 13 2 «Многомерные» стили руководства» стр.15 2.1 «Управленческая решетка» Р. Блейка и М. Мутона стр. 15 2.2 Модель Р. Танненбаума , У. Шмидта, стр. 16 эффективности руководства Ф. Фидлера, «путь–цель»Т.МитчелаиР.Хауса 2.3Модель жизненного цикла П. Херси К. Бланшара, принятия решения руководителем Врума – Йеттона. стр. 19 2.4 Классификация
Менеджмент Работа
User alfFRED : 24 марта 2014
10 руб.
up Наверх