Logic in computer science

From Wiki @ Karl Jones dot com
Revision as of 08:18, 5 February 2016 by Karl Jones (Talk | contribs) (Created page with "'''Logic in computer science''' covers the overlap between the fields of logic and computer science. == Description == The topic has three main areas: * Theoretical...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

Retrieved from "http://wiki.karljones.com/index.php?title=Logic_in_computer_science&oldid=7433"