Вы находитесь на странице: 1из 6

ONLINE ТУСУР Экзамены Оставшееся

время
1:59:53
Правила выполнения теста Учебный план

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

Миссия математической логики. Краткая история логики

1
Какие утверждения верны?

Трактат Н. Бурбаки «Начала математики» рассчитан на первоначальное обучение


математики.
Н. Бурбаки продолжает свою деятельность и в настоящее время.
Николя Бурбаки – французский математик.
Строгость изложения трактата Н. Бурбаки сформировала современный стандарт
строгости математических текстов.

Выберите все верные ответы (может быть несколько или один).

Миссия математической логики. Краткая история логики

2
Какие математики сделали значительный вклад в теорию алгоритмов?

Д. Гильберт
А Тьюринг
Б. Рассел
А. Черч

Выберите все верные ответы (может быть несколько или один).

Алгоритмы и вычислимые функции. Сложность вычислений

3
Какие утверждения верны?

Объекты, которые мы будем рассматривать, являются функциями с областью


определения Nk (k – целое положительное число) и с областью значений N. Такие
функции будем называть k-местными частичными.
Нигде не определенная функция вычислима.
При формализации вычислимости достаточно рассматривать алгоритмы, имеющие дело
только с натуральными числами, так как объекты другой природы можно закодировать
натуральными числами.

Выберите все верные ответы (может быть несколько или один).

Основы теории множеств

4
Выберите все верные ответы (может быть несколько или один).

Факультет дистанционного обучения ТУСУР 2020


Оставшееся
Отметьте выражения, описывающие закрашенное множество (см. рисунок). время
1:59:53

(A∩B∩C)∪(((A∪B∪C)\(B∩C))\(A∩B))
((A∪B∪C)\((B∩C)∪(A∩B)))∪(A∩B∩C)
(A∪B)\C
((A∪B)\C)∪(B∩C)

Основы теории множеств

5
Найдите область значений (ОЗ) отношений.
{<a,1>,<a,2>,<c,1>,<c,2>,<c,4>,<d,5>} ОЗ: { }
{<1,a>,<2,b>,<3,c>,<4,c>} ОЗ: { }

Указания: В поля для ввода латинские буквы записывайте через запятую по алфавиту, а
числа по возрастанию.
Пример ввода ответов:
a,b,c
1,2,3

Следуйте подсказкам по вводу ответов.

Математическое доказательство

6
Предскажите наиболее вероятное следующее число в последовательности.
3, 5, 13, 15, 23, 25, 33,

Следуйте подсказкам по вводу ответов.

Языки первого порядка

7
Универсум – множество людей.
Предикаты:
A(x)=истина тогда и только тогда, когда человек x – двоечник.
B(x)=истина тогда и только тогда, когда человек x – ленивый.
Выберите правильный перевод на язык логики предикатов.
«Не все двоечники ленивы».

∀x (A(x)⊃¬B(x))
∃x (A(x)&¬B(x))
∀x (A(x)&¬B(x))
∃x (A(x)⊃¬B(x))

Выберите все верные ответы (может быть несколько или один).


Факультет дистанционного обучения ТУСУР 2020
Оставшееся
время
Языки первого порядка
1:59:53
8
Универсум – множество людей.
Предикаты:
L(x)=истина тогда и только тогда, когда человек x – справедливый.
T(x)=истина тогда и только тогда, когда человек x – моя тетка.
Выберите правильный перевод на язык логики предикатов.
«Все мои тетки не справедливы».

∀x (T(x)&¬L(x))
∀x (T(x)⊃¬L(x))
∃x (T(x)⊃¬L(x))
∃x (T(x)&¬L(x))

Выберите все верные ответы (может быть несколько или один).

Языки первого порядка

9
На острове, где живут и рыцари, и лжецы, Раймонд Смаллиан встретил человека, который
произнес высказывание:
«Я лжец или на острове живут лжецы».
Кто этот человек?

Лжец
Он или рыцарь, или лжец. Точно сказать нельзя.
Рыцарь
Он не может быть ни рыцарем, ни лжецом.

Выберите все верные ответы (может быть несколько или один).

Основы теории множеств

10
Даны два отношения φ={<b,a>,<c,e>,<a,b>} и ρ={<x,a>,<a,b>,<e,x>}.
Опишите композицию отношений ρ°φ.

