Deductive Verification of Parallel Programs Using Why3 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what concerns correctness: sent and expected values in communications may not ...
César Santos +2 more
doaj +5 more sources
Deductive Qualitative Analysis: Evaluating, Expanding, and Refining Theory
International Journal of Qualitative Methods, TheAlthough qualitative research is often equated with inductive analysis, researchers may also use deductive qualitative approaches for certain types of research questions and purposes.
Stephen T Fife, Jacob D Gossner
exaly +2 more sources
Exploration of high school students' reasoning in solving trigonometric function problems
Al-Jabar, 2022 Reasoning has been extensively studied by many experts. However, Research on student reasoning in trigonometric problem solving, particularly those related to logical thinking skills is still sorely needed. This study aimed to explore students' reasoning
Marufi Marufi +4 more
doaj +1 more source
Development of a Tool to Assess Inference-Making and Reasoning in Biology
Journal of Microbiology & Biology Education, 2021 Making inferences and reasoning with new scientific information is critical for successful performance in biology coursework. Thus, identifying students who are weak in these skills could allow the early provision of additional support and course ...
Jennifer G. Cromley +5 more
doaj +1 more source
Contrastive Rhetoric: A study of Introduction and Thesis Statement in the American English and Persian Expository Essays [PDF]
Matn/Pizhūhī-i Adabī, 2006 Iranian students often face serious problems in learning to write English composition. Out of the different factors affecting the students' concepts, schemata and strategies in writing English composition, the influence of L 1 rhetorical organization in ...
mohammad taghi haani
doaj +1 more source
Jurnal Pendidikan IPA Indonesia, 2020 This study aimed to determine the pattern of a more effective learning approach between the inductive and deductive approach in improving students’ conceptual understanding referring to the international standard curriculum on the X graders for the ...
S. Wardani, I. W. Kusuma
doaj +1 more source
Zakat Tanaman Menurut Ulama Dayah Aceh Perspektif Maqasid al-Syari'ah
Al-Manahij: Jurnal Kajian Hukum Islam, 2018 This study examines the reasons for Achehness Ulama of Dayah regarding plants and seeds that are subject to zakat. How the logic of thinking used by these ulama and their relationship with maqÄá¹£id al-syarī‘ah (syariah legal purposes).
Alimuddin Alimuddin, Harjoni Desky
doaj +1 more source
Consciousness-raising tasks versus deductive approach: two form-focused instruction types in teaching grammar to Iranian high school EFL learners [PDF]
مجله علوم تربیتی, 2009 Consciousness-raising (CR) task is a new way of teaching grammar developed in communicative contexts although little has been written on the effectiveness of CR tasks in EFL setting.
doaj +1 more source
Query Evaluation in Deductive Databases [PDF]
, 1990 It is desirable to answer queries posed to deductive databases by computing fixpoints because such computations are directly amenable to set-oriented fact processing.
Apt +40 more
core +1 more source
Deductive Cogency, understanding, and acceptance [PDF]
, 2017 Deductive Cogency holds that the set of propositions towards which one has, or is prepared to have, a given type of propositional attitude should be consistent and closed under logical consequence.
Dellsén, Finnur
core +1 more source