Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

С.Ф. Тюрин, Ю.А. Аляев ДИСКРЕТНАЯ МАТЕМАТИКА ТЕСТ-ДРАЙВ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ И МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

.pdf
Скачиваний:
47
Добавлен:
15.11.2022
Размер:
754.08 Кб
Скачать

2.3. Экстремальные задачи, оптимизационные задачи

Вопрос

1

2

3

4

5

 

6

 

7

 

 

8

9

 

10

 

 

 

 

 

 

Ответ

4

3

1

4

4

 

2

 

2

 

 

3

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

 

16

 

17

 

18

19

20

 

 

 

 

 

 

 

Ответ

2

1

4

1

1

 

2

 

4

 

3

 

4

 

2

 

 

 

 

 

 

 

2.4. Комбинаторная оптимизация, метод ветвей и границ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

 

6

 

7

 

8

9

 

10

11

 

 

 

 

 

Ответ

3

1

4

1

4

 

3

 

2

 

 

1

3

 

2

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

12

13

14

15

16

 

17

 

18

 

19

20

21

22

 

 

 

 

 

Ответ

3

3

1

1

1

 

4

 

3

 

 

2

1

 

2

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

III. Автоматы

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Переключательные функции

 

 

 

 

1.1. Понятие переключательной функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

 

6

 

7

 

8

9

 

10

 

 

 

 

 

 

Ответ

4

3

2

1

2

 

3

 

2

 

 

4

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

 

16

 

17

 

18

19

20

 

 

 

 

 

 

Ответ

3

4

2

1

2

 

2

 

2

 

 

1

3

 

1

 

 

 

 

 

 

 

1.2. Минимизация методом карт Карно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

 

1

 

2

 

3

 

4

 

5

 

6

 

 

7

 

8

 

9

 

10

 

11

12

13

14

Ответ

 

4

 

3

 

4

 

2

 

4

 

1

 

 

2

 

2

 

3

 

3

 

4

1

2

1

221

1.3. Метод поразрядного сравнениярабочих и запрещенных наборов

Вопрос

1

2

3

4

5

6

7

8

9

10

11

12

Ответ

1

4

2

3

2

4

1

4

2

3

4

2

1.4. Базис Жегалкина. Минимизация переключательных функций в базисе «сумма по модулю два, НЕ»

Вопрос

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

Ответ

2

3

2

4

1

2

3

4

2

3

1

2

3

4

3

1.5. Понятие о системной минимизации переключательных функций. Булева производная

Вопрос

1

2

3

4

5

6

7

8

Ответ

1

3

4

2

3

2

4

1

Вопрос

9

10

11

12

13

14

15

16

Ответ

2

1

4

3

2

4

1

1

2. Автоматы и формальные грамматики

2.1. Понятие формальной грамматики. Автоматные языки

Вопрос

1

2

3

4

5

6

7

8

9

10

11

 

 

 

 

 

Ответ

4

3

4

2

2

1

1

3

2

4

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

12

13

14

15

16

17

18

19

20

21

22

 

 

 

 

 

Ответ

4

2

1

2

2

3

1

2

4

2

1

 

 

 

 

 

2.2. Конечные автоматы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

11

 

12

13

14

15

Ответ

3

2

2

1

2

3

4

3

2

3

4

 

4

3

2

3

222

Вопрос

 

 

16

 

 

17

18

19

 

 

20

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ

 

 

1

 

 

 

3

 

 

2

 

4

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.3. Эквивалентность в автоматах

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

 

 

1

 

 

 

2

 

 

3

 

4

 

 

5

 

6

 

7

 

8

 

 

9

 

10

11

12

13

Ответ

 

 

4

 

 

 

1

 

 

2

 

3

 

 

1

 

4

 

2

 

4

 

 

1

 

3

2

3

1

2.4. Анализ автоматов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

 

2

 

3

 

4

 

5

 

 

6

 

7

 

8

9

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ

3

 

2

 

1

 

4

 

2

 

 

3

 

4

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

10

 

11

 

12

13

 

14

 

 

15

 

16

 

17

18

 

 

 

 

 

 

 

 

 

 

 

 

Ответ

3

 

4

 

3

 

2

 

1

 

 

2

 

2

 

3

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Элементы теории кодирования

 

 

 

 

 

 

 

3.1. Системы счисления

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

 

1

 

 

2

 

 

3

 

 

4

 

5

 

6

 

 

7

 

8

 

 

9

 

10

 

11

 

12

 

13

 

14

Ответ

 

3

 

 

2

 

 

3

 

 

4

 

2

 

1

 

 

2

 

1

 

 

3

 

4

 

2

 

1

 

3

 

4

3.2. Форматы представления данных

 

 

 

 

 

 

 

 

 

 

 

 

