Logic in computer science is that branch of applied logic which is approximately the intersection between logic and computer science. It contains:

1. Those investigations into logic that are guided by applications in computer science. For example:
   • Combinatory logic and Abstract interpretation;
2. Fundamental concepts in computer science that are naturally expressible in logical form. For example:
   • Formal semantics of programming languages, Hoare logic, and Logic programming;
3. Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
   • Curry-Howard correspondence and Game semantics;
4. Tools for logicians considered as applied computer science. For example:
   • Automated theorem proving and Model checking.

Logic Theoretical computer science | Category:计算机逻辑