 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:
 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:
 Type theory (used in type systems), Formal semantics of programming languages, Hoare logic, and Logic programming;
 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:
See also Category: Finite model theory.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).
Categories: Mathematical logic
 Theoretical computer science
 Mathematics of computing
 Those investigations into logic that are guided by applications in computer science. For example:
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