Logic in computer science

From Wiki @ Karl Jones dot com
Jump to: navigation, search

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

External links