ПЕРЕЧЕНЬ КОНТРОЛЬНЫХ ВОПРОСОВ

Раздел 1. Алгебра множеств

1. Определение понятия множества.
2. Основные операции над множествами.
3. Доказательство равенства множеств.
5. Задание нечетких множеств.
6. Операции над нечеткими множествами.
7. Способы задания соответствий.
8. Отображения и функции.
9. Бинарные отношения.
10.Отношение эквивалентности.

Раздел 2. Булевы функции

1. Функции одной и двух переменных.
2. Нормальные формы логических функций.
3. Метод минимизации Квайна, Мак –Класки.
4. Матрицы Карно.

Раздел 3. Логика высказываний и предикатов

1. Логическое следование и проблема дедукции

2. Метод резолюций в логике высказываний
3. Алгоритм метода резолюций
4. Оснвные равносильности алгебры предикатов
5. Кванторы общности и существования
6. Метод резолюций в логике предикатов

Раздел 4. Элементы теории графов

1. Основные понятия теории графов.
2. Двудольные графы
3. Изоморфизм графов. Цепи и циклы.
4. Понятие расстояний, диаметр графа.
5. Потоки в сетях.
6. Нахождение полного и наибольшего потока.
7. Метод Дейкстры.
8. Метод Флойда.
9. Задача о кратчайшем пути в неориентированном графе.
10. Построение пути наименьшей длины.

Раздел 5. Элементы теории алгоритмов

1. Определение понятия алгоритма.
2. Свойства алгоритмов.
3. Виды алгоритмов.
4. Численные, логические алгоритмы.
5. Записи алгоритмов: по Ван Хао и по Ляпунову.
6. Способы записи последовательности решения задач. Схемы алгоритмов
7. Основные требования к схемам алгоритмов
8. Переход от логических схем к схемам алгоритмов.
 9. Достоинства и недостатки структурного представления алгоритмов.
10. Оценка сложности алгоритмов.

Тестовые задания

1. Объединение двух множеств A и B есть

a. A  B = {x: xÎ A Ù хÎ В},
b. A  B = {x: xÎ A , Ú хÎ В},
с. A \ B = {x: xÎ A , Ù хÏ В}.

Ответ: b.
2. Пересечение двух множеств A и B есть
a. A  B = {x: xÎ A Ù хÎ В},
b. A  B = {x: xÎ A , Ú хÎ В},
с. A \ B = {x: xÎ A , Ù хÏ В}.

Ответ: а.

3. Разность двух множеств A и B есть

a. A  B = {x: xÎ A Ù хÎ В},
b. A  B = {x: xÎ A , Ú хÎ В},
с. A \ B = {x: xÎ A , Ù хÏ В}.

Ответ: с.

4. Симметрическая разность двух множеств A и B есть

a. A Δ B = ( A \ B)  ( B \ A),
b. A  B = {x: xÎ A Ú хÎ В},
с. A \ B = {x: xÎ A Ù хÏ В}.

Ответ: a.

5. Множество A задано посредством характеристического предиката P, а множество

B – посредством характеристического предиката Q. Как операция объединения над
множествами соотносится с логическими операциями?
a. {x: xÎ P(x) ÚQ( х)},
b. {x: xÎ P(x) ÙQ( х)},
c. {x: xÎ P(x)ÙØ Q( х)}.

Ответ: а.

6. Множество A задано посредством характеристического предиката P, а множество

B – посредством характеристического предиката Q. Как операция пересечения над
множествами соотносится с логическими операциями?
 a. {x: xÎ P(x) ÚQ( х)},
b. {x: xÎ P(x) ÙQ( х)},
c. {x: xÎ P(x)ÙØ Q( х)}.

Ответ: b.

7. Множество A задано посредством характеристического предиката P, а множество

B – посредством характеристического предиката Q. Как операция разности над
множествами соотносится с логическими операциями?
a. {x: xÎ P(x) ÚQ( х)},
b. {x: xÎ P(x) ÙQ( х)},
c. {x: xÎ P(x)ÙØ Q( х)}.

Ответ: с.

1. Какому закону булевой алгебры отражает выражение x + (y+z) = (x+y) + z

a. коммутативность;
b. ассоциативность;
c. дистрибутивность.

Ответ: b.

2. Какие логические функции представляют таблицы истинности:

.
p q pÚq p q pÙq p p

0 0 0 0 0 0 0 1
0 1 1 0 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1

a. импликацию, эквивалентность, неравнозначность;

b. инверсию, дизъюнкцию, конъюнкцию;
c. штрих Шеффера, стрелку Пирса, запрета.
Ответ: b.

3. В какой форме представлено выражение (x1 + x2 + x3) x4

a. СДНФ
b. ДНФ
c. КНФ
d. СКНФ
Ответ: с.

3. Какие значения в таблицах истинности соответствуют действительности

 x 00001111
y 00110011
z 01010101
xy ?
xy + z ?
xy  z ?

a.
x 00001111
y 00110011
z 01010101
xy 01010011
xy + z 00010111
xy  z 10001000
b.

x 00001111
y 00110011
z 01010101
xy 00000011
xy + z 01110111
xy  z 10101101

c.

x 00001111
y 00110011
z 01010101
xy 00000011
xy + z 01010111
xy  z 10101000

Ответ: с.

5. Какое выражение представляет схему устройства

 a. f = xyÚz
b. f = xÚyÚz
c. f = xÚyz
Ответ: a.

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

ее предметной постоянной, мы снижаем число мест в предикате на единицу. Например, из

двухместного предиката Р(х,у) с помощью двух кванторов можно образовать 8

высказываний:

1) "x "y P(x,y) ; 5) "y "x P(x,y),

2) $x $y P(x,y) ; 6) $y $x P(x,y),

3) $x "y P(x,y) ; 7) "y $x P(x,y),

4) "x $y P(x,y) ; 8) $y "x P(x,y).
Какие из высказываний равносильны?
a. все;
b. четвертый и пятый;
c. первый и второй;
d. седьмой и восьмой.
Ответ: с.

7. Какая из таблиц описывает работу полусумматора

вход выход вход выход вход выход
AB S P AB S P AB S P
0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 0 0 1 1 0 0 1 1 0
1 0 1 0 a. 1 0 1 0 b. 1 0 1 0 c.
1 1 0 1 1 1 0 1 1 1 0 1

Ответ: c.
.