Buscar
Mostrando ítems 1-10 de 1879
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Apuração de custos e resultados em uma clinica de assistência a idosos
(Universidade Federal de Santa MariaBrasilUFSMCentro de Ciências Sociais e Humanas, 2017-12-05)
The provision of care services to the elderly consists of an alternative to families that can not provide these care. The Long Stay Institutions for the Elderly - ILPI are an option, in which the elderly are classified by ...
Entorno familiar y su relación con el rendimiento académico en la modalidad virtual de los estudiantes del quinto año de educación general básica.
(2022-07)
The educational system has undergone important changes since the COVID-19 pandemic, using the virtual modality for the development of classes. This modality offers technological resources that benefit the learning process, ...
On rich modal logics
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-11-19)
I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, ...
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)
En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...
Creencias y prácticas pedagógicas de los agentes educativos para la enseñanza de habilidades para la vida en la primera infancia
(Universidad Católica de Pereira, 2019-08-24)
En esta investigación se buscó describir las creencias y las prácticas pedagógicas de los agentes educativos en la modalidad familiar del ICBF del municipio de La Virginia, para la enseñanza de habilidades para la vida ...
Dugundji’s Theorem Revisited
(Birkhauser Verlag AG, 2014)
Multiplier Modality in Parent CounselingLa modalidad de agentes multiplicadores para orientar a madres y padres de familia
(Centro de Investigación y Docencia en Educación (CIDE), 2014)