NsmuBase

Учебные материалы и ответы на тесты

МАТЕМАТИЧЕСКАЯ ЛОГИКА: ВОПРОСЫ К ЗАЧЕТУ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ и ТПР

МАТЕМАТИЧЕСКАЯ ЛОГИКА: ВОПРОСЫ К ЗАЧЕТУ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ и ТПР

ВОПРОСЫ К ЗАЧЕТУ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ и ТПР (2012-13уч.г.)
1. Высказывания и операции над ними. Понятие формулы алгебры высказываний.
2. Классификация формул алгебры высказываний. Тавтологии алгебры высказываний. Примеры. Основные правила получения тавтологий.
3. Логическая равносильность формул алгебры высказываний. Основные равносильности.
4. Совершенная дизъюнктивная нормальная форма (СДНФ). Теорема об СДНФ. Построение СДНФ формулы по таблице.
5. Совершенная конъюнктивная нормальная форма (СКНФ).Теорема об СКНФ. Построение СКНФ формулы по таблице.
6. Логическое следствие. Свойства и признаки логического следствия.
7. Нахождение всех логических следствий из данных посылок (алгоритм и его обоснование).
8. Булевы функции от 1 и 2 переменных. Теорема о количестве булевых функций от n переменных.
9. Равенство булевых функций. Законы равенства булевых функций.
10. Теорема об СДНФ булевой функции. Пример.
11. Теорема об СКНФ булевой функции. Пример.
12. Полиномы Жегалкина. Теорема о представлении булевой функции полиномом. Методы представления булевых функций полиномами.
13. Полные системы. Примеры полных систем (с доказательством полноты). Признаки полных систем.
14. Классы Поста P0, P1, M. Их свойства.
15. Классы Поста L и S. Их свойства.
16. Теорема Поста о полноте системы булевых функций. Пример ее применения.
17. Предикаты, их область истинности и классификация. Примеры.
18. Логические операции над предикатами. Связь между областями истинности результата и исходных предикатов.
19. Кванторные операции над предикатами. Примеры.
20. Понятие формулы алгебры предикатов (АП). Свободные и связанные переменные. Примеры. Интерпретация.
21. Тавтологии АП.
22. Равносильные формулы А.П. Признак логической равносильности.
23. Численные кванторы и ограниченные кванторы.
24. Основные понятия теории принятия решений. Классификация задач принятия решений

МАТЕМАТИЧЕСКАЯ ЛОГИКА: ВОПРОСЫ К ЗАЧЕТУ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ и ТПР

Next Post

Previous Post

© 2020 NsmuBase

Проект winterweb.pro