Constructivism - PDFSEARCH.IO - Document Search Engine

Constructivism
Results: 948

#	Item
51	ZDM Mathematics Education:295–306 DOIs11858ORIGINAL ARTICLE Bringing forth mathematical concepts: signifying sensorimotor Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Educational psychology Cognitive science Learning Educational technology Mathematics education Embodied cognition Embodied design George Lakoff Instructional design Conceptual metaphor Constructivism
52	Emanuele Frittaion Curriculum Vitae 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-05-17 18:40:36 Mathematical logic Mathematics Computability theory Logic Philosophy of mathematics Foundations of mathematics Reverse mathematics Constructivism
53	Effective Uniform Bounds from Proofs in Abstract Functional Analysis Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:38:01 Mathematical analysis Mathematics Operator theory Lipschitz maps Fourier analysis Approximation theory Constructivism Modulus of continuity Limit of a function Continuous function Universal property Contraction
54	Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-31 04:15:47 Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology
55	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
56	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
57	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
58	International Journal of Education & the Arts Editors Terry Barrett Ohio State University Peter Webster Add to Reading List Source URL: www.ijea.org Language: English - Date: 2016-04-14 13:54:55 Educational psychology Alternative education Outdoor education Education in Botswana Botswana Constructivism Music education Environmental education Curriculum Education Culturally relevant teaching Arts-based environmental education
59	The use of a logical principle of uniform boundedness in analysis Ulrich Kohlenbach Department of Mathematics University of Michigan Ann Arbor Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:56 Mathematical analysis Mathematics Analysis Functional analysis Approximation theory Constructivism Fourier analysis Modulus of continuity Uniform boundedness principle Substitution Continuous function
60	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier