test1 (1133100)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Тест №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) – КС от БП x₁,...,x_n и её функционирования (той ФАЛ, которую она реализует).

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(x₁…x_n) и её тривиальная нижняя оценка для существенной ФАЛ f.

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

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

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

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

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

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

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

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

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

1. Определение сложности L^k(f) ФАЛ f(x₁…x_n) в классе КС и её тривиальная нижняя оценка для существенной ФАЛ f.

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

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

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

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

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

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

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

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

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

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов ответов (шпаргалок)