Results 21 to 30 of about 7,042,113 (292)
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
Typed closure conversion for the calculus of constructions [PDF]
ACM SIGPLAN Notices, 2018 Dependently typed languages such as Coq are used to specify and verify the full functional correctness of source programs. Type-preserving compilation can be used to preserve these specifications and proofs of correctness through compilation into the generated target-language programs.
Bowman, William J., Ahmed, Amal
openaire +3 more sources
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
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
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
, 2020 Exhibition Constructive, 2020 Caboolture Regional Gallery, Queensland Constructive traces an exploration of abstract forms in the work of Simon Degroot through painting, collage and public murals.
Simon Degroot (13212453) +1 more
core +1 more source
Constructive sheaf models of type theory [PDF]
, 2021 We provide a constructive version of the notion of sheaf models of univalent type theory. We start by relativizing existing constructive models of univalent type theory to presheaves over a base category.
Sattler, Christian +5 more
core +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
Constructive Bounds for a Ramsey-Type Problem [PDF]
Graphs and Combinatorics, 1997 Many important bounds for the Ramsey function \(R(s,t)\) are proved using probabilistic techniques. Some additional constructive ideas have been developed in recent years, but they usually give weaker bounds. The authors consider a more general Ramsey type function, and give constructive bounds for this function. In particular, given integers \(r\) and
Noga Alon, Michael Krivelevich
openaire +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