Results 1 to 10 of about 735,212 (267)
Mathematical Logic in Computer Science [PDF]
, 2018 First author ...
A. J. Kfoury
core +6 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”.
Joseph Y. Halpern +5 more
openalex +4 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
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
openalex +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
Logic versus mathematics in computer science education [PDF]
Proceedings of the fourteenth SIGCSE technical symposium on Computer science education - SIGCSE '83, 1983 Informal mathematical proofs admit and require interpretation while formal logic proofs suppress (abstract from) meanings. The former is closely related to problem solving and computer programming. The latter, which is commonly used for proving program correctness, complicates this procedure because it separates problem solving from programming.
Karel Čulík, Mateen M. Rizki
openalex +3 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 +2 more sources
The central role of mathematical logic in computer science [PDF]
Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, 1990 J. Paul Myers
openalex +3 more sources