Results 1 to 10 of about 307,548 (134)
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 +4 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 +2 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 +3 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.
Radim Belohlavek +2 more
openaire +2 more sources
Deontic Logic in Computer Science [PDF]
Lecture Notes in Computer Science, 2010 Thomas Ågotnes, J. Broersen, D. Elgesem
semanticscholar +4 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.
openaire +3 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
On Formal Methods Thinking in Computer Science Education
Formal Aspects Comput.Formal Methods (FMs) radically improve the quality of the code artefacts they help to produce. They are simple, probably accessible to first-year undergraduate students and certainly to second-year students and beyond.
Brijesh Dongol +9 more
semanticscholar +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
Logical Methods in Computer Science
, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express relevant properties of the interaction between the underlying data and the topology.
openaire +1 more source