Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
Приключения Калле Блюмквиста Родари Д. Сказки по телефону или Говорящий сверток Твен М. Приключения Тома Сойера Толкин Д.Р.Р. Хоббит, или Туда и обрат...полностью>>
'Документ'
Эффективность функционирования экономической системы оценивается, как правило, несколькими критериями. Математической формой критерия эффективности в ...полностью>>
'Учебник'
1 1 Урок обобщения и систематизации знаний 1 1 Контрольная работа № 1 1 1 Глава II. Степенная функция. 9 11 Степенная функция, её свойства и график....полностью>>
'Документ'
Срок доставки определяется временем следования до станции назначения поезда, которым отправлен багаж/грузобагаж. При перегрузе в пути срок доставки оп...полностью>>

Главная > Документ

Сохрани ссылку в одной из сетей:
Информация о документе
Дата добавления:
Размер:
Доступные форматы для скачивания:

Тест №1

  1. Определение элементарной конъюнкции и ДНФ.

  2. Определение нерасширяемой ДНФ.

  3. Определение ДНФ сумма тупиковых.

  4. Критерий вхождения простых импликант в ДНФ пересечение тупиковых.

  1. Определение импликанты и простой импликанты.

  2. Определение минимальной ДНФ и кратчайшей ДНФ.

  3. Определение ядровой точки, ядровой грани и ДНФ Квайна.

  4. Формулировка утверждения, связанного с построением сокращенной ДНФ из какой-либо КНФ.

  1. Определение сокращённой ДНФ.

  2. Определение тупиковой ДНФ.

  3. Определение пучка, регулярной точки и регулярной грани.

  4. Формулировка утверждения, связанного с построением сокращённой ДНФ из какой-либо ДНФ.

Тест №2

  1. Дать определение частично-упорядоченного множества (ЧУМ), его ширины и ранжированного ЧУМ.

  2. Выписать КНФ для ФАЛ теста для таблицы и цели контроля {(1,2), (1,3), (2,4), (4,5)}

  1. Дать определение функции Шеннона (n) для длины сокращенной ДНФ и привести её оценки.

  2. Сформулировать утверждение об особенностях ДНФ для монотонных ФАЛ.

  1. Дать определение покрытия матрицы и ФАЛ покрытия.

  2. Выписать сокращённую ДНФ монотонной ФАЛ с множеством нижних единиц {(0011), (1001), (0110)}.

  3. Дать определение функции Шеннона (n) для длины ДНФ и указать её значение.

  4. Сформулировать утверждение о длине диагностического теста для почти всех таблиц.

    1. Дать определение теста для таблицы и заданной цели контроля.

    2. Выписать максимальную антицепь частично-упорядоченного множества целых чисел отрезка [1, 10] с отношениями делимости.

    3. Дать определение функции Шеннона R(n) ранга ДНФ и указать ее значение.

    4. Сформулировать утверждение о длине градиентного покрытия.

Тест №3

  1. Определение -схемы и её сложности.

  2. Определение приведенной СФЭ.

  3. Определение величины и её верхняя оценка.

  4. Утверждение о соотношениях между рангом, сложностью и глубиной одной и той же формулы.

  1. Определение СФЭ в базисе {&, , } и её глубины.

  2. Определение подобных формул.

  3. Определение величины и её верхняя оценка.

  4. Определение альтернирования формулы с поднятыми отрицаниями и утверждение об оптимизации подобных формул по глубине.

    1. Определение (1,1) – КС от БП x1,...,xn и её функционирования (той ФАЛ, которую она реализует).

    2. Определение эквивалентности двух СФЭ.

    3. Определение величины и её верхняя оценка.

    4. Определение вычисляющей программы (ВП) и ее ширины, утверждение о ширине ВП, моделирующей ДНФ.

