Logic in computer science

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

  • Theoretical foundations and analysis
  • Use of computer technology to aid logicians
  • Use of concepts from logic for computer applications
For the academic conference LICS, see Symposium on Logic in Computer Science.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.