Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика и теория алгоритмов
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Предыдущая страница
Следующая страница
Оглавление
ВВЕДЕНИЕ
Глава 1 ФОРМАЛЬНАЯ АКСИОМА ТИЧЕСКАЯ ТЕОРИЯ
+
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
+
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
+
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
-
4.1. Пропозициональные связки и основные логические операции
4.2. Основные логические операции и их логический смысл
4.3. Понятие формулы исчисления высказываний
4.4. Доказуемые формулы исчисления высказываний
4.4.1. Логические отношения между формулами
4.4.2. Порядок построения доказуемых формул
4.5. Правила вывода исчисления высказываний
4.6. Производные правила вывода
4.7. Понятия выводимости и вывода из совокупности формул
4.8. Основные правила выводимости
4.9. Примеры доказательства некоторых законов логики
4.10. Связь между алгеброй высказываний и исчислением высказываний
4.11. Проблемы аксиоматического исчисления высказываний
Темы для самоконтроля
Задачи и упражнения
Глава 5 ЛОГИКА ПРЕДИКАТОВ
+
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
+
Глава 7 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
+
СПИСОК ЛИТЕРАТУРЫ
Данный блок поддерживает скрол*