и кодирование информации

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

 

2

 

3

 

4

 

5

 

 

6

 

7

 

8

9

 

10

 

 

 

 

 

 

 

 

 

 

Ответ

4

 

3

 

2

 

4

 

1

 

 

2

 

3

 

4

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

 

12

 

13

14

 

15

 

 

16

 

17

 

18

19

20

 

 

 

 

 

 

 

 

 

 

Ответ

2

 

3

 

4

 

3

 

2

 

 

1

 

1

 

2

 

3

 

3

 

 

 

 

 

 

 

 

 

 

223

3.3. Выполнение арифметических операций

Вопрос

1

2

 

3

4

5

6

7

8

9

10

 

11

Ответ

1

2

 

3

2

4

3

2

1

2

3

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

12

13

 

14

15

16

17

18

19

20

21

 

 

Ответ

2

3

 

2

1

3

2

2

1

2

3

 

 

3.4. Кодирование

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

 

3

4

5

6

7

8

9

 

 

 

Ответ

2

3

 

4

3

3

2

2

3

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

10

11

 

12

13

14

15

16

17

 

 

 

 

Ответ

4

3

 

2

2

1

1

4

4

 

 

 

 

 

 

 

МАТЕМАТИЧЕСКАЯ ЛОГИКА

 

 

 

 

И ТЕОРИЯ АЛГОРИТМОВ

 

 

 

 

 

 

I. Логика высказываний

 

 

 

 

1. Элементы формальной логики

1.1. Понятие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

 

3

4

5

6

7

8

9

10

 

11

Ответ

4

3

 

3

2

1

1

1

3

4

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

13

14

 

15

12

16

17

18

19

20

21

 

22

Ответ

4

2

 

1

2

1

2

1

1

2

4

 

4

1.2. Суждение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

 

3

4

5

6

7

8

9

10

 

 

Ответ

2

3

 

4

3

2

2

1

2

2

3

 

 

224

Вопрос

11

12

13

14

 

15

16

17

18

19

20

 

 

 

 

Ответ

2

1

4

3

 

4

2

4

3

1

2

 

 

 

 

1.3. Умозаключение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

 

5

6

7

8

9

10

11

12

 

 

Ответ

2

3

4

3

 

2

1

2

3

2

3

4

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

13

14

15

16

 

17

18

19

20

21

22

23

 

 

 

Ответ

4

4

3

1

 

1

2

3

2

4

3

2

 

 

 

 

 

2. Формулы логики высказываний

 

 

 

2.1. Формулы алгебры высказываний. Представление

булевых функций формулами

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

 

5

6

7

8

9

10

11

12

13

 

Ответ

1

1

2

3

 

3

4

3

4

2

1

2

4

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

14

15

16

17

 

18

19

20

21

22

23

24

25

 

 

Ответ

1

3

1

2

 

1

2

1

3

3

4

3

2

 

 

2.2. Функциональная полнота систем булевых функций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

 

5

6

7

8

9

10

 

 

 

 

Ответ

2

3

1

2

 

4

3

2

2

2

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

 

15

16

17

18

19

20

 

 

 

 

Ответ

1

4

1

2

 

1

2

2

1

4

3

 

 

 

 

2.3. Минимизация булевых функций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

 

5

6

7

8

9

10

11

12

13

 

Ответ

2

3

4

3

 

2

1

3

2

4

3

2

1

2

 

225

Вопрос

14

15

16

17

18

19

20

21

22

23

24

25

26

Ответ

3

1

2

3

4

3

2

1

2

3

2

4

1

2.4. Арифметизация логических функций.

Псевдобулевы функции и их представление рядами Фурье

Вопрос

1

2

3

4

5

6

7

8

9

10

 

Ответ

2

1

3

2

4

3

4

2

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

16

17

18

19

20

 

Ответ

3

4

3

2

1

3

2

3

1

4

 

2.5. Метод резолюций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

 

Ответ

2

4

3

4

3

1

2

1

3

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

 

16

 

17

18

19

20

 

Ответ

4

1

2

1

1

 

3

 

4

1

2

2

 

 

 

 

II. Логические исчисления

 

 

 

 

1. Логика предикатов

1.1. Формулы логики предикатов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

 

Ответ

1

1

2

3

2

4

3

4

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

 

16

 

17

18

19

20

 

Ответ

4

1

2

3

1

 

3

 

2

4

1

2

 

1.2. Тождественные преобразования формул логики преди-

катов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

 

Ответ

2

1

3

2

4

3

4

3

2

1

 

226

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

16

17

18

19

20

 

 

Ответ

2

2

3

3

4

2

4

1

4

3

 

 

1.3. Формализация суждений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

 

11

Ответ

2

4

3

1

2

2

3

3

4

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

12

13

14

15

