Results 21 to 30 of about 33,228 (257)
Partial impredicativity in reverse mathematics [PDF]
The Journal of Symbolic Logic, 2013 AbstractIn reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on how to weaken the assumption while preserving the conclusion (other than reducing all the way to the tautology of assuming the conclusion).
openaire +4 more sources
African Journal of Teacher Education, 2020 This study examined the impact of the flipped classroom on the learning outcome of secondary school students in mathematics in Lagos, Nigeria. It examined the impact of a flipped classroom package (FCP) on post-test performance (PP) and retention ...
Semiu Olawale Makinde
doaj +1 more source
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
Mathematical Approach in Complex Surfaces Toolpaths
Mathematics, 2021 This paper represents the focus on developing efficient algorithms that reduce the operations required to be employed in order to obtain complex surfaces milling finishing toolpaths for the three axis NC (Numerical Control) machine within the reverse ...
Florin Popișter +3 more
doaj +1 more source
Technologies for Teaching Mathematics in a Multilingual Digital Environment
Education Sciences, 2022 The article considers the expansion of digital technologies and their impact on training modern specialists. The increase in the volume of information, students’ requests for interdisciplinary practice-oriented training, and the involuntary transition to
Galina Dubinina +2 more
doaj +1 more source
Reverse mathematics and colorings of hypergraphs [PDF]
Archive for Mathematical Logic, 2018 Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $Π^1_ 1$-${\sf CA}_0$.
Caleb Davis +3 more
openaire +4 more sources
A Proposed Taxonomy of Teaching Models in STEM Education: Robotics as an Example
SAGE Open, 2022 Many countries and regions have reached a consensus to promote science, technology, engineering, and mathematics (STEM) education in the past decade.
Baichang Zhong +3 more
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 +3 more sources
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
Journal on Efficiency and Responsibility in Education and Science, 2016 This paper addresses the exam success rates in Mathematics 1 at the College of Polytechnics in Jihlava (CPJ). Primary data taken from the school information system cover the years 2006–2015.
PROKOP, Martin, STOLÍN, Radek
doaj +1 more source