Zobrazeno 1 - 10 of 12 pro vyhledávání: '"Eudes Naziazeno"'
1
UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
Autor: Marco Barone, Nicolás Caro, Eudes Naziazeno
Publikováno v: The Journal of Symbolic Logic. 85:1376-1402
We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are (commutative unital) reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with signature $(0,1,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::436a68932fc9a939a3138bfe9b9a34a6
https://doi.org/10.1017/jsl.2020.50
Zobrazit plný text záznamu
2
The logical complexity of finitely generated commutative rings
Autor: Thomas Scanlon, Matthias Aschenbrenner, Eudes Naziazeno, Anatole Khelif
We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space of non-maxi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd16f1f9c424bc6d011f3b81beab9f8f
Zobrazit plný text záznamu
3
Dissertation/ Thesis
Duplo oscilador acoplado não-linear ressonante com frequências unitárias
Autor: GALVÃO, Eudes Naziazeno
Publikováno v: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Made available in DSpace on 2014-06-12T18:33:26Z (GMT). No. of bitstreams: 2 arquivo8708_1.pdf: 641279 bytes, checksum: 176b50adc085511ce542a61442eb1916 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue da
Externí odkaz: https://repositorio.ufpe.br/handle/123456789/7539
Zobrazit plný text záznamu
4
Grafos, algoritmos e programação
Autor: RIBEIRO, Murilo Ramos da Cunha
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-03-18T13:17:04Z No. of bitstreams: 1 Murilo Ramos da Cunha Ribeiro.pdf: 5731453 bytes, checksum: e02798f82d47f1408e37366600d46dba (MD5) Made available in DSpace on 2019-03-18T13:17:04Z (GMT). No. of b
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::b70cee8e20cf31c92463c77914b74691
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7883
Zobrazit plný text záznamu
5
Métodos geradores de critérios de divisibilidade
Autor: BRITO, Cícero Carlos Ramos de
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-03-19T14:45:13Z No. of bitstreams: 1 Cicero Carlos Ramos de Brito.pdf: 615524 bytes, checksum: 1b8c7a81722c244701bcd04b7febbc7a (MD5) Made available in DSpace on 2019-03-19T14:45:13Z (GMT). No. of bit
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::60aefd5c3f0f6bab340f5a684bdabba1
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7891
Zobrazit plný text záznamu
6
Relacionando as funções trigonométricas com música
Autor: RODRIGUES, Michelangelo dos Santos
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-03-19T14:28:40Z No. of bitstreams: 1 Michelangelo dos Santos Rodrigues.pdf: 34231948 bytes, checksum: a34237b1b7ac5fa304cfb809d73d8749 (MD5) Made available in DSpace on 2019-03-19T14:28:40Z (GMT). No.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::326d20278b6f758a9d654fe28cf3615c
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7890
Zobrazit plný text záznamu
7
Frações contínuas : uma abordagem teórica com aplicações para o ensino médio
Autor: OLIVEIRA, Emanoel Rodrigo Tenório de
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-04-02T12:58:58Z No. of bitstreams: 1 Emanoel Rodrigo Tenorio de Oliveira.pdf: 593155 bytes, checksum: 8108dae87d3e5d5671971b9228eab868 (MD5) Made available in DSpace on 2019-04-02T12:58:58Z (GMT). No.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::de649457d08c4d3dcd9889b47dcdfcc2
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7908
Zobrazit plný text záznamu
8
Acelerando a convergência da série de Taylor de funções elementares : um método baseado em frações contínuas
Autor: BELTRÃO, Eduardo de Melo
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-04-02T13:32:44Z No. of bitstreams: 1 Eduardo de Melo Beltrão.pdf: 1278551 bytes, checksum: cbd6044aad46519d69731a759c5ccc19 (MD5) Made available in DSpace on 2019-04-02T13:32:44Z (GMT). No. of bitstr
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::1cd1cadab01ac52b644bbf33b85fbb05
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7910
Zobrazit plný text záznamu
9
Fatoração no ensino médio
Autor: SANTOS, Pedro José Alvino Pereira dos
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by Mario BC (mario@bc.ufrpe.br) on 2019-03-28T13:55:55Z No. of bitstreams: 1 Pedro Jose Alvino Pereira dos Santos.pdf: 446053 bytes, checksum: 1dfe6c02307fe1793eed163bbef1a9d8 (MD5) Made available in DSpace on 2019-03-28T13:55:55Z (GMT). No
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::7adf7b4b4421038f1078ce6ce9ecea1c
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/7896
Zobrazit plný text záznamu
10
Grafos, a fórmula de Euler e os poliedros regulares
Autor: BRITO, Adriana Priscila de
Publikováno v: Biblioteca Digital de Teses e Dissertações da UFRPE
Universidade Federal Rural de Pernambuco (UFRPE)
instacron:UFRPE
Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-28T12:41:18Z No. of bitstreams: 1 Adriana Priscila de Brito.pdf: 1439366 bytes, checksum: 6c39b441ca6cf64e146c11f1a5822457 (MD5) Made available in DSpace on 2017-03-28T12:41:18Z (GMT). No. of bitstre
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::b83e963e5109f095abb3917e5ef9a40d
http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/6690
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje