Тесты "Технологии программирования"

Доброго времени суток!
Уважаемые знатоки и профессионалы, проверьте, пожалуйста ответы (выделены), если у Вас др. мнение - напишите и аргументируйте.
Тесты даны на ГЭК.
Доброго времени суток!
Помогите с ответами (выделены)

Изберите верное окончание следующего утверждения: В исчислении предикатов 1- ого порядка

кванторами могут быть зв'язанні:
Варианты ответа:
1) константы;
2) переменные;
[color=red]3) переменные и константы;[/color]
4) функциональные выражения и переменные;

Пусть существует следующая последовательность подстановок при унификации: {A/B, C/D}, {a/A, Z/Y},
3
{c/C, Z/f(h)}. Которая будет композиция этих подстановок?
Варианты ответа:
1) {B/a, D/c, f(h)/Y}
2) {a/B, C/D, Z/Y}
[color=red] 3) {a/B, c/C, f(h)/Y}[/color]
4) {a/B, C/D, f(h)/Y}

Выберите верное окончание следующего утверждения: В коммутативных системах продукции
7
Варианты ответа:
[color=red] [color=red][color=black] 1) порядок применения правил продукции не имеет значения.[/color][/color][/color]
2) некоторые правила из множества правил, которые могут примененные к глобальной исходной БД,
могут быть примененные и к любой БД, полученной из исходной с помощью этих
правил.
3) если целевое условие удовлетворяется исходной БД, то она может удовлетворяться и
некоторыми БД, полученными из нее с помощью некоторого правила системы продукции.
4) БД, которая получена с глобальной БД с помощью правил из системы продукции чувствительная к
порядку правил в системе продукции.

Укажите содержание правила вывода универсальное инстанционирование:
8
Варианты ответа:
1) Из того, что предложение P и P->Q истинные логически вытекает, что предложение Q также истинное
2) Из того, что предложение P->Q истинное, а Q - неверное логически вытекает, что предложение P
истинное.
3) Из того, что предложение я P ? Q истинное логически вытекает, что предложение P и Q также
истинные.
[color=red] 4) Если a принадлежит к той же области определения, которое и Х и предложение ? Хр(Х) истинное, то
предложение р(а) тоже истинное.
[/color]

Что с перечисленного не может быть термом исчисления предикатов:
11
Варианты ответа:
1) константы
2) переменные
[color=red] 3) функции[/color]
4) предикаты


Изберите верное окончание утверждения: Исчисление предикатов называется неразрешимым
12
потому, что при определении истинности предложения исчисления предикатов возникают проблемы
из-за того, что это предложение
Варианты ответа:
1) может содержать функцию;
2) может содержать константу;
3) может содержать сменную;
[color=red] 4) может содержать сменную, связанную кванторами существования или всеобщности;[/color]
5) выражение языком исчисления предикатов может содержать логические операции.


Выберите верное окончание утверждения: Обоснованное правило вывода
13
Варианты ответа:
[color=red] 1) разрешает вывести из верного выражения исчисления предикатов новое верное выражение;[/color]
2) разрешает вывести из верного выражения исчисления предикатов новое выражение, которое имеет смысл;
3) разрешает вывести из верного выражения исчисления предикатов новое верное выражение, которое имеет
смысл.

Выберите верное утверждение относительно поведения сменных в языке Пролог:
14
Варианты ответа:
1) В языке Пролог возможно описывать сменные как локальные ( в правилах, или в целевом
запросе), так и глобальные (область видимости - вся программа на Прологе).
2) В языке Пролог сменная всегда зв'зана с каким-то значением.
[color=red] 3) В языке Пролог сменные, которые являются аргументами правила, губят свои значения, когда
используются в сложном запросе, который объединен логической операцией ; (или).[/color]
4) Невозможно вывести на экран с помощью предиката wrіte сменную, которая есть незв'заною.
5) Пролог не выводит на экран значения незв'заних сменных после выполнения целевого
запроса (в разделе Goal).

Выберите верное окончание следующего утверждения: Операции ограничения и объединение, которые
15
используются для получения новых концептуальных графов:
Варианты ответа:
[color=red] 1) разрешают получать графы, которые имеют смысл, но не гарантируют, что с верного графу
будет получен верный граф[/color]
2) являются обоснованными правилами вывода.
3) могут использоваться только для графов, которые не имеют маркеров понятий.
4) обязательного нуждаются в выполнении операции упрощения над полученным графом.

