Results 21 to 30 of about 1,005,997 (319)
PERSEPSI MAHASISWA DALAM MEMVALIDASI BUKTI MATEMATIS
Jurnal Magister Pendidikan Matematika, 2020 This study aims to describe the perceptions of prospective students in the first year in validating mathematical proof. This student's perception is discussed based on the answers given to the proof of a theorem.
Christi Matitaputty
doaj +1 more source
Jurnal Pendidikan Matematika dan IPA, 2017 This study aims to know the effect of teaching and learning using Algebraic Stucture materials based on mathematical proof to improve mathematical proof ability. The type of this study is experimental method with One Shot Case Study design. Population in
Jamilah Jamilah, Syarifah Fadillah
doaj +1 more source
Anti-foundationalist Philosophy of Mathematics and Mathematical Proofs
Studia Humana, 2020 The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics.
Krajewski Stanisław
doaj +1 more source
Uniciencia, 2022 The objective of this study is to characterize the knowledge of mathematics teachers in initial training (MTITs) at the Universidad Nacional (Costa Rica) on the logic-syntactic and mathematical aspects involved in proving, when evaluating mathematical ...
Christian Alfaro-Carvajal +2 more
doaj +1 more source
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source
Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
Philosophia Scientiæ, 2014 Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rigorous when there is no gap in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor
Yacin Hamami
doaj +1 more source
Proof phenomenon as a function of the phenomenology of proving [PDF]
, 2015 Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of ...
Hipólito, Inês
core +1 more source
Jurnal Elemen, 2023 Argumentation as an aspect of problem-solving has been studied in mathematics education. However, mathematical proof still needs to be resolved further.
Surya Kurniawan +2 more
doaj +1 more source
Matching concepts across HOL libraries [PDF]
, 2014 Many proof assistant libraries contain formalizations of the same mathematical concepts. The concepts are often introduced (defined) in different ways, but the properties that they have, and are in turn formalized, are the same.
C So +14 more
core +2 more sources
Application of Discovery Learning Method in Mathematical Proof of Students in Trigonometry
Desimal, 2020 Trigonometry is a part of mathematics in learning that is related to angles. The purpose of this study was to determine the effect of the application of discovery learning methods in students' mathematical proof ability on trigonometry.
Windia Hadi, Ayu Faradillah
doaj +1 more source