Discrete Mathematics

Discrete mathematics looks into mathematical structures that are "discrete" rather than "continuous"
Formal Logic
(4)

Formal logic is an important concept in computing which is used to give a precise definition of reasoning