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

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

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

Тип задания

Предмет

Ваше имя

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

Да, спасибо!

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

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

Тип задания

Предмет

Ваше имя

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

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

Тип задания

Предмет

Ваше имя

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

Тип Реферат

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

Просмотров

741

Размер файла

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

Математика

Физика

История

156804
рейтинг

6076
работ сдано

2739
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

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

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

Университет Синергия

Огромное благодарность Вам! Приятно было с Вами работать.. Надеюсь и на дальнейшее сотрудн...

бедный студент, работающий работу 27/8 и не успевающий ничего написать. помогите.

Замечательная девушка, вежливая, сделала такую хорошую работу! Всё чётко и по делу, подроб...

Рудн

Работа выполнена отлично! хороший исполнитель ! Раньше срока все сделала!

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

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

Необходимо выполнить задание по предмету основы инженерных расчетов в программе Mathcad

Контрольная, Основы инженерных расчетов

Срок сдачи к 6 апр.

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

Разработка поста сто по ремонту кпп легковых автомобилей dodge challenger

Курсовая, МДК, машиностроение

Срок сдачи к 15 мая

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

Выполнить курс . тгасу. теоретическая механика, часть 1. е-02552

Контрольная, Теоретическая механика

Срок сдачи к 24 апр.

5 минут назад

Арс

Другое, Практическая часть по тоо, педагогика

Срок сдачи к 4 апр.

6 минут назад

Сравнить и посчитать экономическую часть по данным за 2 года

Решение задач, экономика в металлургии

Срок сдачи к 6 апр.

7 минут назад

Нужно решить 11 задач

Решение задач, Теория надежности

Срок сдачи к 15 апр.

8 минут назад

сделать вид сверху

Чертеж, основы проектирования

Срок сдачи к 3 апр.

9 минут назад

Выполнить курс. Математика 2.2 . Е-02538

Контрольная, Математика

Срок сдачи к 12 апр.

11 минут назад

Решить контрольную работу

Контрольная, судебная экономическая экспертиза

Срок сдачи к 6 апр.

11 минут назад

Сделать чертёж наладку

Лабораторная, Автоматизация производственных процессов в машиностроении

Срок сдачи к 5 апр.

11 минут назад

Разработка информационной системы для столярного производства

Диплом, Информационные системы и технологии (09.03.02)

Срок сдачи к 19 апр.

11 минут назад

Выполнить задания

Поиск информации, Технологическая практика, информатика

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

11 минут назад

Свет как драматургический элемент в портретной фотографии

Курсовая, Фотография

Срок сдачи к 12 апр.

11 минут назад

Сделать отчет по практике

Отчет по практике, Нефтегазовое дело

Срок сдачи к 10 апр.

11 минут назад

Подготовить доклад на тему "Гарантии президента, ушедшего в отставку"

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

Срок сдачи к 4 апр.

11 минут назад

"Стадии совершения преступления в уголовном...

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

Срок сдачи к 9 апр.

11 минут назад

Релейная защита и автоматизация электроэнергетических систем

Ответы на билеты, Релейная защита и автоматизация электроэнергетических систем

Срок сдачи к 3 апр.

11 минут назад

Выполнить курсовой проект

Курсовая, Управление проектами

Срок сдачи к 9 апр.

11 минут назад

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

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