Logic in computer science

Logic in computer science covers the overlap between the fields of logic and computer science.

Description

The topic has three main areas:

• Theoretical foundations and analysis
• Use of computer technology to aid logicians
• Use of concepts from logic for computer applications

See also

• Automated theorem proving
• Computational logic
• Computer science
• Logic
• Logic programming
• Mathematical logic
• Mathematics
• Three-valued logic

External links

• Logic in computer science @ Wikipedia