Results 31 to 40 of about 33,228 (257)
RUDN Journal of Informatization in Education, 2017 In article attention to that fact that at students of higher educational institutions of the physical and mathematical and natural-science directions of preparation when training in the reverse tasks for differential equations the mathematical intuition ...
Viktor Semenovich Kornilov
doaj +1 more source
JOHME: Journal of Holistic Mathematics Education, 2022 Students' conceptual understanding in Indonesia is still low. In the school that the author observed, students in grade 8 have an average total conceptual understanding of 48% with sufficient criteria.
Theresia Ami Meigia Saragih +1 more
doaj +1 more source
ERNA and Friedman's Reverse Mathematics [PDF]
The Journal of Symbolic Logic, 2011 AbstractElementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting ...
openaire +3 more sources
A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES [PDF]
The Review of Symbolic Logic, 2018 AbstractSorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: (Supervenience) elements of the set are mapped into some set of “attributes”; (Tolerance) if an element has a given attribute then so are the elements in some vicinity of this element; and (Connectedness) such vicinities can be arranged into ...
openaire +3 more sources
Mathematics gender gaps in Kenya: Are resource differentials between boys and girls to blame?
Cogent Education, 2018 The Blinder-Oaxaca approach has been used to decompose the gender gap in mathematics test scores in private and public primary schools in Kenya. That is, the mathematics production functions are estimated separately for boys and girls, the difference ...
Alice Ng’ang’a +2 more
doaj +1 more source
Computational expressivity of (circular) proofs with fixed points [PDF]
Logical Methods in Computer ScienceWe study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest positive fixed ...
Gianluca Curzi, Anupam Das
doaj +1 more source
The logic of the reverse mathematics zoo [PDF]
Mathematical Structures in Computer Science, 2016 Building on previous work by Mummertet al.(2015, The modal logic of Reverse Mathematics.Archive for Mathematical54(3–4) 425–437), we study the logic underlying the web of implications and non-implications which constitute the so called reverse mathematics zoo.
D'AGOSTINO, GIOVANNA, MARCONE, ALBERTO
openaire +3 more sources
The effectiveness of filliped learning method on attitude and academic performance in Mathematics in elementary schools [PDF]
Fanāvarī-i āmūzish, 2020 Background and Objectives: One of the problems of elementary school teachers is the lack of time, especially in mathematics. Lack of time to educate students has caused academic failure and weakened the basic math of elementary students. For this reason,
M. abolghasemi, H. Mohamadi
doaj +1 more source
Reverse mathematics and initial intervals
Annals of Pure and Applied Logic, 2014 updated draft after referees' suggestions; simpler proof of Lemma 3.3; improved statement of Lemma 5.7 (former Lemma 5.6)
Emanuele Frittaion, Alberto Marcone
openaire +2 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source