Results 1 to 10 of about 3,360,842 (318)
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
semanticscholar +4 more sources
Mathematical Logic in Computer Science [PDF]
, 2018 The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
A. J. Kfoury
core +5 more sources
Geometric Logic in Computer Science [PDF]
Theory and Formal Methods, 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.
S. Vickers
semanticscholar +4 more sources
Linear Logic in Computer Science [PDF]
, 2004 Preface List of contributors Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott 2. Proof nets and the x-calculus S. Guerrini 3. An overview of linear logic programming D. Miller 4. Linearity and nonlinearity in distributed computation G. Winskel Part II. Refereed Articles: 5.
Paul Ruet +3 more
semanticscholar +4 more sources
Logic in Mathematics and Computer Science [PDF]
To appear in The Oxford Handbook of Philosophy of ...
Richard Zach
core +6 more sources
Linear logic in computer science [PDF]
Journal of Applied Mathematics and Computational Mechanics, 2015 Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, parallelism on syntactic level. In our paper we try to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as ...
Valerie Novitzká +3 more
openaire +3 more sources
Mathematical Logic and Deduction in Computer Science Education [PDF]
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education. We present a heterogeneous study both theoretical based and empirically based which points out the key role of logic in computer
Habiballa, Hashim, Kmet', Tibor
openaire +5 more sources
Computer Science, Logic, Informatics Education [PDF]
, 2006 JUCS - Journal of Universal Computer Science Volume Nr.
Varga,Katalin, Várterész,Magda
openaire +3 more sources
The central role of mathematical logic in computer science [PDF]
Technical Symposium on Computer Science Education, 1990 A fascinating and largely unheralded development accompanying the rise of computer science and computer technology has been the increasing applicability of the two most fervently “pure” branches of mathematics: number theory and mathematical logic ...
J. Paul Myers
openalex +2 more sources
Probabilistic logic in computer science [PDF]
AIP Conference Proceedings, 2021 The article examines probabilistic logic as applied to computer science and its problems. Probabilistic logic is treated as a generalization of formal logic. In many cases, the application of probabilistic logic occurs under conditions of uncertainty. Probabilistic logic uses a model approach. Computer science also uses a model approach.
I. I. Lonsky +2 more
openaire +3 more sources