39 relations: Academic conference, Alan Turing, Alfred North Whitehead, Allen Newell, Alonzo Church, Artificial intelligence, Automated reasoning, Bertrand Russell, Cambridge University Press, Category theory, Computability theory, Computational logic, Computer science, Concurrent computing, Curry–Howard correspondence, Expert system, First-order logic, Frame language, Frame problem, Gödel's incompleteness theorems, Graph theory, Herbert A. Simon, KL-ONE, Knowledge Based Software Assistant, Kurt Gödel, Logic, Logic programming, Modal logic, Modus ponens, Prentice Hall, Principia Mathematica, Rule-based system, Semantic Web, Springer Science+Business Media, Stanford Encyclopedia of Philosophy, Temporal logic, Theory of computation, Very-large-scale integration, Web Ontology Language.
Academic conference
An academic conference or symposium is a conference for researchers (not necessarily academics) to present and discuss their work.
New!!: Logic in computer science and Academic conference · See more »
Alan Turing
Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.
New!!: Logic in computer science and Alan Turing · See more »
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
New!!: Logic in computer science and Alfred North Whitehead · See more »
Allen Newell
Allen Newell (March 19, 1927 – July 19, 1992) was a researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology.
New!!: Logic in computer science and Allen Newell · See more »
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Logic in computer science and Alonzo Church · See more »
Artificial intelligence
Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.
New!!: Logic in computer science and Artificial intelligence · See more »
Automated reasoning
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.
New!!: Logic in computer science and Automated reasoning · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Logic in computer science and Bertrand Russell · See more »
Cambridge University Press
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
New!!: Logic in computer science and Cambridge University Press · See more »
Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).
New!!: Logic in computer science and Category theory · See more »
Computability theory
Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
New!!: Logic in computer science and Computability theory · See more »
Computational logic
Computational logic is the use of logic to perform or reason about computation.
New!!: Logic in computer science and Computational logic · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Logic in computer science and Computer science · See more »
Concurrent computing
Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of sequentially (one completing before the next starts).
New!!: Logic in computer science and Concurrent computing · See more »
Curry–Howard correspondence
In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation) is the direct relationship between computer programs and mathematical proofs.
New!!: Logic in computer science and Curry–Howard correspondence · See more »
Expert system
In artificial intelligence, an expert system is a computer system that emulates the decision-making ability of a human expert.
New!!: Logic in computer science and Expert system · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Logic in computer science and First-order logic · See more »
Frame language
A frame language is a technology used for knowledge representation in artificial intelligence.
New!!: Logic in computer science and Frame language · See more »
Frame problem
In artificial intelligence, the frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world.
New!!: Logic in computer science and Frame problem · See more »
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
New!!: Logic in computer science and Gödel's incompleteness theorems · See more »
Graph theory
In mathematics, graph theory is the study of graphs, which are mathematical structures used to model pairwise relations between objects.
New!!: Logic in computer science and Graph theory · See more »
Herbert A. Simon
Herbert Alexander Simon (June 15, 1916 – February 9, 2001) was an American economist and political scientist whose primary interest was decision-making within organizations and is best known for the theories of "bounded rationality" and "satisficing".
New!!: Logic in computer science and Herbert A. Simon · See more »
KL-ONE
KL-ONE (pronounced "kay ell won") is a well known knowledge representation system in the tradition of semantic networks and frames; that is, it is a frame language.
New!!: Logic in computer science and KL-ONE · See more »
Knowledge Based Software Assistant
The Knowledge Based Software Assistant (KBSA) was a research program funded by the United States Air Force.
New!!: Logic in computer science and Knowledge Based Software Assistant · See more »
Kurt Gödel
Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.
New!!: Logic in computer science and Kurt Gödel · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Logic in computer science and Logic · See more »
Logic programming
Logic programming is a type of programming paradigm which is largely based on formal logic.
New!!: Logic in computer science and Logic programming · See more »
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
New!!: Logic in computer science and Modal logic · See more »
Modus ponens
In propositional logic, modus ponens (MP; also modus ponendo ponens (Latin for "mode that affirms by affirming") or implication elimination) is a rule of inference.
New!!: Logic in computer science and Modus ponens · See more »
Prentice Hall
Prentice Hall is a major educational publisher owned by Pearson plc.
New!!: Logic in computer science and Prentice Hall · See more »
Principia Mathematica
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
New!!: Logic in computer science and Principia Mathematica · See more »
Rule-based system
In computer science, rule-based systems are used as a way to store and manipulate knowledge to interpret information in a useful way.
New!!: Logic in computer science and Rule-based system · See more »
Semantic Web
The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).
New!!: Logic in computer science and Semantic Web · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: Logic in computer science and Springer Science+Business Media · See more »
Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.
New!!: Logic in computer science and Stanford Encyclopedia of Philosophy · See more »
Temporal logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
New!!: Logic in computer science and Temporal logic · See more »
Theory of computation
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.
New!!: Logic in computer science and Theory of computation · See more »
Very-large-scale integration
Very-large-scale integration (VLSI) is the process of creating an integrated circuit (IC) by combining hundreds of thousands of transistors or devices into a single chip.
New!!: Logic in computer science and Very-large-scale integration · See more »
Web Ontology Language
The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies.
New!!: Logic in computer science and Web Ontology Language · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/Logic_in_computer_science