Дискретная математика
Материал из Википедии — свободной энциклопедии
 |
Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите её в соответствии с правилами написания статей. |
Дискре́тная матема́тика — область математики, занимающаяся изучением дискретных структур, которые возникают как в пределах самой математики, так и в её приложениях.
К числу таких структур могут быть отнесены конечные группы, конечные графы, а также некоторые математические модели преобразователей информации, конечные автоматы, машины Тьюринга и так далее. Это примеры структур конечного (финитного) характера. Раздел дискретной математики, изучающай их, называется конечной математикой. Иногда само это понятие расширяют до дискретной математики. Помимо указанных конечных структур, дискретная математика изучает некоторые алгебраические системы, бесконечные графы, вычислительные схемы определённого вида, клеточные автоматы и т. д. В качестве синонима иногда употребляется термин «дискретный анализ».
[править] Разделы дискретной математики
- Наивная теория множеств
- Математическая логика
- Математическая кибернетика
- Общая алгебра
- Комбинаторика (отдельные разделы)
- Теория графов
- Машинная арифметика
- Теория алгоритмов
- Теория игр
- Теория кодирования
- Теория конечных автоматов
- Теория формальных грамматик
- Вычислительная геометрия
- Теория булевых функций
- Логическое программирование
- Функциональное программирование
- λ-исчисление
- Булева алгебра
- Комбинаторная логика
- Математическая лингвистика
- Теория искусственного интеллекта
[править] Литература
- Виленкин Н. Я. Комбинаторика. — М.: 1969.
- Ерусалимский Я. М. Дискретная математика. — М.: 2000.
- Кемени Дж., Снелл Дж., Томпсон Дж. Введение в конечную математику. — М.: 1963. — С. 486.
- МЭС (1995), — М., БРЭ.
- Новиков Ф. А. Дискретная математика для программистов. — СПб.: Питер, 2000. — С. 304.
- Яблонский С. В. Введение в дискретную математику. — М.: Наука, 1979. — С. 272.
[править] Ссылки
- Дискретная математика — дискретная математика и математическая кибернетика в МГУ.
- Теоретический минимум по информатике (ресурсы по дискретному анализу и алгоритмам)
