Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Формальные системы
1. Формальная аксиоматическая теория
Предыдущая страница
Следующая страница
Оглавление
Предисловие
1. Формальная аксиоматическая теория
-
1.1. Формализация математических теорий
1.2. Общие сведения о формальных и аксиоматических системах
Контрольные вопросы
2. Классическое исчисление высказываний
+
3. Логика предикатов
+
Библиографический список
Данный блок поддерживает скрол*