Дискретна математика
Матеріал з Вікіпедії — вільної енциклопедії.
Дискретна математика — область математики, що вивчає дискретні структури, які виникають як в межах самої математики, так і в її застосуваннях. До таких структур можуть бути віднесені кінцеві групи, кінцеві графи, а також деякі математичні моделі перетворювачів інформації, кінцеві автомати, машини Тюринга і так далі. Це приклади структур кінцевого (фінітного) характеру. Розділ дискретної математики, вивчаючий їх, називається кінцевою математикою. Іноді само це поняття розширюють до дискретної математики. Крім вказаних кінцевих структур, дискретна математика вивчає деякі системи алгебри, нескінченні графи, обчислювальні схеми певного вигляду, клітинні автомати і т.д. Як синонім іноді уживається термін «дискретний аналіз».
[ред.] Розділи дискретної математики
- Математична логіка
- Математична кібернетика
- Загальна алгебра
- Теорія графів
- Теорія алгоритмів
- Теорія ігор
- Теорія кодування
- Теорія кінцевих автоматів
- Теорія формальних граматик
- Обчислювальна геометрія
- Теорія булевих функцій
- Логічне програмування
- Функціональне програмування
- Лямбда-числення
- Булева алгебра
- Комбінаторика