- •Условия эффективного процесса:
- •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. Формула называется ложной в данной интерпретации, если:
8. Теорией естественного вывода задается:
А) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) правила вывода (методы доказательства) теорем считаются известными из опыта изучения математики.
Б) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) задается конечное число правил выводов, используя которые, и только их, из аксиом можно некоторым образом получать теоремы .
В) Аксиом нет, а задается только конечное число правил выводов, с помощью которых и получают теоремы.
Г) любым способом
9. Формальная аксиоматическая теория задается:
А) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) правила вывода (методы доказательства) теорем считаются известными из опыта изучения математики.
Б) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) задается конечное число правил выводов, используя которые, и только их, из аксиом можно некоторым образом получать теоремы.
В) Аксиом нет, а задается только конечное число правил выводов, с помощью которых и получают теоремы.
Г) любым способом
10. Важнейшими свойствами дедуктивной теории являются:
А) противоречивость и полнота
Б) Независимость аксиом теории
В) Разрешимость теории
Г) все варианты ответов правильные
11. Полуформальная аксиоматическая теория (теория b ) считается заданной, если:
А) задан алфавит А - алфавит теории B и заданы правила образования выражений (слов) теории B;
Б) заданы правила образования правильно построенных выражений (формул) теории B;
В) из множества правильно построенных выражений выделяется некоторое подмножество - множество аксиом теории B.
Г) все варианты ответов правильные
12. Аксиома Лобачевского:
А) Пусть a - произвольная прямая и А - точка, лежащая вне прямой a, тогда в плоскости, определенной точкой А и прямой a, можно провести не менее двух прямых, не пересекающихся с заданной прямой a.
Б) Пусть a - произвольная прямая и А - точка, лежащая вне прямой a, тогда в плоскости, определенной точкой А и прямой a, можно провести не более одной прямой, проходящей через А и не пересекающей a.
В) Пусть А, В, С - три точки, не лежащие на одной прямой, и а - некоторая прямая в плоскости АВС, не содержащая ни одной из точек А, В, С. Тогда, если прямая а проходит через точку отрезка АВ, то она проходит также либо через точку отрезка АС, либо через точку отрезка ВС.
Г) Нет правильных вариантов ответа
13. Аксиома Евклида:
А) Пусть a - произвольная прямая и А - точка, лежащая вне прямой a, тогда в плоскости, определенной точкой А и прямой a, можно провести не менее двух прямых, не пересекающихся с заданной прямой a.
Б) Пусть a - произвольная прямая и А - точка, лежащая вне прямой a, тогда в плоскости, определенной точкой А и прямой a, можно провести не более одной прямой, проходящей через А и не пересекающей a.
В) Пусть А, В, С - три точки, не лежащие на одной прямой, и а - некоторая прямая в плоскости АВС, не содержащая ни одной из точек А, В, С. Тогда, если прямая а проходит через точку отрезка АВ, то она проходит также либо через точку отрезка АС, либо через точку отрезка ВС.
Г) Нет правильных вариантов ответа