Science Fair Project Encyclopedia
Logic in computer science
Logic in computer science is a branch of applied logic which contains:
- Those investigations into logic that are guided by applications in computer science;
- Fundamental concepts in computer science that are naturally expressible in logical form;
- Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic .
03-10-2013 05:06:04
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details