Category:Logic in computer science

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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:


Subcategories

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

A

C

D

G

L

P

T

U

Z

Pages in category "Logic in computer science"

The following 93 pages are in this category, out of 93 total. This list may not reflect recent changes (learn more).

 

A

B

C

D

E

F

F cont.

G

H

I

J

K

L

M

N

O

P

P cont.

Q

R

S

T

U

W