Справка
x
только для медицинских специалистов
Консультант врача
Электронная медицинская библиотека
Вход / регистрация
Каталог
В книге
Показать все
Расширенный поиск
К результату поиска
Меню
Библиотека
Все книги
Руководства
Рекомендации
Монографии
Основные учебники
Атласы
Пациентам
Фармакология
Образование
Модули
Расписание вебинаров
Прошедшие вебинары
Мероприятия
Мероприятия
Лекарства
Справочник
Раздел
3
/
9
Страница
5
/
48
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
/
/
Внимание! Часть функций, например, копирование текста к себе в конспект, озвучивание и т.д. могут быть доступны только в режиме постраничного просмотра.
Для продолжения работы требуется
вход / регистрация
Математическая логика и теория алгоритмов
Оборот титула
Оглавление
ВВЕДЕНИЕ
Глава 1 ФОРМАЛЬНАЯ АКСИОМА ТИЧЕСКАЯ ТЕОРИЯ
+
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
-
2.1. Понятие высказывания
2.2. Логические операции математической логики
2.3. Формулы алгебры логики
2.3.1. Равносильные формулы алгебры логики
2.3.2. Дополнительные логические операции
2.3.3. Примеры равносильных преобразований формул математической логики
2.4. Алгебра логики Буля
2.5. Функции математической логики
2.6. Произвольная функция алгебры логики в виде формулы математической логики
2.7. Закон двойственности
2.8. Дизъюнктивная нормальная форма и совершенная дизъюнктивная нормальная форма
2.9. Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма. (КНФ и СКНФ)
2.10. Проблемы разрешимости
2.11. Тавтологии в математической логике
Темы для самоконтроля
Задачи и упражнения
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
+
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
+
Глава 5 ЛОГИКА ПРЕДИКАТОВ
+
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
+
Глава 7 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
+
СПИСОК ЛИТЕРАТУРЫ
Показать все
Все издания
Закрыть меню