М: МГУЭСИ, 2001 г., 84с.
Данное пособие рассчитано на читателя, впервые знакомящегося с курсом дискретной математики, основными понятиями Булевой алгебры и теории графов. В первой части пособия изложены основные понятия теории множеств и алгебры высказываний, простейшего основного раздела математической логики.
Во второй части пособия изложены сведения из теории графов, рассмотрены задачи по определению экстремальных путей на графе, что позволяет решить такие задачи экономического содержания, как построение самого дешевого нефтепровода, определение скорейшего времени завершения проекта и др. В целом изложенный в пособии материал является одной из основ построения математических методов в экономике.
Данный файл содержит первую часть.
Содержание
Введение
Операции над множествами. Алгебра Буля
Тренировочные задания к разделу
Тест
Отображение множеств. Мощность множества. Отношения
Отображение множеств
Мощность множества
Отношения на множестве (эквивалентность, толерантность, порядок)
Тренировочные задания к разделу
Тест
Алгебра высказываний
Математическая логика
Логические операции
Формулы алгебры высказываний
Варианты импликации
Функции алгебры высказываний
Полные системы связок
Тренировочные задания к разделу
Тест
Проверка правильности рассуждений. Нормальные формы
формул алгебры высказываний
Логические отношения
Проверка правильности рассуждений
Нормальные формы формул алгебры высказываний
Совершенные нормальные формы
Тренировочные задания к разделу
Тест
Алгебра высказываний и релейно-контактные
схемы. Исчисление высказываний
Построение формулы алгебры высказываний по заданной
логической функции
Моделирование алгебры высказываний с помощью релейно-контактных схем
Исчисление высказываний. Символы, формулы, аксиомы исчисления высказываний
Теорема дедукции
Проблемы непротиворечивости, полноты, независимости
аксиом исчисления высказываний
Тренировочные задания к разделу
Тест
Вопросы для самопроверки
Литература
Данное пособие рассчитано на читателя, впервые знакомящегося с курсом дискретной математики, основными понятиями Булевой алгебры и теории графов. В первой части пособия изложены основные понятия теории множеств и алгебры высказываний, простейшего основного раздела математической логики.
Во второй части пособия изложены сведения из теории графов, рассмотрены задачи по определению экстремальных путей на графе, что позволяет решить такие задачи экономического содержания, как построение самого дешевого нефтепровода, определение скорейшего времени завершения проекта и др. В целом изложенный в пособии материал является одной из основ построения математических методов в экономике.
Данный файл содержит первую часть.
Содержание
Введение
Операции над множествами. Алгебра Буля
Тренировочные задания к разделу
Тест
Отображение множеств. Мощность множества. Отношения
Отображение множеств
Мощность множества
Отношения на множестве (эквивалентность, толерантность, порядок)
Тренировочные задания к разделу
Тест
Алгебра высказываний
Математическая логика
Логические операции
Формулы алгебры высказываний
Варианты импликации
Функции алгебры высказываний
Полные системы связок
Тренировочные задания к разделу
Тест
Проверка правильности рассуждений. Нормальные формы
формул алгебры высказываний
Логические отношения
Проверка правильности рассуждений
Нормальные формы формул алгебры высказываний
Совершенные нормальные формы
Тренировочные задания к разделу
Тест
Алгебра высказываний и релейно-контактные
схемы. Исчисление высказываний
Построение формулы алгебры высказываний по заданной
логической функции
Моделирование алгебры высказываний с помощью релейно-контактных схем
Исчисление высказываний. Символы, формулы, аксиомы исчисления высказываний
Теорема дедукции
Проблемы непротиворечивости, полноты, независимости
аксиом исчисления высказываний
Тренировочные задания к разделу
Тест
Вопросы для самопроверки
Литература