Дискреттік математика - математиканың дискретті құрылымдардың қасиеттерін  мен логика зерттейтін саласы.Мұндай құрылымдарға топтар, шектеулі графтар, сондай-ақ ақпаратты түрлендіргіш кейбір математикалық модельдер, шектеулі автоматтар,

Тъюринг машинасы, Пост машиналары , компьютердің логикалық элементтері жатады.

Дискреттік математика өте ертеде пайда болды.Ол кезеңге тән есептер бүтін сандар қасиеттеріне, кейінірек сандар теориясының жасалуына байланысты туындады. XVII-XVIII  ғасырларда комбинаторикалық талдау элементтері  және ықтималдық дискретті теориясы.Француз ғалымдары Б.Паскаль, П.Ферма еңбектері таңымал болды.