|
|
Строка 1: |
Строка 1: |
− | '''Дискрéтная матемáтика''' (от лат. ''discrētus'' — отдельный, отделенный) — область математики, изучающая конечные дискретные структуры, такие, как графы и логические высказывания.
| |
− | == Определение ==
| |
− | В контексте математики в целом дискретная математика часто отождествляется с конечной математикой — направлением, изучающим конечные структуры — конечные графы, конечные автоматы, конечные группы. При этом не рассматриваются вопросы, связанные с бесконечными и непрерывными структурами, хотя некоторые утверждения базируются на утверждениях из, например, математического анализа.
| |
− | == Основные разделы ==
| |
− | Разделы дискретной математики могут быть тесно связаны друг с другом, в целом можно выделить следующие основные направления:
| |
− | === Теория графов ===
| |
− | Раздел, изучающий такие дискретные структуры, как графы и их производные, а также алгоритмы на графах.
| |
− | ==== Теория автоматов ====
| |
− | Подраздел теории графов, в котором рассматриваются конечные автоматы — графы, моделирующие работу вычислительных машин.
| |
− | === Комбинаторика ===
| |
− | Комбинаторика занимается множествами и математическими отношениями на них. Здесь же рассматриваются задачи на подсчет различных объектов.
| |
− | === Теория дискретной вероятности ===
| |
− | Раздел, являющийся одновременно подразделом теории вероятностей и комбинаторики. Рассматриваются задачи теории вероятностей на дискретных структурах.
| |
− | === Математическая логика ===
| |
− | Раздел, изучающий свойства логических высказываний.
| |
| | | |
− | == Ссылки ==
| |
− | Некоторые части статьи взяты из [[Дискретная_математика|оригинальной версии]].
| |