Results 241 to 250 of about 1,842,228 (287)
Values on generalized reachability games (Proof theory and complexity)
Values on generalized reachability games (Proof theory and complexity)openaire
Generalized Recursion Theory (Proof theoryとRecursion theory研究会報告集)
Generalized Recursion Theory (Proof theoryとRecursion theory研究会報告集)openaire
Forcing and consistency proof in General topology(General Topology and Set Theory)
Forcing and consistency proof in General topology(General Topology and Set Theory)openaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On the Proof-theoretic Foundation of General Definition Theory
Synthese, 2006A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind ...
Lars Hallnäs
openaire +3 more sources
A proof theory for generic judgments
ACM Transactions on Computational Logic, 2005The operational semantics of a computation system is often presented as inference rules or, equivalently, as logical theories. Specifications can be made more declarative and high level if syntactic details concerning bound variables and substitutions are encoded directly into the logic using term-level abstractions (λ-abstraction) and ...
Dale Miller, Alwen Tiu
openaire +1 more source
A Pattern in Number Theory: Example→ Generalization→ Proof
The Mathematics Teacher, 1971The study of patterns is an integral part of the study of mathematics. As we teach mathematics, we must point out how to search for patterns and how patterns may aid us in problem solving. The following problem is one that combines patterns, ideas from number theory, and mathematical induction: “Prove that it is possible to pay, without requiring ...
David R. Duncan, Bonnie H. Litwiller
openaire +1 more source
Secondary teachers’ knowledge of elementary number theory proofs: the case of general-cover proofs
Journal of Mathematics Teacher Education, 2011In light of recent reform recommendations, teachers are expected to turn proofs and proving into an ongoing component of their classroom practice. Two questions emerging from this requirement are: Is the mathematical knowledge of high school teachers sufficient to prove various kinds of statements?
Michal Tabach +5 more
openaire +1 more source
Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (abstract only)
ACM Communications in Computer Algebra, 2008The rapidly growing activity of experimental mathematics is still, to a large extent, a straightforward (albeit far-reaching) extension of the usual mode of paper-and-pencil research, where the pencil just got so much quicker and sharper and the paper so much larger.
Doron Zeilberger +1 more
openaire +1 more source