Results 1 to 10 of about 774,920 (290)
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
openalex +4 more sources
Temporal Logics in Computer Science: Finite-State Systems
, 2016 This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences.
Stéphane Demri +2 more
openalex +3 more sources
Linear logic in computer science [PDF]
Journal of Applied Mathematics and Computational Mechanics, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
William Steingartner +3 more
openaire +3 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.
openaire +1 more source
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
Quantum field theory and coalgebraic logic in theoretical computer science [PDF]
Progress in Biophysics and Molecular Biology, 2017 20 ...
CAPOLUPO, Antonio +2 more
openaire +4 more sources
Fuzzy Logic in Computer Science
, 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.
Radim Belohlavek +2 more
openaire +1 more source
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 KMET
openaire +3 more sources
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences [PDF]
, 2023 Shukla, Amit K.
openalex +1 more source
Computer science and technology : historiography III (7 : logic, crypto in sf, robots)
, 2022 Camille Akmut
openalex +2 more sources