Logic in computer science
From Wiki @ Karl Jones dot com
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 gate
- Logic programming
- Mathematical logic
- Mathematics
- Three-valued logic
External links
- Logic in computer science @ Wikipedia