Difference between revisions of "Logic in computer science"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→See also) |
Karl Jones (Talk | contribs) (→External links) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 15: | Line 15: | ||
* [[Computer science]] | * [[Computer science]] | ||
* [[Logic]] | * [[Logic]] | ||
| + | * [[Logic gate]] | ||
* [[Logic programming]] | * [[Logic programming]] | ||
* [[Mathematical logic]] | * [[Mathematical logic]] | ||
| Line 23: | Line 24: | ||
* [https://en.wikipedia.org/wiki/Logic_in_computer_science Logic in computer science] @ Wikipedia | * [https://en.wikipedia.org/wiki/Logic_in_computer_science Logic in computer science] @ Wikipedia | ||
| + | |||
| + | [[Category:Computer science]] | ||
| + | [[Category:Logic]] | ||
Latest revision as of 16:26, 22 April 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
- 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
