Constructivism - PDFSEARCH.IO - Document Search Engine

Constructivism
Results: 948

#	Item
261	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
262	World Socialist Web Site wsws.org Exhibition in Berlin: Rediscovery of a Russian revolutionary art school Add to Reading List Source URL: intsse.com Language: English Modernism Vkhutemas Nikolai Ladovsky Vesnin brothers Ivan Leonidov Constructivism Bauhaus Moisei Ginzburg Konstantin Melnikov Russian avant-garde Modern art Visual arts
263	J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:37:00 Philosophy of mathematics Logic in computer science Type theory Lambda calculus Mathematical constructivism Curry–Howard correspondence Simply typed lambda calculus Logic Mathematical logic Mathematics Theoretical computer science Computer science
264	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism
265	Springer[removed]Ethics and Information Technology[removed]:61–73 DOI[removed]s10676[removed]Where computer security meets national security1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2006-01-02 06:05:28 Security studies Computer security Constructivism Hacking Computer network security Securitization Copenhagen School National Strategy to Secure Cyberspace National security Security International relations International relations theory
266	Faculty of Education The University of Hong Kong Postgraduate Diploma in Education (PGDE) Add to Reading List Source URL: web.edu.hku.hk Language: English - Date: 2014-09-03 00:20:38 Education reform Teaching Alternative education Teacher education Postgraduate Diploma in Education Teaching method E-learning University of Hong Kong Constructivism Education Educational psychology Philosophy of education
267	PERSONIFYING THE STATE: THE INDIVIDUAL IN INTERNATIONAL RELATIONS DR. ROBERT OPRISKO TUESDAY, APRIL 14TH – NOON TO 1PM "Oprisko not only brings the insights of philosophy and social theory into the disciplines of polit Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2015-03-12 15:02:27 Global Political philosophy Political science Constructivism Marxist theory International relations
268	INTERNET TECHNOLOGY EVOLUTION Add to Reading List Source URL: www.silvertair.com Language: English - Date: 2009-07-08 10:08:26 Constructivism E-learning Educational technology Psychology Cognitive neuroscience Cognitive science Multimedia learning Transfer of learning Cognitive infocommunications Education Educational psychology Cognitive load
269	This is the author’s version of a work that was submitted/accepted for publication in the following source: Adie, Lenore E., Klenowski, Valentina, & Wyatt-Smith, Claire[removed]Towards an understanding of teacher judgem Add to Reading List Source URL: eprints.qut.edu.au Language: English - Date: 2013-07-01 11:29:22 Evaluation Educational psychology Evaluation methods Standards-based education Education Constructivism Social constructivism
270	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics

UPDATE