Results 41 to 50 of about 3,387,563 (289)
DNR AND INCOMPARABLE TURING DEGREES
Forum of Mathematics, Sigma, 2016 We construct an increasing ${\it\omega}$ -sequence $\langle \boldsymbol{a}_{n}\rangle$
MINZHONG CAI +2 more
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
The Reverse Mathematics of wqos and bqos [PDF]
Trends in Logic, 2017 In this paper we survey wqo and bqo theory from the reverse mathematics perspective. We consider both elementary results (such as the equivalence of different definitions of the concepts, and basic closure properties) and more advanced theorems.
Alberto Marcone
semanticscholar +1 more source
The Reverse Mathematics of wqos and bqos [PDF]
, 2020 version 5 corrects a mistake in the statement of Theorem 6.22 and updates the bibliography. To appear in: Well quasi-orders in computation, logic, language and reasoning (P. Schuster, M. Seisenberger, A.
openaire +2 more sources
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
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-engineering Reverse Mathematics
Annals of Pure and Applied Logic, 2013 Abstract An important open problem in Reverse Mathematics (Montalban, 2011 [16] ; Simpson, 2009 [25] ) is the reduction of the first-order strength of the base theory from I Σ 1 to I Δ 0 + exp . The system ERNA, a version of Nonstandard Analysis based on the system I Δ 0 + exp , provides a partial ...
openaire +2 more sources
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
The Effectiveness of Neuropsychological Rehabilitation of Executive Functions on Students\' Memory [PDF]
Taḥqīqāt-i ̒Ulūm-i Raftārī, 2023 Aim and Background: The present study was conducted to investigate the effectiveness of neuropsychological rehabilitation of executive functions on students' memory.
Amir Najjar +3 more
doaj
Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration [PDF]
Geoscientific Model Development, 2019 We introduce Devito, a new domain-specific language for implementing high-performance finite-difference partial differential equation solvers. The motivating application is exploration seismology for which methods such as full-waveform inversion and ...
M. Louboutin +7 more
doaj +1 more source