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

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

Точные задания прикреплены в демо файлах

Задание 1

Проверить для произвольных множеств, что

Задание 2

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

Задание 3

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

Логарифмы всех положительных рациональных чисел иррациональны.

Задание 4

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

Доисторические ящеры при встречах уступали дорогу друг другу.

Задание 5

Пусть и - бинарные отношения на некотором множестве. Докажите, что

Задание 6

Пусть и - отображения R в R. Найдите отображения и . Являются ли отображениями R в R отношения и ?

Задание 7

Докажите, используя математическую индукцию, равенство для целых

Задание 8

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

роста (каждая функция есть O (следующая)):

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

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

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

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

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