Справка
x
только для медицинских специалистов
Консультант врача
Электронная медицинская библиотека
Вход / регистрация
Каталог
В книге
Показать все
Расширенный поиск
К результату поиска
Меню
Библиотека
Все книги
Руководства
Рекомендации
Монографии
Основные учебники
Атласы
Пациентам
Фармакология
Образование
Модули
Расписание вебинаров
Прошедшие вебинары
Мероприятия
Мероприятия
Лекарства
Справочник
Раздел
4
/
9
Страница
36
/
42
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
/
/
Внимание! Часть функций, например, копирование текста к себе в конспект, озвучивание и т.д. могут быть доступны только в режиме постраничного просмотра.
Для продолжения работы требуется
вход / регистрация
Математическая логика и теория алгоритмов
Оборот титула
Оглавление
ВВЕДЕНИЕ
Глава 1 ФОРМАЛЬНАЯ АКСИОМА ТИЧЕСКАЯ ТЕОРИЯ
+
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
+
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
-
3.1. Основные понятия теории множеств
3.2. Виды множеств
3.3. Пересечение множеств
3.4. Объединение множеств
3.5. Разность множеств
3.6. Дополнение множества
3.7. Взаимосвязь записи высказывания в математической логике и теории множеств
3.8. Кванторы общности и существования в случае конечного универсального множества
3.9. Бинарные отношения и функции
3.10. Взаимно однозначные соответствия и эквивалентные множества
3.11. Теорема Кантора и канторовский диагональный метод
3.12. Парадоксы теории множеств
3.13. Аксиоматическая теория множеств
Темы для самоконтроля
Задачи и упражнения
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
+
Глава 5 ЛОГИКА ПРЕДИКАТОВ
+
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
+
Глава 7 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
+
СПИСОК ЛИТЕРАТУРЫ
Показать все
Все издания
Закрыть меню