Results 41 to 50 of about 1,005,997 (319)

The Informal Logic of Mathematical Proof

, 2003
Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne, Churchill Winston, Doron, Eemeren Frans van, Eemeren Frans van, Hamblin Charles, Hoffman Paul, Jaffe Arthur, Kempe Alfred, MacKenzie Donald, Rav Yehuda, Rota Gian-Carlo, Swart Edward, Thurston William, Toulmin Stephen, Toulmin Stephen, Tymoczko Thomas, Walton Douglas, Walton Douglas, Walton Douglas, Willard Charles, Wilson Robin, Wittgenstein Ludwig   +22 more
core   +1 more source

Proof; Justification; Mathematical validation process; Levels and type of proof; ACODESA

Enseñanza de las Ciencias, 2019
In this article we report how an approach was promoted from the pre-formal to the formal stage regarding the students’ way of justifying mathematical reasoning.
Álvaro Sebastián Bustos Rubilar, Gonzalo Zubieta Badillo   +1 more
doaj   +1 more source

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods [PDF]

, 2012
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of ...
A Grabowski, A Riazanov, A Tarski, A Trybulec, B Scholkopf, CM Bishop, Daniel Kühlwein, E Tsivtsivadze, Evgeni Tsivtsivadze, J Meng, J Shawe-Taylor, J Urban, J Urban, J Urban, Jesse Alama, Josef Urban, MD Richard, P Rudnicki, R Rifkin, S Schulz, S Shalev-Shwartz, Tom Heskes   +21 more
core   +4 more sources

Relations between Generalization, Reasoning and Combinatorial Thinking in Solving Mathematical Open-Ended Problems within Mathematical Contest

Mathematics, 2020
Algebraic thinking, combinatorial thinking and reasoning skills are considered as playing central roles within teaching and learning in the field of mathematics, particularly in solving complex open-ended mathematical problems Specific relations between ...
Janka Medová, Kristína Ovary Bulková, Soňa Čeretková   +2 more
doaj   +1 more source

Towards an Intelligent Tutor for Mathematical Proofs [PDF]

, 2012
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook ...
Abigail S. Gertner, Albert Corbett, Allen. Newell, Andreas Abel, Beverly Park Woolf, Bruce M. McLaren, Carolyn Penstein Rosé, Cezary Kaliszyk, Christoph Benzmüller, Christoph Benzmüller, Christoph Benzmüller, Dale A. Miller, Daniel Solow, David Aspinall, Dimitra Tsovaltzi, Dominik Dietrich, Dominik Dietrich, Dominik Dietrich, Dominik Dietrich, Don Syme, Douglas C. Merrill, Erica Melis, Ewen Denney, Freek Wiedijk, Gerhard Gentzen, Jana Trgalova, Jean-François Nicaud, Jim Grundy, John F. Kelley, John Robert Anderson, John Seely Brown, Kenneth R. Koedinger, Kenneth R. Koedinger, Kevin D. Ashley, Koen Claessen, Kurt VanLehn, Kurt VanLehn, Kurt VanLehn, Lassaad Cheikhrouhou, Leslie Lamport, Louise A. Dennis, Magdalena Wolska, Markus Wenzel, Marvin Schiller, Marvin Schiller, Marvin Schiller, Michael Beeson, Michelene T. H. Chi, Neil T. Heffernan, Noboru Matsuda, Paulo Ribenboim, Pedro Quaresma, Peter B. Andrews, Peter J. Robinson, Pierre Corbineau, Pramuditha Suraweera, Ralph-Johan Back, Ralph-Johan Back, Ralph-Johan Back, Richard Sommer, Serge Autexier, Serge Autexier, Serge Autexier, Serge Autexier, Stellan Ohlsson, Tiffany Barnes, Tiffany Barnes, Vincent Aleven, Wilfried Sieg, Wilfried Sieg, William Billingsley, William McCune, Xiaorong Huang, Xiaorong Huang   +73 more
core   +2 more sources

Phenotypic and genotypic characterization of single circulating tumor cells in the follow‐up of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon, Rui P. L. Neves, Nikolas H. Stoecklein, Sven‐Thorsten Liffers, Jens Siveke, Jan D. Kuhlmann, Pauline Wimberger, Paul Buderath, Rainer Kimmig, Sabine Kasimir‐Bauer   +9 more
wiley   +1 more source

Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]

, 2011
Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core  

Evidence, Proofs, and Derivations [PDF]

, 2019
The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice ...
Aberdein, Andrew
core   +2 more sources

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Current Tracking Adaptive Control of Brushless DC Motors

International Journal of Adaptive Control and Signal Processing, EarlyView.
In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García, Axel Coronado‐Andrade, Gerardo Espinosa‐Pérez, Luis Alvarez‐Icaza   +3 more
wiley   +1 more source