Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"proof construction"”.
-
Steps towards proof construction using reinforcement learning : environments and models for hypothesis-posing as subtask creation
… steps towards training agents to construct proofs through utilizing the ability to pose hypotheses as a way to uncover information and break tasks down into subtasks. To do so, I create a novel bitstring problem that retains many of the challenges posed by proof construction while dispensing …
-
An Investigation Of High School Geometry Students Proving And Logical Thinking Abilities And The Impact Of Dynamic Geometry Software On Student Performance
… school geometry students' logical thinking and proof construction abilities, (b) the linkage between students' logical thinking and proof construction abilities, and (c) the impact of dynamic geometry software on students' performance. In addition, this study also ventured to determine if the …
-
Nondeterminism and Language Design in Deep Inference
… with deep inference, in contrast to traditional proof-theoretic systems, inference rules can be applied at any depth inside logical expressions. Deep applicability of inference rules provides a rich combinatorial analysis of proofs. Deep inference also makes it possible to design deductive …
-
Proof and reasoning in an inquiry-oriented class: The impact of classroom discourse
… interactions influence students' engagement in proof and reasoning activities. In addition, the study analyzes students' argumentation schemes as they occurred in classroom discussions and during student group work.</p><p>Through the perspective that learning is both a social and an individual …
-
Automated Multiparty Authorization in Open Distributed Systems
… control. While it is easy to verify a proof of authorization encoded in PeerAccess, the multilateral and distributed nature of multiparty authorization makes it difficult to construct such proofs. To facilitate distributed proof construction, we propose query routing rules to allow each …
-
Mathematics education reform in Trinidad and Tobago: the case of reasoning and proof in secondary school
… affect the opportunities for reasoning and proof in the written curriculum, the teaching of proof, and students' learning. Furthermore, we are yet to know how the high-stake assessment measures interact with these new policies to impact the teaching and learning of proof. In this …