نتائج البحث

Learning Problem Decomposition-Recomposition with Data-Driven Chunky Parsons Problems within an Intelligent Logic Tutor

• Authors : Shabrina, Preya; Mostafavi, Behrooz; Tithi, Sutapa Dey

Subjects: Intelligent Tutoring Systems; Problem Solving; Graphs

• Source: International Educational Data Mining Society. 2023.15

تفاصيل العنوان

Theo's Reinvention of the Logic of Conditional Statements' Proofs Rooted in Set-Based Reasoning

• Authors : Dawkins, Paul Christian; Roh, Kyeong Hah; Eckman, Derek

Subjects: Mathematics Instruction; Validity; Mathematical Logic

• Source: North American Chapter of the International Group for the Psychology of Mathematics Education. 2021 (pter).10

تفاصيل العنوان

Effectiveness of Gender Equality Policies in G20 Parliaments: A Fuzzy Logic Analysis.

• Authors : Kalemci, R. Arzu¹ ; Ozkan-Canbolat, Ela¹ ; Kalemci-Tuzun, Ipek²

• Source: Proceedings of the International Conference on Gender Research (ICGR). 2024, p175-181. 7p.

تفاصيل العنوان

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic

• Authors : Steen, Alexander; Sutcliffe, Geoff; Fontaine, Pascal

Subjects: TPTP; Automated reasoning; First order logic

• Source: EPiC Series in Computing, 94, 369 - 385 (2023); Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Col [Col], 04-06-2023 => 09-06-2023

تفاصيل العنوان

Mapping Fuzzy Logic in Learning Environments

• Authors : Talan, Tarik (ORCID 0000-0002-5371-4520); Kalinkara, Yusuf (ORCID 0000-0001-6077-9800)

Subjects: Databases; Research Reports; Foreign Countries

• Source: International Society for Technology, Education, and Science. 2022.11

تفاصيل العنوان

'Mirror Logic': A Preservice Mathematics Teacher's Thinking about Radian in the Context of Light Reflection

• Authors : Alyami, Hanan; Bryan, Lynn

Subjects: Preservice Teachers; Mathematics Teachers; Mathematics Instruction

• Source: North American Chapter of the International Group for the Psychology of Mathematics Education. 2022 (pter).10

تفاصيل العنوان

The Logic, Values and Path of Combining the Basic Tenets of Marxism with Fine Traditional Chinese Culture.

• Authors : XU Mao-Hua¹ ; ZHANG Ming-Yue¹

• Source: Journal of Yangtze Normal University. Sep2023, Vol. 39 Issue 5, p1-7. 7p.

تفاصيل العنوان

Using Logic to Determine Key Items in Math Education

• Authors : Ojeda-Hernández, Manuel; Pérez-Gámez, Francisco; Bonilla, Ángel Mora

Subjects: Logical Thinking; Mathematics Education; Foreign CountriesSpain

• Source: International Association for Development of the Information Society. 2021.8

تفاصيل العنوان

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

• Authors : Balbiani, Philippe; Gao, Han; Gencer, Cigdem ...

Subjects: Axiomatization; Completeness; Intuitionistic Modal LogicNaples; Italy

• Source: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)https://amu.hal.science/hal-0445735632nd EACSL Annual Conference on Computer Science

تفاصيل العنوان

Logic Locking: Exploration of a new key-gate based on tristate logic

• Authors : Dupuis, Sophie; Riadi, Nassim; Moroukian, Clémy ...

Subjects: Hardware trust; Design-for-Trust; Logic lockingBrazilMaceio, Brazil

• Source: 25th IEEE Latin American Test Symposium, LATS 2024LATS 2024 - 25th IEEE Latin American Test Symposiumhttps://hal-lirmm.ccsd.cnrs.fr/lirmm-04564164LATS 2024 - 25th IEEE Latin American

تفاصيل العنوان