Математическая логика и теория алгоритмов | Зачет | 20 вариант | СибГУТИ
Состав работы
|
|
|
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Задание
Переведите данное рассуждение в логическую символику и проверьте его правильность
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Выполнения задания
Высказывание
Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Модель высказывания
Выделим в составе сложного высказывания из условия задачи простые высказывания. Получим
А - Иванов сделает работу;
B - Петров сделает работу;
C - Сидоров сделает работу
Переведите данное рассуждение в логическую символику и проверьте его правильность
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Выполнения задания
Высказывание
Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.
Модель высказывания
Выделим в составе сложного высказывания из условия задачи простые высказывания. Получим
А - Иванов сделает работу;
B - Петров сделает работу;
C - Сидоров сделает работу
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: 08.09.2010
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: 08.09.2010
Другие работы
Выбор посадок и расчетразмерных цепей
antoha_karataev
: 27 октября 2012
СОДЕРЖАНИЕ
Введение 3
Задание 4
1. Выбор посадок гладких соединений…………………………………………….5
1.1 Выбор посадок подшипников качения 5
1.2 Выбор посадок гладких цилиндрических сопряжений 9
1.3 Расчет калибров………………………………………………………………..11
2. Выбор посадок резьбовых соединений 13
3. Выбор посадок шлицевых соединений 16
4. Расчет размерных цепей 19
4.1 Расчет размерных цепей методом полной взаимозаменяемости 19
4.2 Расчет размерных цепей по вероятному методу 24
Литература 28
СОДЕРЖАНИЕ
Введение 3
Задание
Суров Г.Я. Гидравлика и гидропривод в примерах и задачах Задача 2.20
Z24
: 14 ноября 2025
В U — образной трубке налиты ртуть и вода (рис. 2.16). Определить h при условии: hрт=0,08 м; плотность ртути ρрт=13,6·10³ кг/м³, плотность воды ρв=10³ кг/м³.
150 руб.
Інструкція з охорони праці під час роботи на розкрійних машинах (для закрійника)
Qiwir
: 1 июля 2013
1. Загальні положення
1.1. Дія інструкції поширюється на всі підрозділи підприємства.
1.2. Інструкція розроблена на основі ДНАОП 0.00-8.03-93 "Порядок опрацювання та затвердження власником нормативних актів про охорону праці, що діють на підприємстві”, ДНАОП 0.00-4.15-98 "Положення про розробку інструкцій з охорони праці”, ДНАОП 0.00-4.12-99 "Типове положення про навчання з питань охорони праці”.
1.3. Інструкція встановлює основні вимоги безпеки при виконанні розкрою, різання матеріалів на пе
5 руб.
Контрольная работа по дисциплине: Дискретная математика. Вариант №1.
freelancer
: 30 августа 2016
1. Задано универсальное множество U и множества A, B, C, D. Найти результаты действий а) - д) и каждое действие проиллюстрировать с помощью диаграммы Эйлера-Венна.
2. Ввести необходимые элементарные высказывания и записать логической формулой следующее предложение.
«Если оперативная память правильно установлена в контрольный компьютер, и он при запуске не выдает ошибки при проверке оперативной памяти, то оперативная память исправна».
3. Для булевой функции f(x, y, z) найти методом преобразован
150 руб.