| engineerklub | Дата: Пятница, 10.12.2021, 10:53 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 34139
Статус: Offline
| Математическая логика и теория алгоритмов.
Тип работы: Билеты экзаменационные
Сдано в учебном заведении: ДО СИБГУТИ
Описание:
Вопрос №1
На множестве натуральных чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y):
пустое множество
все натуральные числа
целые числа, большие или равные 4
все целые числа
целые числа, большие 4
Вопрос №2
На множестве вещественных чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y):
пустое множество
все целые числа
числа, большие или равные 4
все вещественные числа
Вопрос №3
Верно ли, что ∀x∃yP(x,y)≡∃y∀xP(x,y):
нельзя определить
верно
зависит от определения предиката P
не верно
Вопрос №4
Какие переменные в формуле являются свободными :
x
y, z
x, z, p
z
нет свободных переменных
Вопрос №5
Дана машина Тьюринга с алфавитом и программой Определить, через сколько шагов машина Тьюринга перейдет в заключительное состояние, если начальная конфигурация была
5
3
2
никогда не перейдет
Вопрос №6
Укажите формулы, которые не в предваренной форме:
нет ни одной формулы в предваренной форме
Вопрос №7
Какие из формул представлены в предваренной форме :
нет ни одной формулы в предваренной форме
Вопрос №8
Выяснить, является ли следующая формула тождественно истинной или тождественно ложной: (x&y → z) → (x → (y → z)):
является тождественно истинной
является тождественно ложной
невозможно определить
Вопрос №9
Если в логическом исчислении найдется такая выводимая формула А, что формула ¬А также выводима, то логическое исчисление называется:
противоречивым
непротиворечивым
невыполнимым
Вопрос №10
Какие из выражений являются формулами исчисления предикатов:
1. P(x)
2.∀xQ(x)
3. ∃x∀xR(x,y)
1 и 2
2 и 3
все
нет формул ИП
Вопрос №11
Если алгоритмическое преобразование начальных данных происходит по шагам и на каждом шаге алгоритма из данных, имевшихся на предыдущем шаге, по предписанным правилам получается новая совокупность величин, можно говорить о:
дискретности алгоритма
непрерывности алгоритма
выполнимости алгоритма
Вопрос №12
Дана машина Тьюринга с алфавитом и программой Определить сколько единиц будет на ленте машины Тьюринга через 2 шага после начала работы, если начальная конфигурация была
4
3
2
1
Вопрос №13
Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(x,y), g2(x,y), g3(x,y). f(x,y,z)=(x+y)z, g1(x,y)=x, g2(x,y)=y-x, g3(x,y)=x+y. Определите значение F(2,3):
10
15
9
6
значение функции неопределено
Вопрос №14
Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(x,y), g2(x,y), g3(x,y). f(x,y,z)=(x+y)z, g1(x,y)=x, g2(x,y)=x-y, g3(x,y)=x+y. Определите значение F(5,3):
15
56
9
32
значение функции неопределено
Вопрос №15
Дана машина Тьюринга с алфавитом и программой Определить сколько единиц будет на ленте машины Тьюринга через 2 шага после начала работы, если начальная конфигурация была
4
3
2
1
Вопрос №16
Что из указанного НЕ является свойством алгоритма:
направленность
дискретность
детерминированность
вычислимость
Вопрос №17
Если имеется критерий, позволяющий определить, что является результатом работы алгоритма, значит алгоритм:
предсказуемый
элементарный
направленный
дискретный
Вопрос №18
Укажите неверные соотношения с кванторами:
∀x∀yQ(x,y)≡∀y∀xQ(x,y)
∀x∃yQ(x,y)≡∀y∃xQ(x,y)
¬∀xP(x)≡∃x¬P(x)
Вопрос №19
Чтобы узнать, выводима ли некоторая формула в исчислении высказываний, достаточно выяснить, является ли формула:
тождественно ложной
тождественно истинной
выводимой
Вопрос №20
На множестве целых чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y):
пустое множество
все натуральные числа
целые числа, большие или равные 4
все целые числа
целые числа, большие 4
СКАЧАТЬ
|
| |
| |
