Results 1 to 10 of about 65,925 (257)
Logic in Computer Science. [PDF]
J. Univers. Comput. Sci., 1997 Logic in Computer ...
Bridges,Douglas +3 more
openaire +4 more sources
Computer Science, Logic, Informatics Education [PDF]
J. Univers. Comput. Sci., 2006 JUCS - Journal of Universal Computer Science Volume Nr.
Varga,Katalin, Várterész,Magda
openaire +3 more sources
Logicism and the Development of Computer Science [PDF]
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been ...
Donald Gillies, Gillies, D., Gillies, D
openaire +4 more sources
Geometric Logic in Computer Science [PDF]
, 1993 We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for specification languages.
Steve Vickers
openaire +3 more sources
On the Unusual Effectiveness of Logic in Computer Science [PDF]
Bulletin of Symbolic Logic, 2001 In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”.
Halpern, Joseph Y. +5 more
openaire +2 more sources
Logics in Computer Science [PDF]
, 2010 In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts.
openaire +2 more sources
Mathematical Logic in Computer Science
CoRR, 2018 The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
openaire +3 more sources
The Impact of the Lambda Calculus in Logic and Computer Science [PDF]
Bulletin of Symbolic Logic, 1997 AbstractOne of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems ...
openaire +3 more sources
A Return to the Logic-First Spirit of Corey's Retrosynthetic Analysis, Now Implemented in Modern Data-Driven CASP. [PDF]
ACS Cent SciKabeshov M, Bergonzini G, Engkvist O.
europepmc +1 more source