Buscar
Mostrando ítems 1-10 de 10
Monadic curry algebras Q tau
(Springer, 2007-01-01)
In this paper we present an algebraic version of the annotated predicate logics Q tau [1] by using the concept of Curry Algebras [5]. The algebraic structure obtained is called Curry Algebras Q tau. We study some basic ...
Monadic Curry System N-1*
(Springer, 2010-01-01)
This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced ...
Identificación de la estructura espacial de área rectangular : una puerta de entrada al desarrollo de pensamiento algebraico.
(Universidad Pedagógica NacionalMaestría en Docencia de la MatemáticaFacultad de Ciencia y Tecnología, 2020)
El propósito de este proyecto de grado, desarrollado en el contexto de una maestría en docencia de las matemáticas, fue identificar los alcances de una innovación curricular—diseñada con la intención de apoyar el reconocimiento ...
Enseñanza de la Aritmética y la Geometría en las escuelas de Cundinamarca durante la introducción de la Pedagogía Pestalozziana 1867-1894 : un estudio exploratorio.
(Universidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnología, 2011)
Este trabajo se concentra en indagar a propósito de tres aspectos relacionados con las prácticas de enseñanza de las matemáticas en las escuelas del Estado de Cundinamarca entre 1868 y 1894. Dichos aspectos corresponden ...
Análisis de la consistencia lógica del discurso político frente al gasto público en Colombia (2002-2018)
(Universidad Santo TomásMaestría Ciencias EconómicasFacultad de Economía, 2020-11-25)
In Colombia, for the period from 2002 to 2018 there were two presidents, during these periods each president delivers a series of speeches in meetings, meetings, speeches, and different events before all the country's ...
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
(Universidade de BrasíliaBrasilCiência da ComputaçãoPrograma de Pós-Graduação em InformáticaUnB, 2019)
Semiparametric smoothing spline to joint mean and variance models with responses from the biparametric exponential family: a bayesian perspective
(Universidad Nacional de ColombiaBogotá - Ciencias - Doctorado en Ciencias - EstadísticaDepartamento de EstadísticaFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2022-01)
Statistical applications need to address an increasing complexity due to new data arising from recent technologies, new phenomenons, and diverse sources of uncertainty. The demand for flexible methods with non-standard ...
Computación científica paralela mediante uso de herramientas para paso de mensajesParallel scientific computing with message-passing toolboxes
(Corporación Universidad de la Costa, 2019)
Análisis estadístico (SPSS) para evaluar el aprendizaje autorregulado, estilo cognitivo y logro académico en ambientes computacionales.
(Universidad Pedagógica NacionalLicenciatura en Diseño TecnológicoFacultad de Ciencia y Tecnología, 2019)
El trabajo de grado se propone hacer un análisis estadístico y sistemático de ambientes computacionales los cuales tienen como objetivo desarrollar habilidades en diferentes dimensiones del proceso de aprendizaje en los ...