Diskretna matematika

Diskretna matematika, još zvana i finitna matematika ili decizijska matematika, je proučavanje matematičkih struktura koje su fundamentalno diskretne, u smislu da ne podržavaju ili zahtjevaju notaciju kontinuiranosti. Većina objekata u diskretnoj matematici su prebrojivi skupovi, kao što su cijeli brojevi, konačni grafovi i formalni jezici. Diskretna matematika je postala popularna u nedavnim desetljećima zbog svoje primjene u računarstvu. Koncepti i notacije iz diskretne matematike su korisne za proučavanje ili opis objekata ili problema u računarskim algoritmima i programskim jezicima.