Реферат сделан досрочно, преподавателю понравилось, я тоже в восторге. Спасибо Татьяне за труд!
Мария
Тгу им. Г. Р. Державина
Узнайте стоимость индивидуальной работы
это быстро и бесплатно
Оформите заказ сейчас и получите скидку 100 руб.!
Математическая логика и теория алгоритмов 2
Тип
Реферат
Предмет
Математика
Просмотров
718
Размер файла
120 б
Поделиться
Ознакомительный фрагмент работы:
Математическая логика и теория алгоритмов 2
Томский межвузовский центр дистанционного образования
Томский государственный университет
систем управления и радиоэлектроники (ТУСУР)
Контрольная работа № 1
по дисциплине
«Математическая логика и теория алгоритмов»
автор учебного пособия:
Зюзьков В.М.
Выполнил:
Студент ТМЦДО
специальности 220201
Вариант №11
1) Перевести на формальный язык (обязательно указывая универсум):
«Некоторые лентяи на оптимисты, но жизнелюбы».
Универсум М ={люди}. Предикаты: L(x) ≡ «х – лентяй», O(x) ≡ «х – оптимист», Z(x) ≡ «х – жизнелюб».
Формула:
2) Перевести на формальный язык (обязательно указывая универсум):
«Два философа сидят за столом и спорят»
Универсум М ={люди}. Предикаты: F(x) ≡ «х – философ», S(x) ≡ «х – сидит за столом», С(x,y) ≡ «х спорит с y»
Формула:
3) Перевести с формального языка на человеческий:
(R – Множество вещественных чисел).
Перевод: Для любого вещественного числа есть большее, синус которого равен нулю.
4) Перевести на формальный язык (обязательно указывая универсум):
«Ни один судья не справедлив».
Универсум М ={люди}. Предикаты: J(x) ≡ «х – судья», S(x) ≡ «х – справедлив».
Формула:
5) Является ли формула
тавтологией?
Использовать метод доказательства от противного.
Тавтология – формула, истинная независимо от того какие значения принимают переменные входящие в неё. Соответственно нам необходимо доказать, что она не может быть ложной. Представим, что формула ложна при некотором сочетании переменных.
| (подставили в формулы значения q, r и t ) | |
| Желая избежать противоречия примем , получим | |
| , противоречия нет. | |
Получили значения переменных, при которых формула является ложной, следовательно, она опровержима и не является тавтологией.
6) При каких значениях переменных формула
ложна?
Переберём все возможные комбинации.
1. Из утверждения получаем, что и одновременно невозможно.
2. Из утверждения получаем, что и одновременно невозможно
3. Из утверждения получаем, что и одновременно невозможно
4. Возьмём и , получаем (верно), (верно), (верно).
выполняется.
Ответ: формула ложна только при и , других вариантов нет.
7) Является ли формула
тавтологией?
| (подставили в формулы значения Л, r и t ) | |
| Так как и , то подставим и получим | |
| - противоречие. | |
Пришли к противоречию, следовательно, исходная формула – тавтология.
8) Проверить, что и
Решение: Сначала следует попробовать опровергнуть это утверждение, т.е. найти такие множества A, B и C, чтобы выполнялось отношение , но не выполнялось и или, наоборот, выполнялось и , но не выполнялось . После безуспешных попыток найти такие множества следует доказать данное утверждение.
Доказательство распадается на два этапа.
1. Докажем сначала, что и . Пусть и выполнено, докажем, что . Поскольку требуется доказать включение множеств, то возьмем произвольный элемент , следовательно (из ), значит и тем более . Аналогично для .
2. Докажем теперь, что и . Пусть выполнено, докажем, что и . Поскольку требуется доказать включение множеств, то возьмем произвольный элемент , однозначно . Значит и тогда . Аналогично для B. Доказательство закончено.
9) Проверить, что
Это выражение верно, так как согласно не существует элемента , который не входил бы в . Следовательно, для , . Обратное не верно.
10) Проверить тождество
Решение. Построим диаграмму Эйлера для левого множества в четыре этапа.
| Диаграмма для множества | Диаграмма для множества |
| Диаграмма для множества | Диаграмма для множества |
Диаграммы Эйлера показывают, что тождество выполняется. Докажем это. Используя основные тождества алгебры множеств, преобразуем левую и правую части к одному множеству.
Преобразуем отдельно первое и второе множества.
Похожие работы
Нет нужной работы в каталоге?
Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников 
Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.
Цены ниже, чем в агентствах и у конкурентов
Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит
Бесплатные доработки и консультации
Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки
Гарантируем возврат
Если работа вас не устроит – мы вернем 100% суммы заказа
Техподдержка 7 дней в неделю
Наши менеджеры всегда на связи и оперативно решат любую проблему
Строгий отбор экспертов
К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»
1 000 +
Новых работ ежедневно
Требуются доработки?
Они включены в стоимость работы 
Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован 
Иванна
Математика
История
Экономика
159599
рейтинг
рейтинг
3275
работ сдано
работ сдано
1404
отзывов
отзывов
Ludmila
Математика
Физика
История
156450
рейтинг
рейтинг
6068
работ сдано
работ сдано
2737
отзывов
отзывов
Svetlana
Химия
Экономика
Биология
105734
рейтинг
рейтинг
2110
работ сдано
работ сдано
1318
отзывов
отзывов
Константин Николаевич
Высшая математика
Информатика
Геодезия
62710
рейтинг
рейтинг
1046
работ сдано
работ сдано
598
отзывов
отзывов
Отзывы студентов о нашей работе
63 457 оценок
среднее 4.9 из 5
Мария
Тгу им. Г. Р. Державина
Реферат сделан досрочно, преподавателю понравилось, я тоже в восторге. Спасибо Татьяне за ...
Анастасия
РЭУ им.Плеханово
Альберт хороший исполнитель, сделал реферат очень быстро, вечером заказала, утром уже все ...
Светлана
ФЭК
Маринаааа, спасибо вам огромное! Вы профессионал своего дела! Рекомендую всем ✌🏽😎
Альберт хороший исполнитель, сделал реферат очень быстро, вечером заказала, утром уже все было готово,спасибо большое)
Анастасия
РЭУ им.Плеханово
Маринаааа, спасибо вам огромное! Вы профессионал своего дела! Рекомендую всем ✌🏽😎
Светлана
ФЭК
Последние размещённые задания
Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн 
только что
Выполнить 2 контрольные работы по Информационные технологии и сети в нефтегазовой отрасли. М-07765
Контрольная, Информационные технологии
Срок сдачи к 12 дек.
только что
1 минуту назад
Архитектура и организация конфигурации памяти вычислительной системы
Лабораторная, Архитектура средств вычислительной техники
Срок сдачи к 12 дек.
1 минуту назад
Организации профилактики травматизма в спортивных секциях в общеобразовательной школе
Курсовая, профилактики травматизма, медицина
Срок сдачи к 5 дек.
2 минуты назад
краткая характеристика сбербанка анализ тарифов РКО
Отчет по практике, дистанционное банковское обслуживание
Срок сдачи к 5 дек.
2 минуты назад
Исследование методов получения случайных чисел с заданным законом распределения
Лабораторная, Моделирование, математика
Срок сдачи к 10 дек.
4 минуты назад
Проектирование заготовок, получаемых литьем в песчано-глинистые формы
Лабораторная, основы технологии машиностроения
Срок сдачи к 14 дек.
4 минуты назад
6 минут назад
6 минут назад
Вам необходимо выбрать модель медиастратегии
Другое, Медиапланирование, реклама, маркетинг
Срок сдачи к 7 дек.
7 минут назад
Ответить на задания
Решение задач, Цифровизация процессов управления, информатика, программирование
Срок сдачи к 20 дек.
7 минут назад
Написать реферат по Информационные технологии и сети в нефтегазовой отрасли. М-07764
Реферат, Информационные технологии
Срок сдачи к 11 дек.
8 минут назад
9 минут назад
Написать реферат по Информационные технологии и сети в нефтегазовой отрасли. М-07764
Реферат, Геология
Срок сдачи к 11 дек.
10 минут назад
Разработка веб-информационной системы для автоматизации складских операций компании Hoff
Диплом, Логистические системы, логистика, информатика, программирование, теория автоматического управления
Срок сдачи к 1 мар.
10 минут назад
Нужно решить задание по информатике и математическому анализу (скрин...
Решение задач, Информатика
Срок сдачи к 5 дек.
11 минут назад
11 минут назад
Закажи индивидуальную работу за 1 минуту!
Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.
«Всё сдал!» — безопасный онлайн-сервис с проверенными экспертами
Используя «Свежую базу РГСР», вы принимаете пользовательское соглашение
и политику обработки персональных данных
Сайт работает по московскому времени:
Мы ВКонтакте 
Трейлер о сайте
Принимаем к оплате
© 2011—2025 Всё сдал!