Results 71 to 80 of about 92,095 (302)

The Influence of Learning Independence, Gender, and Mathematical Beliefs on Mathematical Proof

Edumatica: Jurnal Pendidikan Matematika
This research aims to determine the influence of learning independence, gender, and mathematical beliefs on mathematical proof. This research uses a survey method with correlational analysis.
Wahyu Yuliana, Mohamad Waluyo
doaj   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Towards a Comprehensive Conception of Mathematical Proof [PDF]

, 2018
There is overwhelming evidence that students face serious challenges in learning mathematical proof. Studies have found that students possess a superficial understanding of mathematical proof. With the aim of contributing to efforts intended to develop a
Mtetwa, David. J., David. J. Mtetwa, Zindi, Fred, Ndemo, Zakaria, Fred Zindi, Zakaria Ndemo   +5 more
core   +2 more sources

KEMAMPUAN REPRESENTASI MATEMATIS DAN KEMAMPUAN PEMBUKTIAN MATEMATIKA

Jurnal E-DuMath, 2017
In mathematics, there are some mathematical ability to be possessed by learners and educators. Among them is a mathematical representation capability and the ability of mathematical proofs.
Fatrima Santri Syafri
doaj   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Learning from Experts to Aid the Automation of Proof Search. [PDF]

, 2009
Most formal methods give rise to proof obligations (POs) which are putative lemmas that need proof. Discharging these POs can become a bottleneck in the use of formal methods in practical applications.
Bundy, Alan, Grov, Gudmund, Jones, Cliff B.   +2 more
core  

Mathematical Proof Between Generations [PDF]

International audienceA proof is one of the most important concepts of mathemat-ics. However, there is a striking difference between how aproof is defined in theory and how it is used in practice.This puts the unique status of mathematics as exact ...
Paulsen, Lawrence, Lampert, Leslie, David, Marco, Matiyasevich, Yuri, Schleicher, Dierk, Bayer, Jonas, Lamport, Leslie, Benzmüller, Christoph, Buzzard, Kevin, Zelmanov, Efim, Paulson, Lawrence, Stock, Benedikt   +11 more
core   +1 more source

Mathematical Libraries as Proof Assistant Environments [PDF]

, 2004
In this paper we analyse the modifications on logical operations --- as proof checking, type inference, reduction and convertibility --- that are required for the identification of a proof assistant environment with a distributed mathematical library ...
SACERDOTI COEN, CLAUDIO, Claudio Sacerdoti Coen   +1 more
core   +1 more source

Discovery in Student-Centered Learning: The Essential Role in Guiding Students' Mathematical Reasoning and Proof

International Journal of Research in Mathematics Education
This study explores how a teacher focuses students' mathematical reasoning to advance instruction through the implementation of five mathematically productive teaching streams: guidance to student reasoning and proof, student mathematical discussion ...
Scristia, Tatang Herman
doaj   +1 more source

Kemampuan Pembuktian Matematis Mahasiswa Menggunakan Induksi Matematika

Journal of Medives: Journal of Mathematics Education IKIP Veteran Semarang, 2019
Kemampuan mahasiswa dalam melakukan pembuktian matematis tidak sama bergantung dari kategori kognitifnya. Salah satu metode pembuktian matematika adalah induksi matematika yang memerlukan pemahaman konsep secara sistematis. Tujuan penelitian adalah untuk
Siska Firmasari, Herri Sulaiman
doaj   +1 more source