Который из агрегатов является агрегатом без памяти?

Варианты ответа :
1) АHакопитель;
2) АКанал;
3) АЕ;
[COLOR=red] 4) АСумматор;[/COLOR]
5) АРаспределитель;

Какой из типичных моделирующих алгоритмов простейший и наиболее надежный?
15
Варианты ответа :
1) синхронный;
2) асинхронный циклический;
[COLOR=red] 3) детерминированный;[/COLOR]
4) асинхронный спорадичный.

Какой метод выявления и исправление ошибок в протоколе ARQ обеспечивает лучшие
2
скоростные характеристики работы?
Варианты ответа :
[COLOR=red]1) выборочное повторение[/COLOR]
2) возвращение на N кадров
3) повторение всей последовательности
4) случайное повторение

Под понятием аппаратуры канала данных понимают:
11
Варианты ответа :
1) компьютер;
2) сетевую карту;
3) свеч;
4) хаб;
[COLOR=red] 5) модем.
[/COLOR]
54
Под понятием оборудования коммутации данных понимают:
12
Варианты ответа :
1) сетевую карту;
2) свеч;
3) хаб;
4) роутер;
[COLOR=red] 5) шлюз.[/COLOR]

Какие топологии используются в глобальных сетях?
13
1) иерархическая;
2) шина;
3) звезда;
[COLOR=red] 4) кольцо;[/COLOR]
5) ячейковая.

К протоколам первичный / вторичный относятся:
14
1) контроль несущей;
2) остановка и ожидания;
3) передача маркера;
[COLOR=red] 4) ARQ;[/COLOR]
5) TDMA.

Какие из ровно ранговых протоколов могут использоваться в приоритетных и безприоритетных системах?
1) вставка регистра;
2) контроль несущей;
[COLOR=red]3) передача маркера;[/COLOR]
4) ARQ;
5) TDM.

Какой метод передачи трафика реализуется протоколом ARQ ?
16
1) симплексный;
2) дуплексный;
[COLOR=red]3) напів- дуплексный;[/COLOR]

Какой из методов контроля несущей обеспечивает наискорейшее увеличение свободного канала?
17
1) р- настойчивый;
2) не настойчивый;
[COLOR=red] 3) 1- настойчивый .[/COLOR]

Какой из методов контроля несущей наименее склонен к коллизии?
18
1) р- настойчивый;
[COLOR=red] 2) не настойчивый;[/COLOR]
3) 1- настойчивый .

Какие функции реализует транспортный уровень модели ВВС?
24
[COLOR=red] 1) контроль ошибок;[/COLOR]
2) передачу данных;
3) маршрутизацию и коммутацию данных;
4) синхронизацию данных.

Которые из каталогов маршрутизации на сегодняшний день есть наиболее распространенными?
25
1) фиксированный (статический) каталог ;
2) каталог, ориентированный на сеансы;
[COLOR=red] 3)адаптивный (динамический) каталог.[/COLOR]

Которые из компонент относятся к категории сетевых адресных устройств?
26
1)физические устройства;
[COLOR=red]2) логические устройства;[/COLOR]
3) коммуникационные линии;
4)прикладные программы.

Который из каталогов маршрутизации при формировании маршрута использует пакет "иглу"?
27
1) фиксированный(статический) каталог ;
[COLOR=red] 2) каталог, ориентированный на сеансы;[/COLOR]
3)адаптивный(динамический) каталог.

Функциям каких уровней модели ВВС отвечают функции групп NT1 и NT2 в сетях
28
ІSDN?
1)физического;
[COLOR=red] 2) канального;[/COLOR]
3) сетевого;
4)транспортного;
5) прикладного.

Функциям каких уровней модели ВВС отвечают функции групп TЕ1 и TЕ2 в сетях
29
ІSDN?
[COLOR=red] 1)физического;[/COLOR]
2) канального;
3) сетевого;
4)транспортного;
5) прикладного.



Выделенные ответы мои - поправьте, если где надо.
Заранее благодарен.

Заранее благодарен.