Реальная база готовых
студенческих работ

Авторам Вопрос-ответ

Узнайте стоимость индивидуальной работы!

Тип задания

Предмет

Ваше имя

Вы нашли то, что искали?

Да, спасибо!

Нет, пока не нашел

Узнайте стоимость индивидуальной работы

Тип задания

Предмет

Ваше имя

это быстро и бесплатно

Оформите заказ сейчас и получите скидку 100 руб.!

Тип задания

Предмет

Ваше имя

Математическая логика и теория алгоритмов 2

Тип Реферат

Предмет Математика

Просмотров

789

Размер файла

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) Проверить тождество

Решение. Построим диаграмму Эйлера для левого множества в четыре этапа.

Диаграмма для множества	Диаграмма для множества

Диаграмма для множества	Диаграмма для множества

Диаграммы Эйлера показывают, что тождество выполняется. Докажем это. Используя основные тождества алгебры множеств, преобразуем левую и правую части к одному множеству.

Преобразуем отдельно первое и второе множества.

Смотреть

Модельное мышление
Реферат, Математика

Смотреть

Конспект лекций по дискретной математике
Реферат, Математика

Смотреть

Комета 103P/Хартли
Реферат, Математика

Смотреть

Первичная статистическая обработка информации
Реферат, Математика

Смотреть

Нет нужной работы в каталоге?

Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.

Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит

Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки

Если работа вас не устроит – мы вернем 100% суммы заказа

Наши менеджеры всегда на связи и оперативно решат любую проблему

К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»

1 000 +

Новых работ ежедневно

Требуются доработки?
Они включены в стоимость работы

Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован

Математика

История

Экономика

159599
рейтинг

3275
работ сдано

1404
отзывов

Математика

Физика

История

157252
рейтинг

6079
работ сдано

2741
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

Высшая математика

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

НГУЭУ

Работу выполнила досрочно, сама работа выполнена по всем прописанным требованиям. Я доволь...

ТГУ

Спасибо большое за проделанную работу!!! По словам преподавателя- это идеальный реферат. Р...

РЭУ им. Плеханова

В процессе выполнения возникли недопонимания

Последние размещённые задания

Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн

решить 22 задания по физики

Контрольная, Физика

Срок сдачи к 19 июля

2 минуты назад

сделать презентацию Тема №25

Презентация, Медицинское обеспечение физической культуры и спорта

Срок сдачи к 15 июля

4 минуты назад

Отчет о прохождении производственной практики: технологической (проектно-технологической) практики в пао «сбербанк»

Отчет по практике, Финансы и кредит

Срок сдачи к 17 июля

4 минуты назад

2 отчета по практике строительство

Отчет по практике, Строительство

Срок сдачи к 17 июля

6 минут назад

Выполнить курсовую работу. Теория государства и права. П-00035

Курсовая, Право

Срок сдачи к 24 июля

8 минут назад

Выполнить две рабочих тетради. Психология. П-00036

Контрольная, Психология

Срок сдачи к 31 июля

8 минут назад

Сделать отчет по практике( гостиница «Централь» г. Донецк)

Отчет по практике, Ресторанно-гостиничное дело

Срок сдачи к 16 июля

8 минут назад

Математика в профессиональной деятельности

Тест дистанционно, Математика

Срок сдачи к 17 июля

9 минут назад

Выполнить практику. Юриспруденция. П-00033

Отчет по практике, Юриспруденция

Срок сдачи к 17 июля

9 минут назад

Онлайн-помощь по русскому языку. П-00034

Онлайн-помощь, Русский язык

Срок сдачи к 17 июля

10 минут назад

Проверить оформление готовых отчетов по практике. Государственное муниципальное управление. П-00032

Отчет по практике, Государственное муниципальное управление

Срок сдачи к 17 июля

10 минут назад

Выполнить задание строго по практикумам и шаблонам

Бизнес-план, Проектная, менеджмент

Срок сдачи к 19 июля

10 минут назад

сделать курсовую по заданию

Курсовая, Сварочное производство

Срок сдачи к 31 июля

10 минут назад

Разработка технологии получения слитка массой 6 тонн сплава марки эп836вд методом вдп. кристаллизатор 800

Реферат, Техника и технология производства материалов

Срок сдачи к 19 июля

10 минут назад

Социальная работа. проверить нир

Отчет по практике, 39.03.02 Социальная работа, социальная работа

Срок сдачи к 14 июля

11 минут назад

Отчет по производственной практике в виде реферата по конкретной теме

Отчет по практике, Производственная практика на направлении Техносферная безопасность

Срок сдачи к 14 июля

12 минут назад

Отчет по практике, 4 семестр, профилирующая практика | у. о | учебная практика, электроэнергетика и электротехника, во, бакалавриат

Отчет по практике, Электроэнергетика

Срок сдачи к 16 июля

12 минут назад

Написать отчет по практике + задания

Отчет по практике, Юриспруденция

Срок сдачи к 30 июля

12 минут назад

Закажи индивидуальную работу за 1 минуту!

Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.