Results 21 to 30 of about 1,309,863 (280)
Mathematics, 2022 One of the main problems in representing information in the form of nonsystematic logic is the lack of flexibility, which leads to potential overfitting.
Yuan Gao +6 more
doaj +1 more source
Formal verification of Matrix based MATLAB models using interactive theorem proving [PDF]
PeerJ Computer Science, 2021 MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences.
Ayesha Gauhar +4 more
doaj +2 more sources
Proceedings of CSL 2023, 31st EACSL Annual Conference on Computer Science Logic, 2023 We introduce a variation on Barthe et al.’s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity, differentiability, or monotonicity, can be expressed and reasoned about in a very natural way, following the structure of ...
Ugo Dal Lago +2 more
+8 more sources
JTAM (Jurnal Teori dan Aplikasi Matematika), 2023 Higher-order thinking skills are skills that are an important aspect of teaching and learning mathematics. Mathematics and culture have a very close relationship, so the development and application of mathematical concepts in the learning process must be
Sri Subarinah +3 more
doaj +1 more source
Higher-Order Logic Programming [PDF]
, 1986 Modern programming languages such as Lisp, Scheme and ML permit procedures to be encapsulated within data in such a way that they can subsequently be retrieved and used to guide computations. The languages that provide this kind of an ability are usually based on the functional programming paradigm, and the procedures that can be encapsulated in them ...
Dale A. Miller, Gopalan Nadathur
openaire +1 more source
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing, 2022 Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems.
Adnan Rashid, Sa’ed Abed, Osman Hasan
doaj +1 more source
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages [PDF]
Logical Methods in Computer Science, 2006 We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables).
Lars Birkedal +2 more
doaj +1 more source
The Case Against Higher-Order Metaphysics
Metaphysics, 2022 Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order ...
Thomas Hofweber
doaj +1 more source
Topos Semantics for Higher-Order Modal Logic [PDF]
, 2014 We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve +2 more
core +1 more source