Category:Logic in computer science

From HandWiki
Jump to: navigation, search


Here is a list of articles in the Logic in computer science category of the Computing portal that unifies foundations of mathematics and computations using computers.

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:

  1. Those investigations into logic that are guided by applications in computer science. For example:
  2. Fundamental concepts in computer science that are naturally expressible in logical form. For example:
  3. Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
  4. Tools for logicians considered as applied computer science. For example:

Template:See also cat

Subcategories

This category has the following 12 subcategories, out of 12 total.

A

C

F

G

L

M

T

Pages in category "Logic in computer science"

The following 99 pages are in this category, out of 99 total.

 

B

C

E

F

G

H

K

P

R

T

V

W