Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Voprosi ot sabitova.doc
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
195.07 Кб
Скачать

Сабитов Темир Равильевич гр.4252

  1. Условия эффективного процесса:

А) для любого элемента из M за конечное число шагов выясним, обладает заданный элемент свойством U или нет.

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

В) форма выяснения, когда заключение выводится чисто логическим путем (т.е. по правилам логики)

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

2. Условия полуэффективного процесса:

А) для любого элемента из M за конечное число шагов выясним, обладает заданный элемент свойством U или нет.

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

В) форма выяснения, когда заключение выводится чисто логическим путем (т.е. по правилам логики)

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

3. Дедукция:

А)процедура позволяющая выяснить за конечное число шагов, обладает заданный элемент свойством U или нет

Б) форма мышления, когда заключение выводится чисто логическим путем (т.е. по правилам логики)

В) форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе (общему утверждению).

Г) процедура позволяющая выяснить за неизвестное число шагов, обладает заданный элемент свойством U или нет

4. Индукция:

А)процедура позволяющая выяснить за конечное число шагов, обладает заданный элемент свойством U или нет

Б) форма мышления, когда заключение выводится чисто логическим путем (т.е. по правилам логики)

В) форма мышления, посредством которой от некоторых фактов или истинных высказываний переходят к некоторой гипотезе (общему утверждению).

Г) процедура позволяющая выяснить за неизвестное число шагов, обладает заданный элемент свойством U или нет

5. Дедуктивная теория считается заданной, если:

А). Задан алфавит и правила образования выражений (слов) в этом алфавите.

Б). Заданы правила образования формул (правильно построенных выражений) языка.

В). Из множества всех формул языка выделено некоторым дедуктивным способом подмножество Т, элементы которого будем называть теоремами. В зависимости от того, как задано это подмножество Т, будем различать получающиеся при этом дедуктивные теории.

Г) все варианты ответов правильные

6. Подмножество т может задаваться следующим способом:

А) Задаются аксиомы и конечное число правил выводов

Б) Задаются только аксиомы, а правила вывода считаются известными

В) Аксиом нет, а задается только конечное число правил выводов

Г) все варианты ответов правильные

7. Полуформальная аксиоматическая теория задается:

А) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) правила вывода (методы доказательства) теорем считаются известными из опыта изучения математики.

Б) 1) из множества формул (правильно построенных выражений) выделяется подмножество А, элементы которого называются аксиомами (аксиом может быть как конечное число, так и бесконечное), 2) задается конечное число правил выводов, используя которые, и только их, из аксиом можно некоторым образом получать теоремы .

В) Аксиом нет, а задается только конечное число правил выводов, с помощью которых и получают теоремы.

Г) любым способом