
- •Условия эффективного процесса:
- •2. Условия полуэффективного процесса:
- •3. Дедукция:
- •4. Индукция:
- •5. Дедуктивная теория считается заданной, если:
- •6. Подмножество т может задаваться следующим способом:
- •7. Полуформальная аксиоматическая теория задается:
- •8. Теорией естественного вывода задается:
- •9. Формальная аксиоматическая теория задается:
- •10. Важнейшими свойствами дедуктивной теории являются:
- •11. Полуформальная аксиоматическая теория (теория b ) считается заданной, если:
- •12. Аксиома Лобачевского:
- •13. Аксиома Евклида:
- •14. Дедуктивная теория называется противоречивой, если :
- •15. Дедуктивная теория называется непротиворечивой, если :
- •16. Противоречием называется
- •24. Дизъюнкция – это
- •25. На что указывает верхний и нижний индекс предикатных и функциональных букв?
- •26. А∨в является сокращенной записью формулы:
- •27. Элементарной дизъюнкцией называется дизъюнкция любого числа булевых переменных, взятых с отрицанием или без него, в которой каждая переменная встречается
- •41. Условия полуэффективного процесса:
- •42. Формула a является противоречием тогда и только тогда, когда её стандартная форма As является:
- •44. Булева функция f, у которой таблица истинности имеет вид
- •45. Индукция:
- •65. Формула называется выполнимой в данной интерпретации, если:
- •66. Формула называется истинной в данной интерпретации, если:
- •67. Формула называется ложной в данной интерпретации, если:
Сабитов Темир Равильевич гр.4252
Условия эффективного процесса:
А) для любого элемента из M за конечное число шагов выясним, обладает заданный элемент свойством U или нет.
Б) для любого элемента из M данная процедура не всегда позволяет выяснить за конечное число шагов, обладает заданный элемент свойством U или нет.
В) форма выяснения, когда заключение выводится чисто логическим путем (т.е. по правилам логики)
Г) форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе.
2. Условия полуэффективного процесса:
А) для любого элемента из M за конечное число шагов выясним, обладает заданный элемент свойством U или нет.
Б) для любого элемента из M данная процедура не всегда позволяет выяснить за конечное число шагов, обладает заданный элемент свойством U или нет.
В) форма выяснения, когда заключение выводится чисто логическим путем (т.е. по правилам логики)
Г) форма выяснения, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе.
3. Дедукция:
А)процедура позволяющая выяснить за конечное число шагов, обладает заданный элемент свойством U или нет
Б) форма мышления, когда заключение выводится чисто логическим путем (т.е. по правилам логики)
В) форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе (общему утверждению).
Г) процедура позволяющая выяснить за неизвестное число шагов, обладает заданный элемент свойством U или нет
4. Индукция:
А)процедура позволяющая выяснить за конечное число шагов, обладает заданный элемент свойством U или нет
Б) форма мышления, когда заключение выводится чисто логическим путем (т.е. по правилам логики)
В) форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе (общему утверждению).
Г) процедура позволяющая выяснить за неизвестное число шагов, обладает заданный элемент свойством U или нет
5. Дедуктивная теория считается заданной, если:
А). Задан алфавит и правила образования выражений (слов) в этом алфавите.
Б). Заданы правила образования формул (правильно построенных выражений) языка.
В). Из множества всех формул языка выделено некоторым дедуктивным способом подмножество Т, элементы которого будем называть теоремами. В зависимости от того, как задано это подмножество Т, будем различать получающиеся при этом дедуктивные теории.
Г) все варианты ответов правильные
6. Подмножество т может задаваться следующим способом:
А) Задаются аксиомы и конечное число правил выводов
Б) Задаются только аксиомы, а правила вывода считаются известными
В) Аксиом нет, а задается только конечное число правил выводов
Г) все варианты ответов правильные
7. Полуформальная аксиоматическая теория задается:
А) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) правила вывода (методы доказательства) теорем считаются известными из опыта изучения математики.
Б) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) задается конечное число правил выводов, используя которые, и только их, из аксиом можно некоторым образом получать теоремы .
В) Аксиом нет, а задается только конечное число правил выводов, с помощью которых и получают теоремы.
Г) любым способом