Results 11 to 20 of about 923,302 (188)
Archiv für Mathematische Logik und Grundlagenforschung, 1966 Publisher Summary This chapter explains constructive order types. The theory of constructive order types constitutes a new approach to the problem of providing a constructive analogue of ordinal number theory. Ordinal number theory may be approached in two ways: (1) ordinals may be considered as being generated in a certain way, and (2) ordinals may ...
Crossley, John N., Aczel, P.H.G.
openaire +2 more sources
Teaching and Learning in Times of COVID-19: Uses of Digital Technologies During School Lockdowns
Frontiers in Psychology, 2021 The closure of schools as a result of COVID-19 has been a critical global incident from which to rethink how education works in all our countries. Among the many changes generated by this crisis, all teaching became mediated by digital technologies. This
Juan-Ignacio Pozo +3 more
doaj +1 more source
Strategi Kontruktif Dan Dekonstruktif: Proses Identifikasi Pola Bilangan Mahasiswa Calon Guru SD
Jurnal Derivat, 2020 This study aims to describe the process of identifying elementary student teacher candidates using constructive and deconstructive strategies. This study's research subjects were 6th-semester PGSD students of Mataram University who attended elementary ...
Iva Nurmawanti +4 more
doaj +1 more source
Constructive Type Theory and the Dialogical Approach to Meaning
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 In its origins Dialogical logic constituted one part of a new movement called the Erlangen School or Erlangen Constructivism. Its goal was to provide a new start to a general theory of language and of science.
Shahid Rahman, Nicolas Clerbout
doaj +1 more source
Note on constructing a family of solvable sine-type difference equations
Advances in Difference Equations, 2021 We obtain a family of first order sine-type difference equations solvable in closed form in a constructive way, and we present a general solution to each of the equations.
Ahmed El-Sayed Ahmed +4 more
doaj +1 more source
An Analysis of Tennenbaum's Theorem in Constructive Type Theory [PDF]
Logical Methods in Computer ScienceTennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers.
Marc Hermes, Dominik Kirst
doaj +1 more source
Media and Communication, 2022 Since the 2010s, a new type of journalism has emerged, especially in North America and Western Europe, called constructive journalism. Its basic idea is to complement classic problem-centered reporting by covering problem-solving approaches that could ...
Uwe Krüger +4 more
doaj +1 more source
BASES OF CONSTRUCTIVITY OF MODERN PERSONALITY
Sovremennye Issledovaniâ Socialʹnyh Problem, 2014 Formation of bases of constructibility is important process at this stage of de-velopment of our state. Personality of modern type must be capable to self-determination, competent adoption of constructive decisions and manifestation of a personal ...
Natalya Petrovna Shatalova
doaj +1 more source
Quotient completion for the foundation of constructive mathematics [PDF]
, 2013 We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
Matrix Ernst potentials for EMDA with multiple vector fields [PDF]
, 1996 We show that the Einstein-Maxwell-Dilaton-Axion system with multiple vector fields (bosonic sector of the D=4, N=4 supergravity) restricted to spacetimes possessing a non-null Killing vector field admits a concise representation in terms of the Ernst ...
Bergshoeff +24 more
core +2 more sources