Results 41 to 50 of about 1,003,903 (269)

Unpacking the logic of mathematical statements [PDF]

, 1995
This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core   +1 more source

An Adaptive Human Pilot Model With Reaction Time Delay for Enhanced Adaptive Control in Piloted Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
wiley   +1 more source

Investigation of the Mathematical Proof Ability of Prospective Teacher Students Through Cooperative Learning Approach

Edumatica: Jurnal Pendidikan Matematika
The research investigates pre-service teachers’ ability to create mathematical proofs through cooperative learning, as this skill becomes essential in university mathematics education. The research used a mixed-methods survey design to study 24 students
Nila Kesumawati, Lusiana Lusiana, Nyiayu Fahriza Fuadiah   +2 more
doaj   +1 more source

Lakatos and Hersh on Mathematical Proof [PDF]

Journal of Philosophical Investigations, 2016
مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی
حسین بیات
doaj  

A Science of Reasoning [PDF]

, 1991
This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core   +1 more source

A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller

International Journal of Adaptive Control and Signal Processing, EarlyView.
Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg, Paulo Jefferson Dias de Oliveira Evald, Shivam Chaturvedi, Hilton Abilio Gründling, Rodrigo Varella Tambara, Wencong Su   +5 more
wiley   +1 more source

Travelling waves for the Gross-Pitaevskii equation II [PDF]

, 2008
The purpose of this paper is to provide a rigorous mathematical proof of the existence of travelling wave solutions to the Gross-Pitaevskii equation in dimensions two and three.
A. Bouard de, A. de Bouard, A. Farina, C.A. Jones, C.A. Jones, D. Chiron, E.P. Gross, F. Béthuel, F. Béthuel, Fabrice Béthuel, I. Ekeland, J.L. Bona, J.L. Bona, Jean-Claude Saut, K. Kato, L. Almeida, L.P. Pitaevskii, M. Maris, M. Maris, O. Goubet, O. Lopes, P. Gravejat, P. Gravejat, P. Gravejat, P. Gravejat, P. Gravejat, P. Gravejat, P. Gravejat, P. Gérard, P.I. Lizorkin, Philippe Gravejat, S. Gustafson, S. Gustafson, S.V. Iordanskii, É. Tarquini   +34 more
core   +3 more sources

Enabling Digital Continuity in Virtual Manufacturing for Eco‐Efficiency Assessment of Lightweight Structures by Means of a Domain‐Specific Structural Mechanics Language: Requirements, Idea and Proof of Concept

Advanced Engineering Materials, EarlyView.
This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel, Andreas Schuster, Felix Schoenitz, Jean Lefèvre   +3 more
wiley   +1 more source

Desperately Seeking Mathematical Proof [PDF]

The Mathematical Intelligencer, 2009
Remarks on mathematical proof and the practice of mathematics.
openaire   +3 more sources

Proof by mathematical induction: Professional practice for secondary teachers [PDF]

, 2017
Mathematical induction is a proof technique that can be applied to establish the veracity of mathematical statements. This professional practice paper offers insight into mathematical induction as it pertains to the Australian Curriculum: Mathematics ...
Hine, G
core   +1 more source