Онлайн Тест 1 по дисциплине: Математическая логика и теория алгоритмов.

Вопрос No1
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z). Вычислить значение f(3,3), если g(x)=x+5 и h(x,y,z)= z-x:

2

1

9

5

значение функции не определено

Вопрос No2
Функция f(x) получена операцией примитивной рекурсии из константы С и функции h(x,y). Вычислить значение f(3), если С=5 и h(x,y)= x-y:

2

1

9

6

значение функции не определено

Вопрос No3
Чтобы узнать, выводима ли некоторая формула в исчислении высказываний, достаточно выяснить, является ли формула:

тождественно ложной

тождественно истинной

выводимой

Вопрос No4
Если при любых значениях переменных, содержащихся в формуле, ее значение равно ЛОЖЬ, то формула называется:

выполнимой

невыполнимой

тождественно ложной

тождественно истинной

Вопрос No5
Высказыванием называется ... повествовательное предложение.

... истинное ...

... ложное ...

... истинное или ложное ...

Вопрос No6
Правило: A, A→B ├ B является:

свойством двоичных функций

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

правилом вычисления в исчислении высказываний

преобразованием в исчислении высказываний

Вопрос No7
Верно ли, что ∀x∃yP(x,y)≡∃y∀xP(x,y):

нельзя определить

верно

зависит от определения предиката P

не верно

Вопрос No8
Функция 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

значение функции неопределено

Вопрос No9
Функция 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(2,3):

1

5

9

3

значение функции не определено

Вопрос No10
Если имеется критерий, позволяющий определить, что является результатом работы алгоритма, значит алгоритм:

предсказуемый

элементарный

направленный

дискретный

Вопрос No11
На множестве целых чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃yP(x,y):

пустое множество

все натуральные числа

целые числа, большие или равные 4

все целые числа

целые числа, большие 4

Вопрос No12
Формулы А и В логически эквивалентны, если:

формула В имеет значение ИСТИНА при всех интерпретациях, при которых формула А имеет значение ИСТИНА

формула А является логическим следствием формулы В

формулы А и В являются логическим следствием друг друга

Вопрос No13
Дана машина Тьюринга с алфавитом и программой Определить внутреннее состояние, в которое переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была

q1

q0

q2

Вопрос No14
Если алгоритмическое преобразование начальных данных происходит по шагам и на каждом шаге алгоритма из данных, имевшихся на предыдущем шаге, по предписанным правилам получается новая совокупность величин, можно говорить о:

дискретности алгоритма

непрерывности алгоритма

выполнимости алгоритма

Вопрос No15
Является ли формула A → (B→A) аксиомой исчисления высказываний:

да

нет

нельзя определить

Вопрос No16
Верно ли соотношение (∃xP(x)→∀yQ(y))→R(z)≡∃xP(x)&∃yQ(y)∨R(z):

верно

не верно

нельзя определить

Вопрос No17
Выясните, является ли следующая формула тождественно истинной или тождественно ложной: (y → x) → (x → y):

является тождественно истинной

является тождественно ложной

невозможно определить

Вопрос No18
Функция f(x) получена операцией примитивной рекурсии из константы С и функции h(x,y). Вычислить значение f(3), если С=2 и h(x,y)=x-y:

12

15

9

60

значение функции не определено

Вопрос No19
Является ли формула A→ (B→A) аксиомой исчисления высказываний:

да

нет

нельзя определить

Вопрос No20
Дана машина Тьюринга с алфавитом и программой Определить внутреннее состояние, в которое переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была

q1

q0

q2

Комментарии:
Оценка: Отлично
Дата оценки: 04.11.2022

Помогу с вашим вариантом, другой дисциплиной, онлайн-тестом, либо сессией под ключ.
E-mail: sneroy20@gmail.com
E-mail: ego178@mail.ru