Увод в дискретната математика

Дискретни математически теории са тези направления в математиката, в които е невъзможно или няма смисъл въвеждането на непрекъснатост. Тези теории са лишени от възможността да използват мошния апарат, свързан с непрекъснатостта - сходимост, производни, интеграли и др. В замяна на това, дискретните математически теории, притежават изключително важното свойство ефективност. Доказателствата на твърдения за съществуване в тези теории почти винаги съдържат точни и ясни процедури, позволявящи конструирането на съществуващия обект на обектите, предпоставени в условието на съответната теорема. Такива процедули се наричат алгоритми. Затова дискретната математика се нарича конструктивна или алгоритмична. Често алгоритъмът е неразделна част от доказателство на теорема - нейна същност. Освен това, този вид научно направление се занимава с формализацията на неформалното понятие алгоритъм и тези формализации са едни от основните обекти за изследване на дискретната математика.