Results 81 to 90 of about 92,095 (302)
ADVERSITY QUOTIENT AND RESILIENCE IN MATHEMATICAL PROOF PROBLEM-SOLVING ABILITY
MaPan: Jurnal Matematika dan Pembelajaran, 2020 : Various mathematical abilities require a high level of struggle to be achieved, one of which is the ability to solve mathematical proof problems. Several factors are also associated with this ability, including adversity quotient and resilience.
Fauziah Hakim, Murtafiah Murtafiah
doaj +1 more source
Acceptable gaps in mathematical proofs
Synthese, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
Space‐Time Coding Conformal Metasurfaces for Multifrequency Beam Steering and Shaping
Advanced Materials, EarlyView.Space‐time coding conformal metasurfaces enable dynamic wave control on curved surfaces by combining programmable spatial patterns with temporal modulation. This study shows that a single conformal aperture can independently manipulate multiple frequency components, achieving multifunctional beam shaping and steering, with implications for ...
Filippo Pepe +8 more
wiley +1 more source
Proof Auditing Formalised Mathematics
J. Formaliz. Reason., 2016 The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itself can be subject to error, and yet there is currently no accepted process in checking, or even much ...
openaire +2 more sources
Advanced Materials, EarlyView.This work develops bias‐triggered conductivity relaxation as a novel technique to study oxygen reactions in mixed ionic‐electronic conducting thin films by integrating electrochemical titration and electrical conductivity relaxation to achieve synchronous multi‐parameter characterization, providing simultaneous electronic, ionic, and extraordinarily ...
Alexander Stangl +4 more
wiley +1 more source
The structure of logical consequence : proof-theoretic conceptions [PDF]
, 2010 The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core
Advanced Materials Technologies, EarlyView.The article overviews past and current efforts on caloric materials and systems, highlighting the contributions of Ames National Laboratory to the field. Solid‐state caloric heat pumping is an innovative method that can be implemented in a wide range of cooling and heating applications.
Agata Czernuszewicz +5 more
wiley +1 more source
Understanding mathematical proof [PDF]
, 2014 Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and ...
Garnier, Rowan, Taylor, John
core
A Proof of the Isoenergetic KAM-Theorem from the “Ordinary” One [PDF]
, 1991 A proof is given of the isoenergetic KAM-theorem for Hamiltonian systems, using the “ordinary” KAM-theorem and a transversality argument.
Broer, H.W. +6 more
core +1 more source