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

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

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

Тип задания

Предмет

Ваше имя

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

Да, спасибо!

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

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

Тип задания

Предмет

Ваше имя

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

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

Тип задания

Предмет

Ваше имя

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

Тип Реферат

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

Просмотров

803

Размер файла

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
отзывов

Тип работы

РГАУ-МСХА

Исполнитель ответственно подошёл к заказу, выполнил досрочно и качественно??

Российская международная академия туризма

Алексей замечательный, отправил работу досрочно, без замечаний преподавателя. Все требован...

Гумрф им Адмирала С.О. Макарова

Работа выполнена досрочно и качественно. Единственное что оригинальность на 10% меньше тре...

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

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

Выполнить 6 лабораторных работ в SystemVerilog

Лабораторная, Архитектура информационных систем

Срок сдачи к 8 окт.

1 минуту назад

дата выдачи 06.06.2006 Нурана Алекберова

Диплом, Парикмахерское дело

Срок сдачи к 30 авг.

1 минуту назад

Выполнить 8 лабораторных работ на C# с комментариями

Лабораторная, Программирование

Срок сдачи к 8 окт.

1 минуту назад

Пройти 120 уроков по Промышленной безопасности

Тест дистанционно, Безопасность жизнедеятельности

Срок сдачи к 30 сент.

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

Сделать 3 работы по компьютерной графике

Лабораторная, Компьютерная графика

Срок сдачи к 26 авг.

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

Написать отчет по практике и частично заполнить дневник

Отчет по практике, Уголовное право

Срок сдачи к 24 авг.

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

прокурорский надзор за исполнением законов о...

Диплом, Прокурорский надзор

Срок сдачи к 30 сент.

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

Практика - учебная. В отчет входит - дневник

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

Срок сдачи к 30 авг.

5 минут назад

Выполнение реферата по заданной теме и критреиям

Реферат, Предупреждение коррупции в ОВД и формирование антикоррупционного поведения, уголовное право

Срок сдачи к 1 сент.

6 минут назад

Выполнение контрольной работы в соответствии с заданными критериями

Контрольная, Административная деятельность полиции, правоохранительные органы

Срок сдачи к 1 сент.

6 минут назад

Точной темы и требований пока нет, хочу узнать приблизительную...

Диплом, Психология

Срок сдачи к 7 дек.

7 минут назад

Контрольная, 1 семестр Инженерная графика (задание1)

Контрольная, Инженерная графика

Срок сдачи к 29 авг.

7 минут назад

Контрольная, 1 семестр Рисунок (Все задания)

Контрольная, Дизайн

Срок сдачи к 29 авг.

8 минут назад

Контрольная, 1 семестр Композиция (все задания)

Контрольная, Дизайн

Срок сдачи к 29 авг.

8 минут назад

Написать отчет по производственной практике

Отчет по практике, Экономика

Срок сдачи к 4 сент.

8 минут назад

Сделать курсовую работу по соответствующему варианту.

Курсовая, Организация деятельности пожарной охраны, пожарная безопасность

Срок сдачи к 28 авг.

8 минут назад

Взаимодействие видов транспорта

Контрольная, Железнодорожный транспорт, железнодорожное дело

Срок сдачи к 1 сент.

9 минут назад

Вся информация в методических указаниях в приложении

Отчет по практике, 38.03.02 Менеджмент

Срок сдачи к 26 авг.

9 минут назад

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

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