Buscar
Mostrando ítems 1-10 de 44
Objetos k-finitos y decidibilidad
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2014)
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(2014-01-01)
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(2014-01-01)
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2014)
Emiretículos y objetos k-finitos
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2017)
Semilattices and K-finite objectsSemiretículos y objetos k-finitos
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2017)
O desvelar de uma teoria da decidibilidade aplicada ao regime de teletrabalho
(Universidade Federal de Santa MariaBrasilDireitoUFSMPrograma de Pós-Graduação em DireitoCentro de Ciências Sociais e Humanas, 2017-03)
Influencias generadas por la nueva información y las tecnologías de comunicación - TIC han traído cambios considerables en todo el mundo, por lo que la sociedad actual en una sociedad red real. Estos avances tecnológicos ...
Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
(Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas, 1980)
Este artículo se refiere al estudio de extensiones de la lógica de primer orden (Lωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de ...
Da metamatemática para a ciência cognitiva
(Universidade Estadual Paulista, Departamento de Filosofia, 1999)
In this article, it is suggested a possible profile for the historical and philosophical migration of several issues from the metamathematical domain to the domain of functionalist neuro-computational Cognitive Science. ...
Proofs of the undecidability of stegananalysis techniques
(SpringerCH, 2020)
Steganalysis comprises a set of techniques that strive to find concealed information within diverse types of digital media. On the contrary, Steganography involves a group of methods that, by manipulation of a cover object, ...