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