Constructivism - PDFSEARCH.IO - Document Search Engine

Constructivism
Results: 948

#	Item
231	Computational effects in computable and formalized mathematics (EFFMATH) Project summary Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-11-22 07:09:08 Computing Mathematical constructivism Realizability Functional programming Computer science Monad Algorithm Ludics Software engineering Mathematical logic Mathematics
232	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
233	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
234	INR 2001 Introduction to International Relations Instructor: Dr. Laura Sjoberg Add to Reading List Source URL: polisci.ufl.edu Language: English - Date: 2014-02-16 16:07:18 Liberalism Marxist theory Higher education Tim Dunne Laura Sjoberg English school of international relations theory Realism in international relations International studies Global politics International relations theory International relations Constructivism
235	INR 6607: INTERNATIONAL RELATIONS THEORY Add to Reading List Source URL: polisci.ufl.edu Language: English - Date: 2014-02-16 16:07:28 Constructivism Liberalism Marxist theory Christian Reus-Smit Alexander Wendt Hans Morgenthau Realism in international relations Friedrich Kratochwil National interest International relations International relations theory Political realism
236	0 The Finitist Accountant David Hatherly, David Leung and Add to Reading List Source URL: www.sps.ed.ac.uk Language: English - Date: 2010-06-20 07:35:35 Historiography of science Social constructionism Mathematical constructivism Finitism Accountancy Strong programme Creative accounting Sociology of knowledge Social construction of technology Science Sociology of scientific knowledge Science and technology studies
237	Microsoft Word - Education literature review aug 2914 Add to Reading List Source URL: www.ohseducationaccreditation.org.au Language: English - Date: 2014-08-16 06:23:20 Problem-based learning Discovery learning Student-centred learning Learning styles E-learning Direct instruction Constructivist teaching methods Eleanor Duckworth Education Educational psychology Constructivism
238	1 To appear in Cognitive Effects of Multimedia Learning, R. Zheng (ed.). Hershey, PA: IGI Global. New Forms of Deep Learning on the Web: Meeting the Challenge of Cognitive Load in Add to Reading List Source URL: postgutenberg.typepad.com Language: English - Date: 2008-08-29 10:58:55 Educational technology Pedagogy Cognitive load Instructional design E-learning Worked-example effect Constructivism Education Educational psychology Learning
239	Microsoft Word - doering_veletsianos_scharber_coming_of_age.doc Add to Reading List Source URL: www.veletsianos.com Language: English - Date: 2009-08-20 07:48:15 Technological Pedagogical Content Knowledge Technology integration E-learning Geographic information system Constructivism Learning theory Design-based research Learning platform Education Educational psychology Educational technology
240	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics

UPDATE