Учебные материалы по математике | Дедуктивные теории | Matematiku5
Вузы по математике Готовые работы по математике Как писать работы по математике Примеры решения задач по математике Решить задачу по математике online

Дедуктивные теории


13. Пусть , , D для D* является?

1) поддизъюнкт

2) наддизъюнкт

3) подконъюнкт

4) надконъюнкт

14. Пусть , , D для D* является?

1) поддизъюнкт

2) наддизъюнкт

3) подконъюнкт

4) надконъюнкт

15. Литера, которая не содержит отрицания, называется…

1) хорновской

2) унитарной

3) позитивной

4) негативной

16. Литера, которая содержит отрицание, называется…

1) хорновской

2) унитарной

3) позитивной

4) негативной

17. Дизъюнкт, содержащий не более одной позитивной литеры?

1) хорновский

2) унитарный

3) позитивный

4) негативный

18. Константы и функции, используемые для замены переменных квантора существования:

1) позитивные функции

2) сколемовские функции

3) предикатные функции

4) хорновские функции

19. ⊨A⇒B, тогда:

1) A≡B

2) B⇒A

3) A⊨B

4) A ̅VB

20. Дизъюнктом называется дизъюнкция…

1) предикатов

2) кванторов

3) дизъюнкций

4) литералов

ДЕДУКТИВНЫЕ ТЕОРИИ

1. Метод, если: 1) есть предписание, определяющее последовательность преобразований которые надо применять одно за другим к элементу из некоторого класса M; 2) если элемент x из M задан, предписание однозначно определяет такую последовательность преобразований, что за конечное число шагов выясняем, обладает x свойством U или нет?

1) неэффективный процесс

2) эффективный процесс

3) полуэффективный процесс

4) гиперэффективный процесс

2. Некоторая процедура, которая не всегда позволяется для произвольного элемента x из M за конечное число шагов выяснить, обладает x свойством U или нет.

1) неэффективный процесс

2) эффективный процесс

3) полуэффективный процесс

4) гиперэффективный процесс

3. Форма мышления, когда заключение выводится чисто логическим путем из некоторых данных посылок.

1) софизм

2) дедукция

3) индукция

4) силлогизм

4. Форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе.

1) софизм

2) дедукция

3) индукция

4) силлогизм

5. «Все люди смертны. Сократ – человек. Следовательно, Сократ смертен.» Какое рассуждение?

1) софистическое

2) дедуктивное

3) индуктивное

4) силлогическое

6. «5>3, 3>1, следовательно, 5>1.» Какое рассуждение?

1) софистическое

2) дедуктивное

3) индуктивное

4) силлогическое

7. «График функции y=2x+3 прямая, график функции y=3x+1 прямая, следовательно, функция вида y=kx+b имеют графиком прямую.» Какое рассуждение?

1) софистическое

2) дедуктивное

3) индуктивное

4) силлогическое

8. Дедуктивные теории, в которых множество теорем покрывает все множество формул называются…

1) противоречивыми

2) непротиворечивыми

3) разрешимыми

4) неразрешимыми

9. Дедуктивные теории, в которых множество теорем покрывает не все множество формул называются…

1) противоречивыми

2) непротиворечивыми

3) разрешимыми

4) неразрешимыми

10. Как называется отдельная аксиома дедуктивной теории, если эту аксиому нельзя вывести в этой теории из остальных аксиом?

1) первообразная

2) производная

3) зависимая

4) независимая

11. Как называется отдельная аксиома дедуктивной теории, если эту аксиому можно вывести в этой теории из остальных аксиом?

1) первообразная

2) производная

3) зависимая

4) независимая

12. Как называется дедуктивная теория, если в этой теории понятие теоремы эффективно, т. е. существует правило, позволяющее для произвольной формулы за конечное число действий выяснить, является она теоремой или нет?

1) разрешимая

2) неразрешимая

3) зависимая

4) независимая

13. Как называется дедуктивная теория, если в этой теории понятие теоремы неэффективно, т. е. не существует правило, позволяющее для произвольной формулы за конечное число действий выяснить, является она теоремой или нет?

1) разрешимая

2) неразрешимая

3) зависимая

4) независимая

14. Какой символ не является символом теории L?

1) (,)

2) &

3)

4)

15. Правило modus ponens: B есть непосредственное следствие A и …

1)

2)

3)

4)

16.

Наташа

Автор

Наташа — контент-маркетолог и блогер, но все это не мешает ей оставаться адекватным человеком. Верит во все цвета радуги и не верит в теорию всемирного заговора. Увлекается «нефрохиромантией» и тайно мечтает воссоздать дома Александрийскую библиотеку.

Распродажа дипломных

 Скидка 30% по промокоду Diplom2020

А ты боишься COVID-19?

 Пройди опрос и получи промокод