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:
- Rewriting systems, Combinatory logic and Abstract interpretation;
- 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.
A
C
D
F
- Fuzzy logic (63 P)
G
- Quantum gates (12 P)
L
- Linear logic (2 P)
- Logic conferences (11 P)
- Logic families (39 P)
M
P
- Program logic (4 P)
T
- Temporal logic (17 P)
U
Z
- Z notation (19 P)
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.