Category:Logic in computer science


Category:Logic in computer science

Logic in computer science 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 14 subcategories, out of 14 total.

A

C

D

G

L

P

P cont.

T

Z

Pages in category "Logic in computer science"

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

A

B

C

D

E

F

G

H

I

J

  • Journal of Automated Reasoning
  • Journal of Logic and Computation

K

L

M

N

O

P

P cont.

Q

  • Q zero

R

S

T

U

W

Λ


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… …   Wikipedia

  • Unsolved problems in computer science — This article is a list of open problems in computer science.A solution to the problems in this list will have a major impact on the field of study to which they belong. =P = NP?= ;Field : Theory of computation;Source : S. A. Cook and Leonid Levin …   Wikipedia

  • Portal:Computer science — Wikipedia portals: Culture Geography Health History Mathematics Natural sciences People Philosophy Religion Society Technology …   Wikipedia

  • Institution (computer science) — The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970 sin order to deal with the population explosion among the logical systems used in computer science . The notion tries to capture the essence of the… …   Wikipedia

  • Concurrency (computer science) — The Dining Philosophers , a classic problem involving concurrency and shared resources In computer science, concurrency is a property of systems in which several computations are executing simultaneously, and potentially interacting with each… …   Wikipedia

  • String (computer science) — In formal languages, which are used in mathematical logic and theoretical computer science, a string is a finite sequence of symbols that are chosen from a set or alphabet. In computer programming, a string is traditionally a sequence of… …   Wikipedia

  • Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia

  • logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

  • computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… …   Universalium

  • Computer — For other uses, see Computer (disambiguation). Computer technology redirects here. For the company, see Computer Technology Limited. Computer …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.