Results 1 to 10 of about 298,635 (179)
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”.
Joseph Y. Halpern +5 more
semanticscholar +5 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.
Thomas Ehrhard +3 more
semanticscholar +4 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
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
openaire +3 more sources
Computer Science, Logic, Informatics Education [PDF]
, 2006 JUCS - Journal of Universal Computer Science Volume Nr.
Katalin Varga, Magda Várterész
openalex +3 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
openalex +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
Hashim Habiballa, Tibor Kmeť
openalex +5 more sources
Mathematical Logic in Computer Science
, 2018 The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
A. J. Kfoury
openalex +5 more sources
Fuzzy Logic in Computer Science
Computer Science, The Hardware, Software and Heart of It, 2011 Many researchers and practitioners in the field of artificial intelligence (and intelligent systems in particular) want to make computers smart. Unlike computers, human beings have great capacities to deal with ill-defined concepts, e.g., natural language.
Christian Moewes +2 more
openaire +3 more sources
Logic in Mathematics and Computer Science [PDF]
To appear in The Oxford Handbook of Philosophy of ...
Richard Zach
openalex +3 more sources