Discrete mathematics is the study of finite and countable structures and algorithms for the manipulation and analysis of such structures, while mathematical logic is the study of axiomatic systems and their mathematical applications. Both are flourishing research areas and have close ties with computer science.