 Computational logic

Computational logic is the use of logic to perform or reason about computation.It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy.