Математический аппарат и средства анализа безопасности программного обеспечения ответы Синергия МТИ

Скачать тест: Математический аппарат и средства анализа безопасности программного обеспечения.фит_БАК ответы Синергия МТИ.pdf

1. Какой раздел математической логики изучает высказывания и логические операции над ними?

2. Что такое высказывание в математической логике?

3. Какая логическая операция соответствует союзу «И» в естественном языке?

4. Какая логическая операция обозначается символом ¬?

5. Как называется таблица, показывающая значения логического выражения при всех возможных значениях переменных?

6. Чему равна конъюнкция (A ∧ B), если A – истина, а B – ложь?

7. Чему равна дизъюнкция (A ∨ B), если A – ложь, а B – истина?

8. Импликация (A → B) является ложной только в одном случае. Каком?

9. Какое из следующих выражений представляет собой закон исключённого третьего?

10. Как называется логическое выражение, которое истинно при любых значениях своих переменных?

11. Что такое контрапозиция импликации?

12. Какая из перечисленных пар логических выражений является равносильной?

13. Как называется правило, позволяющее из (A → B) и A заключить B?

14. Какой раздел математической логики расширяет логику высказываний, вводя кванторы и предикаты?

15. Что обозначает квантор всеобщности (∀)?

16. Какая из следующих формул представляет собой отрицание высказывания «Все люди прекрасен»?

17. Как называется выражение, которое ложно при любых значениях своих переменных?

18. Какая логическая операция выражается словами «A тогда и только тогда, когда B»?

19. Как с помощью логических операций записать утверждение «Если не идет дождь, то мы идем гулять»?

20. В чем заключается основной принцип доказательства от противного?

21. Что представляет собой тройка Хоара?

22. Какое утверждение описывает слабейшее предусловие (weakest precondition)?

23. Какое правило логики Хоара описывает композицию (последовательное выполнение) программ?

24. Какой из этих графов является ориентированным?

25. Что такое инвариант цикла в логике Хоара?

26. Что такое путь в графе?

27. Какое правило логики Хоара описывает условный оператор (if-then-else)?

28. Что такое сильно связный ориентированный граф?

29. Что такое корректность программы по Хоару?

30. Что такое цикломатическая сложность (цикломатическое число графа)?

31. Какое из этих утверждений описывает правило вывода (ослабления и усиления) в логике Хоара?

32. Что такое эйлеров цикл в графе?

33. Какое условие является инвариантом для цикла while (B) { C }?

34. Что такое гамильтонов цикл в графе?

35. Что описывает полная корректность программы по Хоару?

36. Что такое дерево в теории графов?

37. Какое из этих утверждений описывает правило для цикла в логике Хоара?

38. Что такое планарный граф?

39. Как определяется степень вершины в неориентированном графе?

40. Что такое раскраска графа?