ФОРУМ
|
|
|
Вопросы к зачету по Матлогике
- 1. Алгебра логики. Операции над высказываниями.
- 2. Совершенная дизъюнктивная нормальная форма.
- 3. Совершенная конъюктивная нормальная форма.
- 4. Функции алгебры логики. Равносильность функций.
- 5. Суперпозиции алгебры логики.
- 6. Булева алгебра.
- 7. Приведение формулы к СДНФ
- 8. Приведение формулы к КДНФ
- 9. Диаграммы Венна
- 10. Логика предикатов. Основные положения.
- 11. История математической логики
- 12. Законы алгебры множеств
- 13. Теория множеств. Основные операции на множествах
- 14. Таблица истинности.
- 15. Коньюнкция
- 16.Дизъюнкция
- 17.Импликация
- 18.Эквиваленция или равнозначность
- 19.Понятие алгебры логики
- 20.Основные логические функции
- 21.Основные законы алгебры логики
- 22.Тавтологии. Равносильные формулы
- 23.Исчисление высказываний
- 24.Логическое следование. Принцип дедукции
- 25.Предикаты первого порядка
|
|
|
