ФОРУМ
|
|
|
Список вопросов к экзамену по дисциплине 'Математическая логика и теория алгоритмов'
МИППС, КубГТУ
- 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.Полнота системы логических функций
- 26.Критерии полноты Поста - Яблонского
- 27.Аксиоматические системы, формальный вывод
- 28.Исчисление высказываний
- 29.Логическое следование. Принцип дедукции
- 30.Метод резолюций в исчислении высказываний
- 31.Предикаты первого порядка
- 32.Рекурсивные функции
Матлогика (Оглавление)
США: статистические параметры
|
|
Кубанские казаки
|
