Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика и теория алгоритмов
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
Поставить закладку
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
ВВЕДЕНИЕ
Глава 1 ФОРМАЛЬНАЯ АКСИОМА ТИЧЕСКАЯ ТЕОРИЯ
+
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
-
2.1. Понятие высказывания
2.2. Логические операции математической логики
2.3. Формулы алгебры логики
2.3.1. Равносильные формулы алгебры логики
2.3.2. Дополнительные логические операции
2.3.3. Примеры равносильных преобразований формул математической логики
2.4. Алгебра логики Буля
2.5. Функции математической логики
2.6. Произвольная функция алгебры логики в виде формулы математической логики
2.7. Закон двойственности
2.8. Дизъюнктивная нормальная форма и совершенная дизъюнктивная нормальная форма
2.9. Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма. (КНФ и СКНФ)
2.10. Проблемы разрешимости
2.11. Тавтологии в математической логике
Темы для самоконтроля
Задачи и упражнения
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
+
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
+
Глава 5 ЛОГИКА ПРЕДИКАТОВ
+
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
+
Глава 7 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
+
СПИСОК ЛИТЕРАТУРЫ
Данный блок поддерживает скрол*