Страницу Назад
Поискать другие аналоги этой работы

500

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 8

ID: 225071
Дата закачки: 09 Апреля 2022
Продавец: IT-STUDHELP (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: ТУСУР

Описание:
Вариант 8

1. Следующее утверждение докажите или опровергните (опровергнуть
можно на частном примере): A  B и B  C  A  C.
2. Является ли тавтологией формула
((P  Q) & (R  Q) & (T  (P  R)) & T)  Q?
3. Переведите с естественного языка на язык логики предикатов:
Зайцы не всегда глупее лис.
4. Переведите с естественного языка на язык логики предикатов:
Все честные ученые уважают друг друга.
5. Для бинарного отношения x  y  «y = |x|», определенного на множе- стве вещественных чисел, выясните, какими свойствами оно обладает (рефлексивность, симметричность, антисимметричность, транзитив-
ность) и какими не обладает.
6. Докажите, что композиция инъективных отображений есть инъектив-
ное отображение.
7. Используя математическую индукцию, докажите, что
1 rn
1 + r + r 2 + r 3 + … + r n – 1 = .
1 r
8. Расположите следующие 5 функций в порядке увеличения скорости роста (каждая функция есть O (следующая)):
1000 n , 0.01n3, 666, 554 ln (ln n), 0.001n!.





№1. Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере):
A∈B и B∈C ⇒ A∈C


№2. Является ли тавтологией формула
((P⊃Q)&(R⊃Q)&(T⊃(P∨R))&⌝T)⊃Q ?



№3. Переведите с естественного языка на язык логики предикатов: “Зайцы не всегда глупее лис.”
Универсум:
M={животные}.
Предикаты:
A(x)≡"x-заяц"
B(y)≡"y-лиса"
C(x,y)≡"x глупее y"


№4. Переведите с естественного языка на язык логики предикатов: “Все честные учёные уважают друг друга.”
Универсум:
M-люди

№5. Для бинарного отношения x ρ y ⇔"y=|x|", определённого на множестве вещественных чисел, выясните, какими свойствами оно обладает (рефлексивность, симметричность, антисимметричность, транзитивность) и какими не обладает.

№6. Докажите, что композиция инъективных отображений есть инъективное отображение.

№ 7. Используя математическую индукцию, докажите, что
1+r+r^2+r^3+⋯+r^(n-1)=(1-r^n)/(1-r)

№8. Расположите следующие 5 функций в порядке увеличения скорости роста (каждая функция есть O(следующая)):
1000√n,0,01n^3,666,554ln(lnn), 0,001n!




Комментарии: Оценка: Зачет
Дата оценки: 09.04.2022

Помогу с вашим онлайн тестом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
E-mail: ego178@mail.ru

Размер файла: 28 Кбайт
Фаил: Microsoft Word (.docx)
-------------------
Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные!
Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот.
-------------------

   Скачать

   Добавить в корзину


    Скачано: 1         Коментариев: 0


Не можешь найти то что нужно? Мы можем помочь сделать! 

От 350 руб. за реферат, низкие цены. Просто заполни форму и всё.

Спеши, предложение ограничено !



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

Страницу Назад

  Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 8
Вход в аккаунт:
Войти

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт


Способы оплаты:
UnionPay СБР Ю-Money qiwi Payeer Крипто-валюты Крипто-валюты


И еще более 50 способов оплаты...
Гарантии возврата денег

Как скачать и покупать?

Как скачивать и покупать в картинках


Сайт помощи студентам, без посредников!