Menu

Filtros : "IME" "LÓGICA MATEMÁTICA" Limpar

Filtros

Refine with date range

1 - 20 (126 records)

  • Trabalho de evento-resumo

    κ-filter pairs and non-finitary logics (2018)

    Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição

    Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. κ-filter pairs and non-finitary logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 24 abr. 2024.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). κ-filter pairs and non-finitary logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • NLM

      Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

  • Relatorio tecnico

    Universal matrices and strongly unbounded functions (2001)

    Koszmider, Piotr Boleslaw

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      KOSZMIDER, Piotr Boleslaw. Universal matrices and strongly unbounded functions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf. Acesso em: 24 abr. 2024. , 2001

    • APA

      Koszmider, P. B. (2001). Universal matrices and strongly unbounded functions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf

    • NLM

      Koszmider PB. Universal matrices and strongly unbounded functions [Internet]. 2001 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf

    • Vancouver

      Koszmider PB. Universal matrices and strongly unbounded functions [Internet]. 2001 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/b038300b-86b5-470c-a916-8b0aa6a98064/1185683.pdf

  • Dissertação (Mestrado)

    Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações (2021)

    Aponte Cardona, Alejandro; Mariano, Hugo Luiz (Orientador)

    Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, LÓGICA MATEMÁTICA

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      APONTE CARDONA, Alejandro. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/. Acesso em: 24 abr. 2024.

    • APA

      Aponte Cardona, A. (2021). Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/

    • NLM

      Aponte Cardona A. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações [Internet]. 2021 ;[citado 2024 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/

    • Vancouver

      Aponte Cardona A. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações [Internet]. 2021 ;[citado 2024 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/

  • Dissertação (Mestrado)

    Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos (2000)

    Tsukimoto, Edson Tiharu; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, COMPUTABILIDADE E COMPLEXIDADE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      TSUKIMOTO, Edson Tiharu. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/. Acesso em: 24 abr. 2024.

    • APA

      Tsukimoto, E. T. (2000). Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

    • NLM

      Tsukimoto ET. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos [Internet]. 2000 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

    • Vancouver

      Tsukimoto ET. Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos [Internet]. 2000 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/

  • Dissertação (Mestrado)

    Uma introdução à lógica de segunda ordem (2013)

    Nogueira Júnior, Enéas Alves; Miraglia Neto, Francisco (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NOGUEIRA JÚNIOR, Enéas Alves. Uma introdução à lógica de segunda ordem. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/. Acesso em: 24 abr. 2024.

    • APA

      Nogueira Júnior, E. A. (2013). Uma introdução à lógica de segunda ordem (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

    • NLM

      Nogueira Júnior EA. Uma introdução à lógica de segunda ordem [Internet]. 2013 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

    • Vancouver

      Nogueira Júnior EA. Uma introdução à lógica de segunda ordem [Internet]. 2013 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25092019-113811/

  • Trabalho de evento-resumo

    Towards a good notion of categories of logics (2014)

    Mendes, Caio A; Mariano, Hugo Luiz

    Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MENDES, Caio A e MARIANO, Hugo Luiz. Towards a good notion of categories of logics. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.

    • APA

      Mendes, C. A., & Mariano, H. L. (2014). Towards a good notion of categories of logics. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • NLM

      Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • Vancouver

      Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

  • Artigo de periodico

    The universe of propositional approximations (2006)

    Finger, Marcelo ; Wassermann, Renata

    Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e WASSERMANN, Renata. The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2006.01.007. Acesso em: 24 abr. 2024.

    • APA

      Finger, M., & Wassermann, R. (2006). The universe of propositional approximations. Theoretical Computer Science, 355( 2), 153-166. doi:10.1016/j.tcs.2006.01.007

    • NLM

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007

    • Vancouver

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007

  • Relatorio tecnico

    The philosophical import of paraconsistent logic (1981)

    Costa, Newton Carneiro Affonso da

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COSTA, Newton Carneiro Affonso da. The philosophical import of paraconsistent logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf. Acesso em: 24 abr. 2024. , 1981

    • APA

      Costa, N. C. A. da. (1981). The philosophical import of paraconsistent logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

    • NLM

      Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

    • Vancouver

      Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

  • Artigo de periodico-resenha

    The new logic of Willard van Orman Quine and its significance for the success of logic in Brazil (2019)

    Stern, Julio Michael

    Source: Logic and Logical Philosophy. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão AceitaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      STERN, Julio Michael. The new logic of Willard van Orman Quine and its significance for the success of logic in Brazil. Logic and Logical Philosophy. Torun: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.12775/LLP.2019.015. Acesso em: 24 abr. 2024. , 2019

    • APA

      Stern, J. M. (2019). The new logic of Willard van Orman Quine and its significance for the success of logic in Brazil. Logic and Logical Philosophy. Torun: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.12775/LLP.2019.015

    • NLM

      Stern JM. The new logic of Willard van Orman Quine and its significance for the success of logic in Brazil [Internet]. Logic and Logical Philosophy. 2019 ; 28( 4): 789-793.[citado 2024 abr. 24 ] Available from: https://doi.org/10.12775/LLP.2019.015

    • Vancouver

      Stern JM. The new logic of Willard van Orman Quine and its significance for the success of logic in Brazil [Internet]. Logic and Logical Philosophy. 2019 ; 28( 4): 789-793.[citado 2024 abr. 24 ] Available from: https://doi.org/10.12775/LLP.2019.015

  • Artigo de periodico

    The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

    Source: International Journal of Approximate Reasoning. Unidades: EP, IME

    Subjects: TEORIA DA COMPUTAÇÃO, TEORIA DOS MODELOS, AQUISIÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, v. 110, p. 107-126, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.04.003. Acesso em: 24 abr. 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2019). The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, 110, 107-126. doi:10.1016/j.ijar.2019.04.003

    • NLM

      Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003

    • Vancouver

      Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003

  • Trabalho de evento

    The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)

    Miraglia Neto, Francisco

    Source: Methods and applications of mathematical logic. Conference titles: Latin American Symposium of Mathematical Logic. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS, LÓGICA ALGÉBRICA

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 24 abr. 2024.

    • APA

      Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf

    • NLM

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf

    • Vancouver

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf

  • Artigo de periodico

    The decidability of a fragment of BB'IW-logic (2004)

    Broda, Sabine; Damas, Luís; Finger, Marcelo ; Silva, Paulo J. S.

    Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRODA, Sabine et al. The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2004.02.002. Acesso em: 24 abr. 2024.

    • APA

      Broda, S., Damas, L., Finger, M., & Silva, P. J. S. (2004). The decidability of a fragment of BB'IW-logic. Theoretical Computer Science, 318( 3), 373-408. doi:10.1016/j.tcs.2004.02.002

    • NLM

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002

    • Vancouver

      Broda S, Damas L, Finger M, Silva PJS. The decidability of a fragment of BB'IW-logic [Internet]. Theoretical Computer Science. 2004 ; 318( 3): 373-408.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.tcs.2004.02.002

  • Dissertação (Mestrado)

    Teoria dos modelos e a conjectura de Mordell-Lang (2005)

    Lopes, Vinicius Cifú; Miraglia Neto, Francisco (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LOPES, Vinicius Cifú. Teoria dos modelos e a conjectura de Mordell-Lang. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-142605/. Acesso em: 24 abr. 2024.

    • APA

      Lopes, V. C. (2005). Teoria dos modelos e a conjectura de Mordell-Lang (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-142605/

    • NLM

      Lopes VC. Teoria dos modelos e a conjectura de Mordell-Lang [Internet]. 2005 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-142605/

    • Vancouver

      Lopes VC. Teoria dos modelos e a conjectura de Mordell-Lang [Internet]. 2005 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-142605/

  • Tese (Doutorado)

    Teoria de modelos de corpos p-ádicos com funções analíticas (2004)

    Sanabria, Leonardo Prieto; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANABRIA, Leonardo Prieto. Teoria de modelos de corpos p-ádicos com funções analíticas. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/. Acesso em: 24 abr. 2024.

    • APA

      Sanabria, L. P. (2004). Teoria de modelos de corpos p-ádicos com funções analíticas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

    • NLM

      Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

    • Vancouver

      Sanabria LP. Teoria de modelos de corpos p-ádicos com funções analíticas [Internet]. 2004 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-134251/

  • Tese (Doutorado)

    Teoria das funções de primeira ordem (2014)

    Freire, Rodrigo de Alvarenga; Tausk, Daniel Victor (Orientador)

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, LÓGICA DE PRIMEIRA ORDEM

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FREIRE, Rodrigo de Alvarenga. Teoria das funções de primeira ordem. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/. Acesso em: 24 abr. 2024.

    • APA

      Freire, R. de A. (2014). Teoria das funções de primeira ordem (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/

    • NLM

      Freire R de A. Teoria das funções de primeira ordem [Internet]. 2014 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/

    • Vancouver

      Freire R de A. Teoria das funções de primeira ordem [Internet]. 2014 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/

  • Dissertação (Mestrado)

    Teorema de Arrow-Sen e teoria da escolha fuzzy (2017)

    Jabur, Rafael Hernandez; Tonelli, Pedro Aladar (Orientador)

    Unidade: IME

    Subjects: LÓGICA FUZZY, ECONOMIA MATEMÁTICA, LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      JABUR, Rafael Hernandez. Teorema de Arrow-Sen e teoria da escolha fuzzy. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-03102017-172807/. Acesso em: 24 abr. 2024.

    • APA

      Jabur, R. H. (2017). Teorema de Arrow-Sen e teoria da escolha fuzzy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45132/tde-03102017-172807/

    • NLM

      Jabur RH. Teorema de Arrow-Sen e teoria da escolha fuzzy [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-03102017-172807/

    • Vancouver

      Jabur RH. Teorema de Arrow-Sen e teoria da escolha fuzzy [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-03102017-172807/

  • Trabalho de evento-resumo

    Some preservation properties of the profinite hull functor of special groups and applications (2014)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ÁLGEBRA HOMOLÓGICA, TEORIA DAS CATEGORIAS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Some preservation properties of the profinite hull functor of special groups and applications. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2014). Some preservation properties of the profinite hull functor of special groups and applications. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • NLM

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

    • Vancouver

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf

  • Trabalho de evento-resumo periodico

    Some preservation properties of the profinite hull functor of special groups and applications (2013)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ÁLGEBRA HOMOLÓGICA, TEORIA DAS CATEGORIAS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Some preservation properties of the profinite hull functor of special groups and applications. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.1017/S1079898600010738. Acesso em: 24 abr. 2024. , 2013

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2013). Some preservation properties of the profinite hull functor of special groups and applications. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.1017/S1079898600010738

    • NLM

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1017/S1079898600010738

    • Vancouver

      Mariano HL, Miraglia Neto F. Some preservation properties of the profinite hull functor of special groups and applications [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1017/S1079898600010738

  • Trabalho de evento-anais periodico

    Some model theory of hypergeometric and Pfaffian functions (2016)

    Bianconi, Ricardo

    Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BIANCONI, Ricardo. Some model theory of hypergeometric and Pfaffian functions. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf. Acesso em: 24 abr. 2024. , 2016

    • APA

      Bianconi, R. (2016). Some model theory of hypergeometric and Pfaffian functions. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf

    • NLM

      Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf

    • Vancouver

      Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf

  • Trabalho de evento

    Some model theory for the reals analytic functions (1995)

    Bianconi, Ricardo

    Source: Logic Sets and Information. Conference titles: Brazilian Conference on Mathematical Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BIANCONI, Ricardo. Some model theory for the reals analytic functions. 1995, Anais.. Campinas: Cle, 1995. . Acesso em: 24 abr. 2024.

    • APA

      Bianconi, R. (1995). Some model theory for the reals analytic functions. In Logic Sets and Information. Campinas: Cle.

    • NLM

      Bianconi R. Some model theory for the reals analytic functions. Logic Sets and Information. 1995 ;[citado 2024 abr. 24 ]

    • Vancouver

      Bianconi R. Some model theory for the reals analytic functions. Logic Sets and Information. 1995 ;[citado 2024 abr. 24 ]

1 - 20 (126 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024