Buscar
Mostrando ítems 21-30 de 89
O método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
(Sociedade Brasileira de Matemática Aplicada e Computacional - SBMAC, 2021-09-06)
Sette and Carnielli introduced the axiomatic system I1 in 1995, which presents an intuitionistic character, in the same regard of the logical system developed by Arend Heyting (1898-1980), that is, as a logic underlying ...
Estudio de disponibilidad léxica de profesores que imparten asignaturas a la carrera de Pedagogía en Matemática y Computación de la Universidad de Concepción y Pedagogía en Educación Matemática de la Universidad del Bio Bío en los Centros de interés cálculo, estructura y geometría.
(Universidad de Concepción.Facultad de EducaciónDepartamento de Ciencias de la Educación., 2016)
La investigación que se muestra a continuación se realizó con el objetivo de ser un aporte al proyecto Fondecyt 1140457 “Plataforma adaptativa online para el fortalecimiento de las competencias matemáticas y pedagógicas a ...
Diseño de iluminación
(Universidad de Belgrano. Programas de las Materias - Facultad de Arquitectura y Urbanismo - Carrera de Licenciatura en Diseño de Interiores, Plan 2012.)
I-OBJETIVOS:
Objetivos Generales
La asignatura tiene como objetivo general introducir al alumno en el conocimiento y manejo adecuado de las variables conceptuales, estéticas y técnicas del Diseño de Iluminación, preparándolo ...
Fortalecimiento de la comprensión lectora en el componente semántico, mediante el diseño e implementación de un objeto virtual de aprendizaje para la básica primaria.
(Pregrado Licenciatura en Literatura y Lengua Castellana, 2022-09-22)
This project arises from the difficulty presented by the third grade students of elementary school, in terms of their level of reading comprehension, specifically in the semantic component evidenced in the results of ...
Lenguaje de programación cuántico QML con historial, reversibilidad y cálculo lambda con mediciones
(Universidad Autónoma del Estado de México, 2020)
Funciones léxicas en español utilizando embeddings
(2019-03-05)
RESUMEN:
El lenguaje humano es ampliamente ambiguo como variable, los seres humanos somos capaces de producir y entender el lenguaje, sin embargo, existe muy poca formalidad para comprender y describir las reglas que lo ...
Competencias conceptuales adquiridas durante la aplicación de una propuesta didáctica referidas a las fracciones
(Universidad del Zulia, 2011)
Significado performativo en el discurso político
(Lengua y Habla, 2021)
La repercusión del movimiento MOOC en las redes sociales. Un estudio computacional y estadístico en Twitter
Este artículo analiza el impacto del movimiento MOOC en la plataforma Twitter y, para ello, se procesan 55.511 tuits según su repercusión léxico-semántica mediante el cálculo de tf-idf para la representación de documentos ...
Omitting types and w-categoricity for linear kripke sheaves
(UniandesMaestría en MatemáticasFacultad de CienciasDepartamento de Matemáticas, 2017)
"Kripke semantics constitutes a correct and complete system for intuitionistic logic (concretely for Heyting's calculus), nevertheless there are few approaches exploring model theoretical questions in this context. Based ...