Results 21 to 30 of about 1,007,644 (283)
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
, 1999 The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more ...
Bundy, Alan, Madden, P., Smaill, A.
core +2 more sources
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
Lietuvos Matematikos Rinkinys, 2023 Usually, proofs of mathematical statements involve both algebraic rearrangements and logical reasoning. But there are mathematical statements whose truth is obvious at first glance when there is a diagram illustrating that proof.
Edmundas Mazėtis +1 more
doaj +3 more sources
Proof and Understanding in Mathematical Practice
Philosophia Scientiæ, 2012 The mathematical practice of proving theorems seems clearly to result in improved mathematical understanding; the aim of proving, and reproving, theorems in mathematics is better understanding.
Danielle Macbeth
doaj +1 more source
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 +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
Frontiers in Psychology, 2020 The use of figurate numbers (e.g., in the context of elementary number theory) can be considered a heuristic in the field of problem solving or proving.
Leander Kempen, Rolf Biehler
doaj +1 more source
Jurnal Lebesgue, 2023 Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum +2 more
doaj +1 more source
A short proof of the multilinear Kakeya inequality [PDF]
, 2014 We give a short proof of a slightly weaker version of the multilinear Kakeya inequality proven by Bennett, Carbery, and Tao.Comment: 7 pages, minor revision, accepted for publication in the Mathematical Proceedings of the Cambridge Philosophical ...
Guth, Larry
core +2 more sources
The Informal Logic of Mathematical Proof
, 2003 Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne +22 more
core +1 more source