Computational logic
Computation logic is a branch of mathematics and computer science that explores the various ways of using logic to solve problems and make decisions. It focuses on the development and application of algorithms that can be used to determine whether a given statement is true or false.