Search for dissertations about: "Proof theorem"
Showing result 1 - 5 of 77 swedish dissertations containing the words Proof theorem.
-
1. Space in Proof Complexity
Abstract : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. READ MORE
-
2. An ALF proof of Mac Lane's coherence theorem
Abstract : .... READ MORE
-
3. The fundamental theorem of calculus : a case study into the didactic transposition of proof
Abstract : The relationship between academic mathematics as practiced by researchers at universities and classroom mathematics (the mathematical practices in classrooms in primary, lower and upper secondary education as well as in undergraduate university education) is a fundamental question in mathematics education. The focus of the study presented here is on how this relationship is seen from the perspective of mathematics education and by researching mathematicians, with a focus on proof. READ MORE
-
4. Computational Issues in Calculi of Partial Inductive Definitions
Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE
-
5. Essays on Strategy-proof Social Choice
Abstract : This thesis makes a contribution to strategy-proof social choice theory, in which one investigates the conditions under which it is possible to construct social choice functions (i.e. READ MORE