Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Máquinas de Turing"'
Autor:
Lavagnoli González, Alba
El teorema de Church demuestra que la cuestión de la validez o no de fórmulas de primer orden no es resoluble por máquinas de Turing ni procedimientos equivalentes, lo que a partir de la tesis de Church-Turing significa la inexistencia de métodos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1514::89a54f5a3ea5a1dc8d251bb4a44a98a6
Autor:
Alzate-Gil, Alejandro
Publikováno v:
Repositorio UCO
Universidad Católica de Oriente
instacron:Universidad Católica de Oriente
Universidad Católica de Oriente
instacron:Universidad Católica de Oriente
Hoy la dinámica de las grandes organizaciones y la exigencia del mundo cambiante lleva a las empresas a pensar cada vez más en la estandarización de los sistemas de gestión y que las empresas desarrollen modelos para su control y gestión. El obj
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::0d30d066e465cfdbbc6aa7721d8224a1
https://repositorio.uco.edu.co/handle/20.500.13064/1451
https://repositorio.uco.edu.co/handle/20.500.13064/1451
Autor:
Agudelo, Juan Carlos Agudelo
Publikováno v:
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Orientador: Walter Alexandre Carnielli Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Neste trabalho levantamos, e investigamos do ponto de vista conceitual, evidências de que a complexidade a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7298636c725d754b3e78800c8cd47713
https://doi.org/10.47749/t/unicamp.2009.470540
https://doi.org/10.47749/t/unicamp.2009.470540
Autor:
López Ramírez, Cristina
Publikováno v:
Benemérita Universidad Autónoma de Puebla
BUAP
Repositorio Institucional de Acceso Abierto RIAA-BUAP
BUAP
Repositorio Institucional de Acceso Abierto RIAA-BUAP
"Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f25b115379034bf2e42b10fdfb94abb8
Autor:
Andrés Montoya
Publikováno v:
Revista Colombiana de Computación, Vol 10, Iss 1 (2009)
En este artículo analizamos la complejidad paramétrica de algunos problemas típicos en minería de grafos, específicamente nosotros analizamos la complejidad paramétrica del problema de listado consistente en: Dado G un grafo-input, liste todos
Externí odkaz:
https://doaj.org/article/1c5adad68581404a973478f3e96a2f31
Autor:
Juan Andrés Montoya
Publikováno v:
Revista Colombiana de Computación, Vol 10, Iss 1 (2009)
En este artículo analizamos la complejidad paramétrica de algunos problemas típicos en minería de grafos, específicamente nosotros analizamos la complejidad paramétrica del problema de listado consistente en: Dado G un grafo-input, liste todos
Externí odkaz:
https://doaj.org/article/a9f3567b6b38469cadcba6cb6da52e93
Autor:
J. Andrés Montoya
Publikováno v:
Revista Integración, Vol 24, Iss 1 (2006)
Se prueba que el juego sudoku es NP–completo, si se consideran tableros de tamaño n2 para todo número natural n. Esto explica, en parte, por qué es que resulta tan difícil jugar sudoku.
Externí odkaz:
https://doaj.org/article/7cb3fefe257a490489061e370f02562d
Autor:
Brandão, Pedro Ramos
Publikováno v:
Revista de Ciências da Computação; v. 12 (2017)
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Agência para a Sociedade do Conhecimento (UMIC)-FCT-Sociedade da Informação
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
Estudo da importância de Alan Turing na Segunda Guerra Mundial, o papel decisivo no avanço da computação, a sua criação abstrata de inteligência artificial. A forma como foi tratado pelas autoridades britânicas. As teorias do seu principal op
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c46803e7c468dd08ddbaade7e653ab7
https://journals.uab.pt/index.php/rcc/article/view/8
https://journals.uab.pt/index.php/rcc/article/view/8
Autor:
Michel Faleiros Martins
Publikováno v:
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Orientadores: Francesco Matucci, Fernando Eduardo Torres Orihuela Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica Resumo: Nesta dissertação revisitamos a solução do D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05f1ff59b0ecc71dd9f013b7a8f7c131
Publikováno v:
Repositório Institucional da UNESPUniversidade Estadual PaulistaUNESP.
Submitted by JOÃO PAULO DA CRUZ ALMEIDA (joaopauloalmeida2010@gmail.com) on 2017-09-26T16:20:50Z No. of bitstreams: 1 Minha Dissertação.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5)
Approved for entry into archive by Mo
Approved for entry into archive by Mo
Externí odkaz:
http://hdl.handle.net/11449/151718