Logic in computer science

Logic in computer science is that branch of applied logic which is approximately the intersection between logic and computer science. It contains: #Those investigations into logic that are guided by applications in computer science. For example: #*Combinatory logic and Abstract interpretation; #Fundamental concepts in computer science that are naturally expressible in logical form. For example: #*Formal semantics of programming languages, Hoare logic, and Logic programming; #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; #Tools for logicians considered as applied computer science. For example: #*Automated theorem proving and Model checking.