Results 41 to 50 of about 3,412,246 (356)

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods [PDF]

, 2012
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of ...
A Grabowski, A Riazanov, A Tarski, A Trybulec, B Scholkopf, CM Bishop, Daniel Kühlwein, E Tsivtsivadze, Evgeni Tsivtsivadze, J Meng, J Shawe-Taylor, J Urban, J Urban, J Urban, Jesse Alama, Josef Urban, MD Richard, P Rudnicki, R Rifkin, S Schulz, S Shalev-Shwartz, Tom Heskes   +21 more
core   +4 more sources

ANALISIS KEMAMPUAN MEMBACA BUKTI MATEMATIS PADA MATA KULIAH STATISTIKA MATEMATIKA

Infinity, 2015
ABSTRAK   Statistika Matematika merupakan salah satu mata kuliah yang dianggap sulit oleh mahasiswa sehingga dibutuhkan kemampuan-kemampuan matematis untuk mempelajarinya.
Andri Suryana
doaj   +1 more source

REACT: STRATEGI PEMBELAJARAN UNTUK MENGEMBANGKAN KEMAMPUAN MAHASISWA DALAM MENGKONSTRUKSI BUKTI

Aksioma: Jurnal Program Studi Pendidikan Matematika, 2020
Tujuan penelitian ini adalah untuk mendiskripsikan penerapan strategi REACT (Relating, Experiencing, Applying, Cooperating, Transferring) untuk mengembangkan kemampuan mahasiswa dalam mengkonstruksi bukti.
Arif Hidayatul Khusna
doaj   +1 more source

How do the Undergraduate Students Use an Example in Mathematical Proof Construction: A Study based on Argumentation and Proving Activity

International Electronic Journal of Mathematics Education, 2018
Various studies have been conducted regarding the use of examples in a mathematical proof. This study aims to describe how the students use the example in the proof analyzed by argumentation and proving activity.
C. M. Laamena, T. Nusantara, E. Irawan, M. Muksar   +3 more
semanticscholar   +1 more source

Mathematical Proofs

Synthese, 2003
The aim I am pursuing here is to describe some general aspects of mathematical proofs. In my view, a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects (possibly a certain object) enjoy a certain property. Because it is proved, such a statement is a mathematical theorem.
openaire   +2 more sources

Proof; Justification; Mathematical validation process; Levels and type of proof; ACODESA

Enseñanza de las Ciencias, 2019
In this article we report how an approach was promoted from the pre-formal to the formal stage regarding the students’ way of justifying mathematical reasoning.
Álvaro Sebastián Bustos Rubilar, Gonzalo Zubieta Badillo   +1 more
doaj   +1 more source

Proof schemes combined: mapping secondary students’ multi-faceted and evolving first encounters with mathematical proof

Mathematical Thinking and Learning, 2018
In this paper, we propose an enriched and extended application of Harel and Sowder’s proof schemes taxonomy that can be used as a diagnostic tool for characterizing secondary students’ emergent learning of proof and proving.
I. Kanellos, Elena Nardi, Irene Biza
semanticscholar   +1 more source

Twisted duality of the CAR-Algebra [PDF]

, 2002
We give a complete proof of the twisted duality property M(q)'= Z M(q^\perp) Z* of the (self-dual) CAR-Algebra in any Fock representation. The proof is based on the natural Halmos decomposition of the (reference) Hilbert space when two suitable closed ...
Araki H., Avron J., Baumgärtel H., Borac S., Davis C., Dell’Antonio G. F., Dixmier J., Doplicher S., Fernando Lledó, Foit J. J., Halmos P. R., Hellmut Baumgärtel, Hislop P. D., Lledó F., Matthias Jurke, Rieffel M. A., Summers S. J., Wassermann A.   +17 more
core   +3 more sources

Proof in Mathematics

BIBECHANA, 2018
This article was not peer-reviewed.No abstract available.
openaire   +5 more sources

From mathematical axioms to mathematical rules of proof: recent developments in proof analysis [PDF]

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019
A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in mind was to find criteria for the simplicity of proofs and to develop a general theory of methods of proof in ...
Negri S., Von Plato J.
openaire   +5 more sources