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