Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей




Скачать 28.87 Kb.
НазваниеУниверситет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей
Дата публикации28.03.2013
Размер28.87 Kb.
ТипДокументы
shkolnie.ru > Математика > Документы
Национальный Исследовательский Университет
Московский Энергетический Институт

Кафедра математического моделирования


Научно-образовательный материал

для образования москвичей

Математическая логика и дискретная математика. Практические занятия.”

Аннотация

Составитель: Мамонтов А. И.


Москва

2011.
Научно-образовательный материал

Математическая логика и дискретная математика. Практические занятия.”

В материале содержатся основные понятия математической логики и дискретной математики, которые удобно рассказывать слушателям на практических занятиях по математической логике и дискретной математике. Используя этот материал, можно структурировать познания слушателей о наиболее популярных конструкциях математической логики и дискретной математике, применяемых в алгоритмической практике.

Также материал можно использовать на курсах повышения квалификации, для самообразования и обучения различных групп жителей Москвы, которые в процессе своей работы используют вычислительные алгоритмы.

^ Новизна материла.

Данный научно-образовательный материал подготовлен на основе конспектов лекций и книг по дискретной математике и математической логике Набебина А.А., Мещанинова Д.Г., Ляшенко Л.И., Фролова А.Б., Андреева А.Е., Болотова А.А., Коляды К.В.. Одно из достоинств представленного материала – простота изложения, большое количество примеров, что способствует быстрому пониманию излагаемого материала и приобретению навыков решения практических задач.

Основное содержание материала.

  1. Математическая логика.

    1. Способы задания функций алгебры логики.



    1. Алгебра высказываний.

    2. Представление ФАЛ формулами канонического вида.

    3. Минимизация ДНФ.

      1. Постановка задачи минимизации ДНФ.

1.4.2. Методы построения сокращенной ДНФ.



1.4.3. Построение минимальных ДНФ.

    1. Минимизация частичных ФАЛ.

    2. Замкнутые классы и полнота.

    3. Обнаружение неисправностей в управляющих системах.

    4. Естественный вывод Гентцена.

      1. Секвенциальное исчисление высказываний (СИВ).

    5. Секвенциальное исчисление предикатов (СИП).

    6. Логика предикатов.

  1. Дискретная математика.

    1. Основные понятия теории графов.

    2. Поиск кратчайшего пути в графе.



    1. Эйлеровы графы



    1. Фундаментальные циклы и фундаментальные разрезы.

    2. Оптимальная раскраска вершин графа.

      1. Внутренне устойчивые множества вершин графа.

      2. Внешне устойчивые множества вершин графа.

2.5.3. Алгоритм нахождения оптимальной раскраски вершин графа .

    1. Двудольные графы.

    2. Системы различных представителей (СРП)

    3. Максимальный поток в транспортной сети.



Литература.


  1. Набебин А.А. Сборник заданий по дискретной математике. – М.: Научный мир, 2009.

  2. Мещанинов Д.Г., Ляшенко Л.И. Дискретная математика в примерах и задачах. – М.: Изд-во МЭИ, 1991.

  3. Набебин А.А. Логика и пролог в дискретной математике. – М.: Изд-во МЭИ, 1996.

  4. Фролов А.Б., Андреев А.Е., Болотов А.А., Коляда К.В.. Прикладные задачи дискретной математики и сложность алгоритмов. – М.: Издательство МЭИ, 1997.

Похожие:

Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Университет Московский Энергетический Институт Кафедра математического моделирования Научно-образовательный материал для образования москвичей iconМосковский энергетический институт (технический университет)
...
Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2014
shkolnie.ru
Главная страница