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

Дискре́тная матема́тика — область математики, занимающаяся изучением дискретных структур, которые возникают как в пределах самой математики, так и в её приложениях.

К числу таких структур могут быть отнесены конечные группы, конечные графы, а также некоторые математические модели преобразователей информации, конечные автоматы, машины Тьюринга и т. д. Это примеры структур конечного (финитного) характера. Раздел дискретной математики, изучающай их, называется конечной математикой. Иногда само это понятие расширяют до дискретной математики. Помимо указанных конечных структур, дискретная математика изучает некоторые алгебраические системы, бесконечные графы, вычислительные схемы определённого вида, клеточные автоматы и т. д. В качестве синонима иногда употребляется термин «дискретный анализ».

Разделы дискретной математики

• Наивная теория множеств
• Математическая логика
• Математическая кибернетика
• Общая алгебра
• Комбинаторика (отдельные разделы)
• Теория графов
• Машинная арифметика
• Теория алгоритмов
• Теория игр
• Теория кодирования
• Теория конечных автоматов
• Теория формальных грамматик
• Вычислительная геометрия
• Теория булевых функций
• Логическое программирование
• Функциональное программирование
• λ-исчисление
• Булева алгебра
• Комбинаторная логика
• Математическая лингвистика
• Теория искусственного интеллекта