Указания: Ответ введите по примеру, используя фигурные скобки {…}, угловые скобки <…>,
латинские буквы, запятые для разделения букв и элементов композиции (упорядоченных пар).
Пример ввода ответа: {<b,c>,<c,c>,<b,a>}

Введите слово, словосочетание или символьно-цифровое выражение.

Основы теории множеств

11
Пусть φ={<b,a>,<b,c>,<a,b>}.
Укажите элементы композиции отношений φ°φ.

<a,a>
<b,a>
<c,b>
Факультет дистанционного обучения ТУСУР 2020
<c,a>
Оставшееся
<b,c> время
1:59:53
<a,b>
<a,c>
<b,b>
<c,c>

Выберите все верные ответы (может быть несколько или один).

Математическое доказательство

12
Предскажите наиболее вероятное следующее число в последовательности.
2, 3, 5, 7, 11, 13,

Следуйте подсказкам по вводу ответов.

Аксиоматический метод

13
Сколько констант содержит сигнатура теории множеств Цермело-Френкеля?

Указания: В ответ введите число, записанное цифрами.


Пример ввода ответа: 9

Введите слово, словосочетание или символьно-цифровое выражение.

Аксиоматический метод

14
Следующие утверждения говорят о формальных аксиоматических теориях.
Какие утверждения верны?

Если поиск доказательства теорем теории нельзя передать компьютеру, то она не


является формальной аксиоматической.
Стандарт правильности рассуждений для теории T определен настолько точно, что
проверку правильности готовых доказательств можно передать компьютеру.
Теорию T можно считать формальной, если построен алгоритм для проверки
правильности рассуждений с точки зрения принципов теории T.

Выберите все верные ответы (может быть несколько или один).

Основы теории множеств

15
Пусть Z – множество целых чисел и отображение f(n)=5 отображает Z в Z.
Какие утверждения об образах и прообразах множеств верны?

f(∅)=Z

f–1({5,6})=Z
f–1(Z)=Z Факультет дистанционного обучения ТУСУР 2020
f(∅)={5}
Оставшееся
время
f–1({1,2,0})=∅
1:59:53

Выберите все верные ответы (может быть несколько или один).

Пропозициональная логика

16
Пусть A – произвольное высказывание, И – любое истинное высказывание. Тогда истинностное
значение высказывания A&И есть…

такое же, как у A.


ложь.
противоположно A.
истина.

Выберите все верные ответы (может быть несколько или один).

Пропозициональная логика

17
Пусть □ – логическая связка такая, что утверждение A□B ложно в том и только в том случае,
когда A истинно, а B ложно, и истинно в остальных случаях. Такая связка называется…

дизъюнкция.
конъюнкция.
импликация.
эквиваленция.

Выберите все верные ответы (может быть несколько или один).

Алгоритмы и вычислимые функции. Сложность вычислений

18
Какие утверждения верны?

Тьюринг предложил определение своих машин еще до создания первых вычислительных


машин.
В определении машины Тьюринга заложены ограничения на количество материала для
запоминающего устройства и длину вычислений.
Машины Тьюринга – абстрактные вычислительные машины – рассматриваются для
формального определения вычислимых функций.

Выберите все верные ответы (может быть несколько или один).

Языки первого порядка

19
Универсум – множество людей.
Предикаты:
A(x) – человек x – чиновник.
B(x) – человек x берет взятки.
Выберите правильный перевод на язык логики предикатов
«Чиновники берут взятки, но не все».
Факультет дистанционного обучения ТУСУР 2020
∃x (A(x)&B(x)) & ∃x (A(x)&¬B(x)) Оставшееся
время
∃x (A(x)&B(x))
1:59:53
¬∀x (A(x)&B(x))
∃x (A(x)&B(x)&¬B(x))

Выберите все верные ответы (может быть несколько или один).

Основы теории множеств

20
Укажите отображения отношения на множестве живущих людей.
Каждому человеку ставится в соответствие его:

брат
год рождения
мать
дочь

Выберите все верные ответы (может быть несколько или один).

Сохранить, но не отправлять Отправить всё и завершить экзамен

Факультет дистанционного обучения ТУСУР 2020