Работу выполнила очень быстро и полностью раскрыла все вопросов по теме.Благодарю 😘
Светлана
АГЗ МЧС России
Узнайте стоимость индивидуальной работы
это быстро и бесплатно
Оформите заказ сейчас и получите скидку 100 руб.!
Математическая логика и теория алгоритмов 3
Тип
Реферат
Предмет
Математика
Просмотров
1001
Размер файла
28 б
Поделиться
Ознакомительный фрагмент работы:
Математическая логика и теория алгоритмов 3
МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО
ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ СИСТЕМ
УПРАВЛЕНИЯ И РАДИОЭЛЕКТРОНИКИ (ТУСУР)
Контрольная работа №2
По дисциплине «Математическая логика и теория алгоритмов»
Вариант 1
2003г
Южно-Сахалинск.
1) Записать составные высказывания в виде формул
. употребляя высказывательные переменные для обозначения простых высказываний: «Для того, чтобы x было нечётным, достаточно, чтобы х было простым»;
Решение: Обозначим А = «х - не чётное число»
В = «х - простое число»
АÞВ (импликация «для А достаточно В»).
2) При каких значениях переменных x, y, z формула
ложна?
Решение: Составим таблицу истинности:
| x | y | z | Øx | Øy | ydz | x É(ydx) | Øy ÉØx | (xÉ(ydz)) É(Øy ÉØx) | (xÉ(ydz)) É(Øy ÉØx) ÉØy |
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |
Т.о. данная формула ложна при: 1) х = 0; y = 1; z = 0; 2) x = 0; y = 1; z = 1;
3) x = 1; y = 1; z = 1;. где 1 - «истина», 0 - «ложь».
3) Является ли тавтологией формула ?
Решение: Тавтологий является формула, которая истинна независима от значений входящих в нее переменных. Составим таблицу истинности -
| p | r | t | Øq | Ør | Øt | pÉq | ØrÉØq | tÉØr | (pÉq)&(ØrÉØq)&(tÉØr) | pÉØt | ((pÉq)&(ØrÉØq)&(tÉØr))É(pÉØt) | |
| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 1 | 0 1 | 0 0 | 0 0 | 1 0 | 1 1 | 1 1 | 1 1 | 1 1 | 1 0 | 1 0 |
| 1 | 1 |
Т.о. данная формула не является тавтологией.
4) Доказать выполнимость формулы. Ø(pÉØp)
Решение: Составим таблицу истинности:
| p | Øp | pÉØp | Ø(pÉØp) |
| 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 |
Формула выполняется, если на некотором наборе распределения истинностных значений переменных она принимает истинное значение.
т.е. формула истинна при истинном значении p и ложна при ложном значении p , следовательно она выполнима.
5)Пусть даны предикаты на множестве натуральных чисел D(x,y) º “y делится на x”; E(x) º “x - чётное число”. Переведите на обычный язык формулу. $x(E(x)ÚD(6,x)). Решение: «некоторые числа являются чётными или делятся на 6).
6) Пусть даны предикаты на множестве натуральных чисел D(x, y) º “y делится на x”; G(x, y, z) º “z - наибольший общий делитель x и y”. Запишите утверждение на языке логики предикатов: «если x делится на y и y делится на z, то x делится на z».
Решение: "x"y"z((D(y, x)&D(z, y))ÞD(z, x))
7) Пользуясь знаками арифметических операций (+, ´) и отношений (Ð, =) запишите на языке логики предикатов следующее высказывание о действительных числах: «система уравнений не имеет решения»
Решение: - ложно.
8) Пользуясь знаками арифметических операций (+, ´) и отношений (Ð, =) запишите при помощи логический символов высказывание и определите, истинное или ложное: «для любых действительных чисел x и y, если
x < y и y ¹ 0, то x/y < 1»
Решение: - истинное высказывание, т.к.
Прочитай и до делай всмысле вставь нижнии исправленные задания в верх
Рецензия на контрольную работу
по дисциплине Математическая логика и теория алгоритмов
студента ТМЦ ДО Заболотского М.А.
город Южно-Сахалинск
Отметка о зачёте: незачет
Рецензент Р.В. Мещеряков
04 января 2004 года
Замечания
По контрольной работе 1.
1. не верно
5. расписать более подробно
9. не верно, не полно.
Там где отмечено "не верно" требуется ознакомление с теорией соответствующих разделов пособия. В следующий раз необходимо высылать только не зачтенные решения вместе с новыми решениями
1Неверное
Найдите множество X, удовлетворяющее следующему условию:
Решение:
, т.к.
-относительным дополнением множества A до пустого множества является само множество A
-относительным дополнением множества А к самому себе является f
т.е.
1 Исправленное
Найдите множество X, удовлетворяющее следующему условию:
Решение:
Рассмотрим на диаграмме Венна
Похожие работы
Нет нужной работы в каталоге?
Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников 
Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.
Цены ниже, чем в агентствах и у конкурентов
Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит
Бесплатные доработки и консультации
Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки
Гарантируем возврат
Если работа вас не устроит – мы вернем 100% суммы заказа
Техподдержка 7 дней в неделю
Наши менеджеры всегда на связи и оперативно решат любую проблему
Строгий отбор экспертов
К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»
1 000 +
Новых работ ежедневно
Требуются доработки?
Они включены в стоимость работы 
Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован 
Иванна
Математика
История
Экономика
159599
рейтинг
рейтинг
3275
работ сдано
работ сдано
1404
отзывов
отзывов
Ludmila
Математика
Физика
История
157018
рейтинг
рейтинг
6076
работ сдано
работ сдано
2739
отзывов
отзывов
Svetlana
Химия
Экономика
Биология
105734
рейтинг
рейтинг
2110
работ сдано
работ сдано
1318
отзывов
отзывов
Константин Николаевич
Высшая математика
Информатика
Геодезия
62710
рейтинг
рейтинг
1046
работ сдано
работ сдано
598
отзывов
отзывов
Отзывы студентов о нашей работе
66 337 оценок
среднее 4.9 из 5
Светлана
АГЗ МЧС России
Работу выполнила очень быстро и полностью раскрыла все вопросов по теме.Благодарю 😘
Екатерина
Колледж управления и права
Все выполнила качественно, сделала реферат раньше срока, все замечания были учтены и испра...
Людмила
ММА
Спасибо Алексей! Все быстро с соблюдением методички. Тема раскрыта полностью.
Все выполнила качественно, сделала реферат раньше срока, все замечания были учтены и исправлены
Екатерина
Колледж управления и права
Спасибо Алексей! Все быстро с соблюдением методички. Тема раскрыта полностью.
Людмила
ММА
Последние размещённые задания
Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн 
На выбор из приложения
Курсовая, Технические средства автоматизации и управления
Срок сдачи к 12 июня
только что
только что
По таблице квалитетов нужно как то решить задачи, начертить чертеж и тд
Решение задач, Метрология, стандартизация и сертификация
Срок сдачи к 17 мая
3 минуты назад
сделать презентацию и речь
Презентация, современные технологии изготовления оптических линз и оправ
Срок сдачи к 17 мая
4 минуты назад
Совершенствование маркетинговой деятельности на предприятии
Курсовая, Экономика организации (предприятия)
Срок сдачи к 20 мая
4 минуты назад
5 минут назад
Решить контрольную
Контрольная, Правовое и документальное обеспечение в туризме и гостеприимстве
Срок сдачи к 17 мая
6 минут назад
6 минут назад
8 минут назад
8 минут назад
9 минут назад
9 минут назад
Возмещение вреда, причиненного гражданину органами государственной...
Реферат, Административное право
Срок сдачи к 13 мая
10 минут назад
Технология развития эмоционального интеллекта у подростков, склонных к девиантному поведению
Другое, Педагогика
Срок сдачи к 14 мая
10 минут назад
10 минут назад
Выполнить курсовую работу по методичке по предмету "Первичная переработка нефти и попутного нефтяного газа"
Курсовая, "Первичная переработка нефти и попутного нефтяного газа"
Срок сдачи к 23 мая
10 минут назад
11 минут назад
Разработка технического задания программного продукта и предпроектное обследование организации
Лабораторная, Техническое документирование информационных систем
Срок сдачи к 30 мая
11 минут назад
Закажи индивидуальную работу за 1 минуту!
Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.
«Всё сдал!» — безопасный онлайн-сервис с проверенными экспертами
Используя «Свежую базу РГСР», вы принимаете пользовательское соглашение
и политику обработки персональных данных
Сайт работает по московскому времени:
Мы ВКонтакте 
Трейлер о сайте
Принимаем к оплате
© 2011—2026 Всё сдал!