Файл: На множестве натуральных чисел задан предикат P(x,y)"x4y". Определить область истинности предиката xP(x,y).docx

Скачать файл
Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 25.04.2024

Просмотров: 7

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Вопрос №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

Смотрите также файлы