только для медицинских специалистов

Раздел 3 / 9

Страница 1 / 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 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ +

СПИСОК ЛИТЕРАТУРЫ