Buscar
Mostrando ítems 71-80 de 80
Uma construção categórica de um modelo do cálculo lambda
(Universidade Federal do Rio de JaneiroBrasilInstituto de ComputaçãoUFRJ, 2021)
Da computação paraconsistente a computação quantica
([s.n.], 2006)
SiNo: Uma ferramenta didática de apoio para o ensino de máquina NORMA
(Universidade Federal do PampaUNIPAMPABrasilCampus Alegrete, 2020)
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.
(Universidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnología, 2015)
Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica ...
Mate - museo : propuesta digital interactiva sobre las heurísticas en la Historia de las Matemáticas.
(Universidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnología, 2022)
Este trabajo de grado se enfoca en las heurísticas – especialmente desde las Historia de las Matemáticas – identificándolas y catalogándolas según las etapas históricas de la humanidad, para después diseñar actividades e ...
Modelo para la asignación de víctimas de desastre a puntos de valoración médica, considerando diferentes lesiones y probabilidades de supervivencia en Bucaramanga
(Universidad Santo TomásPregrado Ingeniería IndustrialFacultad de Ingeniería Industrial, 2019-09-02)
Among the humanitarian activities, there is the management of disaster victims, from their search and rescue , until they are safeguarded in shelters , as well as the allocation of different types of resources . Once a ...