Search results for "Roof"

showing 3 items of 303 documents

Teaching and Learning of Geometry as a process of Objectification: conditions and obstacles to argumentation and proof. The role of natural language,…

2021

This paper examines some examples (taken from research conducted over the years) that show students’ linguistic attitudes in geometry tasks. The examples are framed within the Theory of Objectification with reference to the notion of sensuous cognition, semiotic means of objectification and levels of generality. We show the struggle students live, at higher levels of generality, in intertwining natural language, specific language and the spontaneous use of geometrical figures, bound to perception and kinaesthetic activity. Within the networking paradigm, we coordinate the Theory of Objectification and Duval’s semio-cognitive approach to frame the interplay between the ideal and the material…

use of figures in geometryGeneralityLC8-6691media_common.quotation_subjectobjectificationGeometryTheory and practice of educationMathematical proofSpecial aspects of educationArgumentation theoryPerceptionGeometry taskMaterials ChemistrySemioticsFrame (artificial intelligence)ObjectificationPsychologysensuous cognitionLB5-3640Natural languagenatural languagemedia_commonREMATEC
researchProduct

Būtisks kaitējums. Teorija un prakse

2015

Izvēlētā bakalaura temats ir „Būtisks kaitējums. Teorija un prakse”. Temata izvēle nav nejauša, jo kopš Krimināllikuma spēkā stāšanās brīža, neskatoties uz virkni pieņemtajiem grozījumiem būtiska kaitējuma jēdziena satura konkretizēšanā un tiesu prakses pilnveidošanā, joprojām ir konstatējamas problēmas saistībā ar būtiska kaitējuma jēdziena satura atšķirīgo izpratni, konstatēšanu un pierādīšanu izmeklēšanas iestādē, prokuratūrā un tiesā. Bakalaura darba mērķis un uzdevums pilnvērtīgāk izprast kaitīgo seku – būtiska kaitējuma jēdziena saturu, tā attīstību caur Latvijas teritorijā vēsturiski spēkā esošajiem krimināllikumiem. Tostarp, arī sniegt ieskatu par būtiska kaitējuma esamību Igaunijas…

vērtējuma jēdziens (evaluation concept)pierādīšana (proof)būtisks kaitējums (substantial harm)Krimināllikums (Criminal law)Īpašais likums (Special Act)Juridiskā zinātne
researchProduct

On the Amount of Nonconstructivity in Learning Recursive Functions

2011

Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…

μ operatorClass (set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoretical computer sciencePrimitive recursive functionData_CODINGANDINFORMATIONTHEORYInductive reasoningMathematical proofUpper and lower boundsAlgorithmμ-recursive functionAutomatonMathematics
researchProduct