Тест № 4

  1. Дать определение тождества для формул, и его подстановки.

  2. Дать определение подсхемы КС и указать правила применение к ней тождеств.

  3. Привести основные тождества, связанные с:

    1. законом де Моргана для конъюнкции – в классах формул и СФЭ;

    2. ветвлением выхода ФЭ отрицания – в классе СФЭ;

    3. введением фиктивной БП в контакт – в классе КС.

  4. Сформулировать утверждение о переходе от КПСТ для ЭП формул к КПСТ для ЭП СФЭ.

  1. Дать определение тождества для СФЭ, и его подстановки.

  2. Дать определение подформулы данной формулы и указать правила применения к ней тождеств.

  3. Привести основные тождества, связанные с:

    1. подстановкой константы 0 в конъюнкцию – в классах формул и СФЭ;

    2. снятием “висячего” входа – в классе СФЭ;

    3. формульным тождеством вида – в классе КС.

  4. Дать определение разделяющей КС и сформулировать лемму Шеннона.

  1. Дать определение тождества для КС, и его подстановки.

  2. Дать определение подсхемы СФЭ и указать правила применения к ней тождеств.

  3. Привести основные тождества, связанные с:

    1. дистрибутивностью конъюнкции относительно дизъюнкций – в классах формул и СФЭ;

    2. снятием “висячего” ФЭ отрицания – в классе СФЭ;

    3. перебрасыванием контакта в трюхполюсной схеме - в классе КС.

  4. Дать определение суммарного цикломатического числа КС и сформулировать утверждение о его изменениях при применении основных тождеств.

Тест № 5

  1. Определение глубины D(f) ФАЛ f(x1…xn) и её тривиальная нижняя оценка для существенной ФАЛ f.

  2. Определение функции Шеннона LC(n) и её верхняя оценка, получаемая методом Шеннона.

  3. Нижняя мощностная оценка функции Шеннона LФ(n) и то соотношение, из которого она выводится.

  4. Верхняя оценка функции Шеннона Lk(n), получаемая асимптотически наилучшим способом.

  5. Утверждение о нижней оценке сложности КС, реализующей заданную систему ФАЛ, и асимптотика сложности контактного дешифратора.

  1. Определение сложности LC(f) ФАЛ f в классе СФЭ и её тривиальная нижняя оценка для существенной ФАЛ f.

  2. Определение функции Шеннона LФ(n) и её верхняя нижняя оценка, получаемая с помощью моделирования совершенной ДНФ на основе контактного дерева.

  3. Нижняя мощностная оценка функции Шеннона Lk(n) и то соотношение, из которого она выводится.

  4. Верхняя оценка функции Шеннона D(n), получаемая асимптотически наилучшим способом

  5. Определение регулярного множества наборов единичного куба и формулировка утверждения о разбиении куба на такие подмножества.

  1. Определение сложности Lk(f) ФАЛ f(x1…xn) в классе КС и её тривиальная нижняя оценка для существенной ФАЛ f.

  2. Определение функции Шеннона D(n) и её верхняя оценка, получаемая с помощью моделирования совершенной ДНФ.

  3. Нижняя мощностная оценка функции Шеннона LC(n) и то соотношение, из которого она выводится.

  4. Верхняя оценка функции Шеннона LФ(n), получаемая асимптотически наилучшим способом.

  5. Определение ДУМ и описание стандартного ДУМ.

  1. Определение сложности LФ(f) ФАЛ f(x1...xn) в классе формул и её тривиальная нижняя оценка для существенной ФАЛ.

  2. Определение функции Шеннона Lk(n) и её верхняя оценка, получаемая методом Шеннона.

  3. Нижняя мощностная оценка функции Шеннона D(n) и то соотношение, из которого она выводится.

  4. Верхняя оценка функции Шеннона LC(n), получаемая асимптотически наилучшим способом.

  5. Формулировка утверждения, из которого следует минимальность контактного дерева в классе разделительных КС.



Похожие документы:

  1. Учебное пособие для вузов (5)

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

Другие похожие документы..