- Logic in computer science
**Logic in computer science**describes topics wherelogic is applied tocomputer science andartificial intelligence . These include:*Investigations into logic that are guided by applications in computer science. For example:

Combinatory logic andAbstract interpretation ;

*Boolean logic , for the circuits used in computer processors.

*Fundamental concepts in computer science that are naturally expressible in formal logic. For example:Formal semantics of programming languages ,Hoare logic , andLogic programming ;

*Aspects of thetheory of computation that cast light on fundamental questions of formal logic. For example:Curry-Howard correspondence andGame semantics ;

*Tools for logicians considered as computer science. For example:Automated theorem proving andModel checking ;

*Logics of knowledge and beliefs (of human and artificial agents);

*Logics forspatial reasoning , e.g. about moving in Euclidean space (which should not be confused with spatial logics used for concurrent systems);

*Formal methods and logics for reasoning about computation. For examplepredicate logic andlogical framework s are used for proving programs correct, and logics such astemporal logic andspatial logic s are used for reasoning about interaction between concurrent and distributed processes. Program logics often aremodal logic s, e.g.dynamic logic orHennessy-Milner logic ;

*Specification language s provide a basis for formal software development; in this context, the notion of institution has been developed as an abstract formalization of the notion of logical system, with the goal of handling the "population explosion" of logics used in computer science.The study of basic

mathematical logic such aspropositional logic andpredicate logic (normally in conjunction withset theory ) is considered an important theoretical underpinning to any undergraduatecomputer science course.Higher order logic is not normally taught, but is important intheorem proving tools like HOL.**Books*** "Mathematical Logic for Computer Science" by Mordechai Ben-Ari. Springer-Verlag, 2nd edition,

2003 . ISBN 1-85233-319-7.

* " [*http://www.cs.bham.ac.uk/research/lics/ Logic in Computer Science: Modelling and Reasoning about Systems*] " by Michael Huth, Mark Ryan.Cambridge University Press , 2nd edition,2004 . ISBN 0-521-54310-X.

* "Logic for Mathematics and Computer Science" by Stanley N. Burris.Prentice Hall , 1997. ISBN 0-13-285974-2.**External links*** [

*http://plato.stanford.edu/entries/logic-ai/ Article on "Logic and Artificial Intelligence"*] at theStanford Encyclopedia of Philosophy .

* [*http://www.informatik.hu-berlin.de/lics/ IEEE Symposium on Logic in Computer Science*] (LICS)

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**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… … Wikipedia**IEEE Symposium on Logic in Computer Science**— The IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year s coference appear in… … Wikipedia**computer science**— computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium**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**Computer Science House**— (CSH) is a special interest house founded in 1976 at the Rochester Institute of Technology, made up of a group of students who share an interest in computers, community and having fun. Despite its name, students from all majors are allowed to… … Wikipedia**COMPUTER SCIENCE**— The term Computer Science encompasses three different types of research areas: computability, efficiency, and methodology. General Introduction Computability deals with the question of what is mechanically computable. The most natural way to… … Encyclopedia of Judaism**computer science**— noun the branch of engineering science that studies (with the aid of computers) computable processes and structures • Syn: ↑computing • Topics: ↑computer, ↑computing machine, ↑computing device, ↑data processor, ↑electronic computer, ↑ … Useful english dictionary**History of computer science**— The history of computer science began long before the modern discipline of computer science that emerged in the twentieth century. The progression, from mechanical inventions and mathematical theories towards the modern concepts and machines,… … Wikipedia**Outline of computer science**— The following outline is provided as an overview of and topical guide to computer science: Computer science (also called computing science) – study of the theoretical foundations of information and computation and their implementation and… … Wikipedia**Nominal terms (computer science)**— Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… … Wikipedia