Академический Документы
Профессиональный Документы
Культура Документы
время
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
Математическое доказательство
11
Предскажите наиболее вероятное следующее число в последовательности.
1, 5, 2, 10, 3, 15, 4, 20, 5,
Пропозициональная логика
12
Раймонд Смаллиан встретил на острове рыцарей и лжецов человека, который
произнес:
«Если 2×2=5, то я рыцарь».
Кто этот человек?
Лжец
Он не может быть ни рыцарем, ни лжецом.
Он или рыцарь, или лжец. Точно сказать нельзя.
Рыцарь
Аксиоматический метод
13
Следующие утверждения говорят о формальных аксиоматических теориях.
Какие утверждения верны?
14
Два множества A и B имеют одинаковую мощность, если существует…
сюръекция A на B.
биекция A на B.
инъекция A в B.
15
Какие утверждения верны?
16
Универсум – множество вещественных чисел.
Предикаты:
x=y – истина тогда и только тогда, когда числа x и y равны.
f(x)=0 – число x есть решение уравнения f(x)=0.
Выберите правильный перевод на язык логики предикатов
«У уравнения f(x)=0 не менее двух решений».
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
Оставшееся
время
20
Амброс Бирс приводит пример силлогизма:
Большая посылка: Шестьдесят людей способны сделать определенную работу в
шестьдесят раз быстрее, чем один человек.
Меньшая посылка: Один человек может выкопать яму под столб за 60 секунд.
Вывод: Шестьдесят людей могут выкопать яму под столб за 1 секунду.
Вывод неверный.
Большая посылка неверна.
Малая посылка неверна.
Это рассуждение логически правильное.