16

17

18

19

20

21

 

 

Ответ

4

3

2

4

1

2

1

3

1

4

 

 

1.4. Метод резолюций в логике предикатов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

 

 

Ответ

3

2

4

1

1

2

3

4

4

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

16

17

18

19

20

 

 

Ответ

2

3

2

1

4

3

4

2

1

2

 

 

2. Логические исчисления

2.1. Понятие формальной системы и формальной теории

Вопрос

1

 

2

 

3

 

4

 

5

 

 

6

 

7

 

8

 

9

 

10

11

12

13

14

Ответ

2

 

1

 

2

 

3

 

4

 

 

3

 

3

 

2

 

3

 

1

2

3

4

2

2.2. Исчисление высказываний

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

 

2

3

4

5

6

 

7

 

8

 

9

 

10

 

 

 

 

 

Ответ

2

 

3

2

4

1

2

 

1

 

2

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

 

12

13

14

15

16

 

17

 

18

 

19

20

 

 

 

 

 

Ответ

1

 

1

2

3

4

3

 

 

4

 

 

3

 

4

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

227

2.3. Исчисление предикатов, полнота и непротиворечивость

Вопрос

1

2

3

4

5

6

7

8

9

10

Ответ

2

4

3

2

3

1

2

1

3

2

Вопрос

11

12

13

14

15

16

17

18

19

20

Ответ

2

1

3

4

1

4

3

2

4

3

III. Теория алгоритмов

1. Основные понятия теории алгоритмов

1.1. Основные подходы к формализации понятия алгоритма

Вопрос

1

2

3

4

5

6

7

8

9

10

Ответ

2

1

3

3

3

4

2

2

1

3

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

16

17

18

19

20

Ответ

3

4

4

2

2

1

1

2

3

2

1.2. Сложность алгоритмов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

 

Ответ

1

4

2

3

2

3

4

2

1

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

10

11

12

13

14

15

16

17

 

 

Ответ

2

3

4

3

2

2

4

1

 

 

1.3. Машина Тьюринга. Машина Поста

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

5

6

7

8

9

10

Ответ

2

1

3

3

2

1

2

3

4

3

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

14

15

16

17

18

19

20

Ответ

2

1

2

3

2

2

1

2

3

4

228

1.4. Язык Пролог

Вопрос

1

2

3

4

5

6

7

8

9

10

Ответ

3

4

3

2

2

3

4

3

2

1

Вопрос

11

12

13

14

15

16

17

18

19

 

Ответ

2

3

3

2

1

2

3

2

1

 

2. Модальные логики

2.1. Современные модальные логики

Вопрос

1

2

3

4

 

5

 

6

 

7

 

8

 

9

 

10

 

 

Ответ

3

4

2

3

 

3

 

3

 

2

 

3

 

4

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

11

12

13

 

14

 

15

 

16

 

17

 

18

 

19

 

20

 

 

Ответ

3

2

2

 

3

 

2

 

1

 

2

 

3

 

2

 

4

 

 

2.2. Элементы теории нечетких множеств

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

1

2

3

4

 

5

 

6

 

7

 

8

 

9

 

10

 

11

Ответ

2

1

2

3

 

2

 

3

 

4

 

3

 

4

 

3

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопрос

12

13

14

15

 

16

 

17

 

18

 

19

 

20

 

21

 

 

Ответ

2

2

2

3

 

1

 

2

 

1

 

2

 

3

 

3

 

 

229

СПИСОК ЛИТЕРАТУРЫ

1.Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 357 с.

2.Тюрин С.Ф., Аляев Ю.А. Дискретная математика: практическая дискретная математика и математическая логика. – М.: Финансы

истатистика, 2010. – 394 с.

3.Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика: учеб. пособие для вузов. – М.:

Наука, 2000. – 540 с.

4.Кузнецов О.П., Адельсон-Вельский Г.Н. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988. – 480 с.

5.Новиков Ф.А. Дискретная математика для программиста. –

СПб.: Питер, 2001. – 501 с.

6.Плотников А.Д. Дискретная математика: учеб. пособие. – Минск: Новое знание, 2008. – 320 с.

7.Канцедал С.А. Дискретная математика: учеб. пособие. – М.:

Форум; Инфра-М, 2007. – 224 с.

8.Осипова В.А. Основы дискретной математики: учеб. пособие. –

М.: Форум; Инфра-М, 2006. – 160 с.

9.Коршунов Ю.М. Математические основы кибернетики: учеб. пособие. – М.: Энергоатомиздат, 1987. – 446 с.

9.Тюрин C.Ф., Ланцов В.М. Дискретная математика & математическая логика: учеб. пособие. – Пермь: Изд-во Перм. нац. исслед. политехн. ун-та, 2013. – 271 с.

230