From Wikipedia, the free encyclopedia
Logic in computer science (or
computational logic) is that branch of
mathematical logic which is approximately the intersection between
mathematical logic and
computer science. It contains:
- Those investigations into logic that are guided by applications in
computer science. For example:
- Fundamental concepts in computer science that are naturally expressible in logical form. For example:
- Applications of fundamental concepts derived from the
theory of computation that cast light on questions of pure logic. For example:
- Tools for logicians considered as
applied computer science. For example:
Subcategories
This category has the following 20 subcategories, out of 20 total.
Pages in category "Logic in computer science"
The following 101 pages are in this category, out of 101 total.
This list may not reflect recent changes.