Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Funções recursivas"'
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 14 (2019)
Iniciamos esse artigo com uma visão geral sobre a Teoria da Computabilidade e o conceito de algoritmo. Em seguida, definimos a classe de funções recursivas, uma tentativa de formalização da classe de funções algor´ıtmicas, e mostramos como m
Externí odkaz:
https://doaj.org/article/a11c54406f89472f974f39887afa4709
Autor:
Medeiros, Bismarck Bório de
Publikováno v:
Biblioteca Digital de Teses e Dissertações do UFSM
Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
The work seeks to elucidate and understand relevant aspects in the structure of paradoxical undecidable sentences in consistent formal systems that contain Dedekind-Peano Arithmetic. The first chapter exposes the investigations and advances in Mathem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::d5dbc2b9a5e6fbc960a72addc2f34e9b
http://repositorio.ufsm.br/handle/1/25114
http://repositorio.ufsm.br/handle/1/25114
Autor:
Centenaro, Iralino Fidencio
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: Andres Raggio Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação Resumo: Não informado Abstract: Not informed Mestrado Mestre em Matemática
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e4ccc7bff588fee88290558bf2a6bd8
https://doi.org/10.47749/t/unicamp.1977.85344
https://doi.org/10.47749/t/unicamp.1977.85344
Autor:
Pinto, Guilherme Albuquerque
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: Arnaldo Vieira Moura Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação Doutorado
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e48e6a550919f7f192f10dd0765ebfd
https://doi.org/10.47749/t/unicamp.2003.293010
https://doi.org/10.47749/t/unicamp.2003.293010
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
Autor:
Gregório, Edney Freitas
Publikováno v:
Repositório Institucional da Universidade Federal do Ceará (UFC)
Universidade Federal do Ceará (UFC)
instacron:UFC
Universidade Federal do Ceará (UFC)
instacron:UFC
This paper deals with Hilbert's Tenth Problem, whose statement is: Given a Diophantine equation with coefficients in any number of variables, it is possible to elaborate a process that decides, through of a finite number of operations, if the equatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::9ba79bab05d12f5aba69c20be918626a
http://www.repositorio.ufc.br/handle/riufc/33148
http://www.repositorio.ufc.br/handle/riufc/33148
Autor:
Barroso, Marlo Moesia
Publikováno v:
Biblioteca Digital de Teses e Dissertações do LNCCLaboratório Nacional de Computação CientíficaLNCC.
Submitted by Maria Cristina (library@lncc.br) on 2017-05-04T12:19:21Z No. of bitstreams: 1 Marlo Moesia Barroso - Dissertação de Mestrado - LNCC.pdf: 8491976 bytes, checksum: 16499e3980c0a072d1c5d664cf6a15b4 (MD5)
Approved for entry into archi
Approved for entry into archi
Externí odkaz:
https://tede.lncc.br/handle/tede/256
Autor:
Barroso, Marlo Moesia
Publikováno v:
Biblioteca Digital de Teses e Dissertações do LNCC
Laboratório Nacional de Computação Científica (LNCC)
instacron:LNCC
Laboratório Nacional de Computação Científica (LNCC)
instacron:LNCC
Submitted by Maria Cristina (library@lncc.br) on 2017-05-04T12:19:21Z No. of bitstreams: 1 Marlo Moesia Barroso - Dissertação de Mestrado - LNCC.pdf: 8491976 bytes, checksum: 16499e3980c0a072d1c5d664cf6a15b4 (MD5) Approved for entry into archive by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::790ea0bd1d0939015cc0be856acc6583
https://tede.lncc.br/handle/tede/256
https://tede.lncc.br/handle/tede/256
Autor:
Gomes, Victor pereira
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFPBUniversidade Federal da ParaíbaUFPB.
Submitted by Maike Costa (maiksebas@gmail.com) on 2016-08-10T14:17:41Z No. of bitstreams: 1 arquivo total.pdf: 975005 bytes, checksum: 6f8194b9c0cb9c0bbd07b1d2b0ba4b9e (MD5)
Made available in DSpace on 2016-08-10T14:17:41Z (GMT). No. of bitstrea
Made available in DSpace on 2016-08-10T14:17:41Z (GMT). No. of bitstrea
Externí odkaz:
http://tede.biblioteca.ufpb.br:8080/handle/tede/8514
Autor:
Freitas, André Barbosa
Publikováno v:
Repositório Institucional da UFESUniversidade Federal do Espírito SantoUFES.
Submitted by Elizabete Silva (elizabete.silva@ufes.br) on 2015-12-03T19:01:45Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Avaliação do desempenho do procedimento recursivo do método dos elemento
Externí odkaz:
http://repositorio.ufes.br/handle/10/1644