Difference between revisions of "Logic in computer science"
From Wiki @ Karl Jones dot com
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...") |
(No difference)
|
Revision as of 08:18, 5 February 2016
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
- Logic in computer science @ Wikipedia
