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

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

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

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

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

1
Универсум – множество вещественных чисел.
Предикаты:
x=y – истина тогда и только тогда, когда числа x и y равны.
R(x) – истина тогда и только тогда, когда число x есть решение уравнения
a·x2+b·x+c+ε·sin(x)=0.
Выберите правильный перевод на язык логики предикатов.
«У уравнения a·x2+b·x+c+ε·sin(x)=0 ровно два решения».

∃x y (R(x)&R(y)&(∀z (R(z)⊃((x=z)∨(y=z)))))
∃x R(x) & ∃y R(y)
R(x)&R(y)

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

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

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

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

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

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

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

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

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

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

4
Пусть A – формула логики высказываний.
Что означает следующая запись?
|=A

A – опровержима.
A – противоречие.
A – выполнима.
A – тавтология.

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

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

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

Математическая логика – математика по предмету и математика по


методу.
Математика применяет свои методы для изучения своей собственной
структуры.
Математическая логика – логика по предмету и математика по методу.

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

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

6
Какие из следующих четырех функций, отображающих множество целых чисел Z
во множество целых чисел fi: Z → Z, i=1,2,3,4, имеют обратные функции?

f2(n)=n–3
f1(n) = число, полученное из цифр n, когда они записываются в обратном
Факультет дистанционного обучения ТУСУР 2020
порядке
Оставшееся
f3(n)=n3 время
1:59:50
f4(x) = n-е по порядку простое число

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

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

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

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

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

8
Какое утверждение верно?

Один из способов определения новых частично-рекусивных функций из


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

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

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

9
Какие формулы являются теоремами (или аксиомами) исчисления предикатов?

A&B⊃B
A&¬A
A&B⊃A

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

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

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


Оставшееся
Какие из следующих утверждений верны? время
1:59:50
∅⊆A, где A – произвольное множество
∅⊆∅
∅∈A, где A – произвольное множество
∅∈∅
∅⊂∅

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

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

11
Предскажите наиболее вероятное следующее число в последовательности.
1, 5, 2, 10, 3, 15, 4, 20, 5,

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

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

12
Раймонд Смаллиан встретил на острове рыцарей и лжецов человека, который
произнес:
«Если 2×2=5, то я рыцарь».
Кто этот человек?

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

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

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

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

Стандарт правильности рассуждений для теории T определен настолько


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

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


Выберите все верные ответы (может быть несколько или один).
Оставшееся
время
1:59:50

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

14
Два множества A и B имеют одинаковую мощность, если существует…

сюръекция A на B.
биекция A на B.
инъекция A в B.

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

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

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

Если бы мы могли допускать больше символов, чем 0 и 1, то класс


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

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

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

16
Универсум – множество вещественных чисел.
Предикаты:
x=y – истина тогда и только тогда, когда числа x и y равны.
f(x)=0 – число x есть решение уравнения f(x)=0.
Выберите правильный перевод на язык логики предикатов
«У уравнения f(x)=0 не менее двух решений».

∃x y (f(x)=0 & f(x)=0 & ¬(x=y))


∃x f(x)=0 & ∃y f(y)=0
f(x)=0 & f(y)=0

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


Факультет дистанционного обучения ТУСУР 2020
Оставшееся
время
Языки первого порядка
1:59:50
17
Задан некоторый язык первого порядка с константами a и b одноместными
предикатными символами P и Q. Пусть задана интерпретация, носитель
которой состоит из двух элементов {a,b}. Интерпретация предикатов: P(a)=1,
P(b)=1; Q(a)=1, Q(b)=0.
Найдите истинностные значения формул в данной интерпретации (0 – ложь; 1 –
истина).
∃x (P(x)&Q(x)) = {0; 1}
∀x P(x) ⊃ ∃y P(y) = {0; 1}

Указания: Из предложенного в фигурных скобках выделите всё необходимое


для истинности выражений.

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

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

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

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

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

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

19
Какие из следующих утверждений верны?

{2,3}∈{1,2,3,{1,2,3}}
{1,2,3}∈{1,2,3,{1,2,3}}
∅={∅}
{2}∈{1,2,3,4,5}
{1,2,3}⊆{1,2,3,{1,2,3}}
{2}⊆{1,2,3,4,5}
Факультет дистанционного обучения ТУСУР 2020
Оставшееся
время

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


1:59:50

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

20
Амброс Бирс приводит пример силлогизма:
Большая посылка: Шестьдесят людей способны сделать определенную работу в
шестьдесят раз быстрее, чем один человек.
Меньшая посылка: Один человек может выкопать яму под столб за 60 секунд.
Вывод: Шестьдесят людей могут выкопать яму под столб за 1 секунду.

Вывод неверный.
Большая посылка неверна.
Малая посылка неверна.
Это рассуждение логически правильное.

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

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

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

Оценить