Buscar
Mostrando ítems 31-40 de 185
Development of early numerical ability: contributions from cognitive psychology to initial mathematics educationDesarrollo de la habilidad numérica inicial: aportes desde la psicología cognitiva a la educación matemática inicial
(Revista Latinoamericana de Investigacion en Matematica Educativa, 2022)
LOGICAL ASPECTS OF INTUITIVE THINKING
(CONSEJO SUPERIOR INVESTIGACIONES CIENTIFICAS-CSIC, INST GRASA, 2018-01-01)
In this article we defend the possibility of finding in intuitive thinking a set of characteristics or laws which refer to logical aspects, which are different from classic symbolic logic, involving both the rational ...
Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em EducaçãoEducação, 2007-12-07)
Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures ...
Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
(Jagiellonian University, 2014-05)
We consider the Σ1 0-fragment of second-order logic over the vocabulary h+, ×, 0, 1, <, S1, ..., Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this ...
Simply typed lambda calculus with opposite types
(Medellín, Colombia, 2022)
Many-valued Logics And Translations
(, 1999)