КР ТУСУР Математическая догика и теория алгоритмов Вариант 17

После оплаты вы сможете скачать документ с работой. Вы покупаете готовую работу.

 Ссылка на другие варианты ниже

Задание 1

Следующее утверждение для произвольных множеств докажите или опровергните (A\B) C = (A   C)\(B   C).

Задание 2

 Является ли тавтологией формула ?

Задание 3

 Переведите с естественного языка на язык логики предикатов:

Для любого натурального числа существует большее, делящееся на n

Задание 4

 Переведите с естественного языка на язык логики предикатов:

Если бы все боялись друг друга, то ни один человек не был бы счастлив.

Задание 5

 Для бинарного отношения х у «x y+1», определенного на множестве Z целых чисел, выясните, какими свойствами оно обладает (рефлексивность, симметричность, антисимметричность, транзитивность) и какими не обладает.

Задание 6

Найдите f(A), где A={<x,y> RxR | y=2x+3} для следующих отображений: a) f: <x,y> <y,x>; б) f: <x,y> <-y,-x>. Изобразите на плоскости множества А и f(A)

Задание 7

 Используя математическую индукцию, докажите, для целого , что

Задание 8

Расположите следующие 5 функций в порядке увеличения скорости роста (каждая функция есть O (следующая)):

Другие варианты Мат логика и теория алгоритмов для ТУСУР:

Вариант 2 https://studwork.ru/shop/441912-kr-tusur-matematicheskaya-dogika-i-teoriya-algoritmov-variant-2

Вариант 10 https://studwork.ru/shop/441908-kr-tusur-matematicheskaya-dogika-i-teoriya-algoritmov-variant-10

Вариант 13 https://studwork.ru/shop/441910-kr-tusur-matematicheskaya-dogika-i-teoriya-algoritmov-variant-13

Вариант 17 https://studwork.ru/shop/441903-kr-tusur-matematicheskaya-dogika-i-teoriya-algoritmov-variant-17