Results 31 to 40 of about 2,584,296 (324)
HUBUNGAN ANTARA KEMAMPUAN UNPACKING DAN KONSTRUKSI NEGASI PERNYATAAN MATEMATIKA
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 Kemampuan unpacking dan konstruksi negasi dari pernyataan matematika merupakan hal penting dalam pemahaman mengenai pernyataan matematika, pembuktian bahkan memahami konsep matematika dibaliknya.
Kimura Patar Tamba
doaj +1 more source
Proofs for free - parametricity for dependent types [PDF]
, 2012 Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type.
Bernardy, J. P. +2 more
core +2 more sources
Symphonya, 2001 The viable system logic is widely considered a reference point for all the entrepreneurial organizations. The viable organizations have to struggle for existence, a statement particularly valid, if we consider changes (adjustments, transformations ...
Gaetano M. Golinelli, Mauro Gatti
doaj +1 more source
FROM BOOLE’S LOGIC TO BOOLEAN APPLICATIONS IN COMPUTER SCIENCE
Освітній дискурс, 2021 Urgency of the research. We consider crucial to distinguish between the original Boole’s logic and its modern development as Boolean logic in order to understand their theoretical and applied capacities.
Mohamad Awwad
doaj +1 more source
Numerical: Jurnal Matematika dan Pendidikan Matematika, 2017 This research aims to determine what kind of mistakes made PGMI students even semester of the academic year 2016/2017 in solving the problem of compound statement negation on mathematical logic and to know the alternative solution.
Mutia Mutia
doaj +1 more source
An independent axiomatisation for free short-circuit logic [PDF]
, 2017 Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression.
Ponse, Alban, Staudt, Daan J. C.
core +3 more sources
Mathematics, 2021 Every set with a binary operation satisfying a true statement of propositional logic corresponds to a solution of the quantum Yang-Baxter equation. Quantum B-algebras and L-algebras are closely related to Yang-Baxter equation theory.
Aiping Gan, Aziz Muzammal, Yichuan Yang
doaj +1 more source
Towards a theory of ground-theoretic content [PDF]
, 2018 A lot of research has recently been done on the topic of ground, and in particular on the logic of ground. According to a broad consensus in that debate, ground is hyperintensional in the sense that even logically equivalent truths may differ with ...
Krämer, Stephan
core +1 more source
Explaining the theoretical model of realistic idealism in the foreign policy of the Islamic Republic of Iran based on the statement of the second step of the Islamic Revolution [PDF]
مطالعات بنیادین تمدن نوین اسلامی, 2022 The statement of the second step of the revolution is one of the documents that have provided the necessary grounds for theorizing about the issues of today and the future of the Islamic Revolution.
Ayub Nikunahad +2 more
doaj +1 more source
Statistical Statements in Probabilistic Logic Programming
, 2022 Abstract Probabilistic Logic Programs under the distribution semantics (PLPDS) do not allow statistical probabilistic statements of the form “90% of birds fly”, which were defined “Type 1” statements by Halpern. In this paper, we add this kind of statements to PLPDS and introduce the PASTA (“Probabilistic Answer set programming for ...
Azzolini D., Bellodi E., Riguzzi F.
openaire +2 more sources