Category:Logic in computer science

Wikimedia Commons logo
Wikimedia Commons has media related to Logic in computer science.

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:

Pages in category "Logic in computer science"

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

Next items are not visible in browsers without Javascript

 

0–9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

W

X

Z

Next items are not visible in browsers without Javascript

This category content has been reduced to only pages contained in the ZIM file.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.