Constructivism - PDFSEARCH.IO - Document Search Engine

Constructivism
Results: 948

#	Item
61	An arithmeti al hierar hy of the law of ex luded middle and related prin iples 1 Yohji Akama Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:30:01 Constructivism Proof theory Realizability FO Orthogonal polynomials
62	Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-06-07 10:47:50 Computability theory Model theory Logic Mathematics Theory of computation Alan Turing Constructivism Philosophy of mathematics Computable model theory Turing degree Enumeration Mathematical logic
63	Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Proof assistants Real numbers Automated theorem proving Elementary mathematics Type theory First-order logic Construction of the real numbers Constructivism Mathematical logic Isabelle Axiom Setoid
64	15 > 17 JUNE http://cca-net.de anfiteatro -1.A, Faculdade de Economia Add to Reading List Source URL: cca-net.de Language: English - Date: 2016-05-26 12:34:11 Computability theory Constructivism Theory of computation Computable analysis Mathematics Logic Computable number Realizability Academia Computable measure theory
65	Russ Deaton STATE OF TENNESSEE HIGHER EDUCATION COMMISSION PARKWAY TOWERS, SUITE 1900 NASHVILLE, TENNESSEE Add to Reading List Source URL: www.tn.gov Language: English - Date: 2016-05-04 17:40:31 Education Pedagogy Euthenics Knowledge sharing Constructivism Experiential learning Work-based learning Tennessee Higher Education Commission Leap Cooperative education
66	May 12, 2016 LEF Foundation Awards $195,000 in Moving Image Fund Grants to New England Independent Documentary Filmmakers The LEF Foundation is excited to announce 11 Moving Image Fund grants totaling $195,000 in product Add to Reading List Source URL: www.lef-foundation.org Language: English - Date: 2016-05-12 14:11:48 Russian avant-garde Constructivism LEF Russian formalism Soviet art Documentary film
67	24 Rogers, Constructivism and Jurisprudence: Educational Critique and the Legal Curriculum Add to Reading List Source URL: zeugma.typepad.com Language: English - Date: 2008-08-21 07:28:40
68	Weighing the evidence: Children’s naïve theories of balance affect their exploratory play Elizabeth Baraff Bonawitz, Suejean Lim, & Laura E. Schulz {liz_b, slim13, lschulz}@mit.edu Department of Brain and Cognitive Sc Add to Reading List Source URL: ccdlab.rutgers.edu Language: English - Date: 2015-03-24 11:58:24 Psychology Philosophy Cognitive science Child development Constructivism Cognition Epistemologists Jean Piaget Toy block Scientific theory Causality Toy
69	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
70	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability

UPDATE