Страницу Назад
Поискать другие аналоги этой работы
500 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 8ID: 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 Кбайт Фаил: (.docx) ------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Скачано: 1 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 14 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №21 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 10 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №4 Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 8
Вход в аккаунт: