Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Задачи по теории множеств, математической логике и теории алгоритмов
Часть II. Математическая логика
Предыдущая страница
Следующая страница
Оглавление
Предисловие к четвертому изданию
Предисловие к первому изданию
Часть 1. Теория множеств
+
Часть II. Математическая логика
-
§ 1. Алгебра высказываний
§ 2. Функции алгебры логики
§ 3. Исчисления высказываний
§ 4. Язык логики предикатов
§ 5. Выполнимость формул логики предикатов
§ 6. Исчисления предикатов
§ 7. Аксиоматические теории
§ 8. Фильтрованные произведения
§ 9. Аксиоматизируемые классы
Часть III. Теория алгоритмов
+
Ответы, решения, указания
Список литературы
Предметный указатель
Данный блок поддерживает скрол*