Buscar
Mostrando ítems 21-30 de 80
Estructuras desde el punto de vista de la teoría de la computabilidad
(2021-02)
“La teoría de la computabilidad se centra en el estudio de la complejidad de los objetos matemáticos en función de la dificultad de dar un algoritmo para calcularlos. Después del trabajo fundacional en el área de Turing ...
La historia y la gramática de la recursión: una precisión desde la obra de Wittgenstein
(Universidad de La SabanaDirección de Publicaciones, 2014)
El objetivo principal de este trabajo es presentar el concepto de recursión, su historia y evolución dentro de la Teoría de la Computabilidad y la Lógica Matemática. En este análisis destacaré la sorprendente ausencia ...
Computabilidad, complejidad computacional y verificación de programas
(Universidad Nacional de La Plata. Facultad de Informática, 2013)
Computabilidad, Complejidad Computacional y Verificación de Programas contiene lasquince clases que conforman la asignatura Teoría de la Computación y Verificación deProgramas, una introducción a la teoría de la ...
Paralelização da função de avaliação aplicada ao problema de escalonamento distribuído de tarefas
(Universidade Federal de UberlândiaBrasilSistemas de Informação, 2019)
Algoritmos y complejidad para algunos problemas de dominaciónAlgorithms and complexity for some domination problems
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SATEfficient sequential tight field bounds computation, and their impact on the performance of SAT based program analysis
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
Dos formas de superar algunas limitaciones formales en teoría económicaTwo ways to overcome some formal limitations of economic theory
(Universidad de Ciencias Empresariales y Sociales, 2004-12)
En este artículo se discute el significado de limitaciones formales en la Teoría Económica y se concluye que deben ser resueltas sin recurrir a las intuiciones que los teóricos aceptan ampliamente. De esta manera, se presta ...
A topological and domain theoretical study of total computable functions
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2016-07-29)
Topologically the set of total computable functions has been studied only as
a subspace of a Baire space. Where the topology of this Baire space is the
induced topology of a Scott topology for the partial functions (not ...
Sistema adaptativo para compressão de dados
(Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia de Sistemas e ComputaçãoUFRJ, 2018)