Menu

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

Filtros

Refine with date range

21 - 40 (126 records)

  • Trabalho de evento-resumo

    An abstract approach to algebraizable logics with quantifiers (2018)

    Mendes, Caio de Andrade; Mariano, Hugo Luiz

    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

      MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.

    • APA

      Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • NLM

      Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • Vancouver

      Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

  • Trabalho de evento-resumo

    Beyond the categorial forms of the axiom of choice (2018)

    Brunner, Andreas Bernhard Michael; Pinto, Darllan Conceição; Silva, Samuel Gomes da; Mariano, Hugo Luiz

    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

      BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.

    • APA

      Brunner, A. B. M., Pinto, D. C., Silva, S. G. da, & Mariano, H. L. (2018). Beyond the categorial forms of the axiom of choice. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • NLM

      Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • Vancouver

      Brunner ABM, Pinto DC, Silva SG da, Mariano HL. Beyond the categorial forms of the axiom of choice [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

  • Trabalho de evento-resumo

    Filter pairs: a new way of presenting logics (2018)

    Arndt, Peter; Jansana, Ramon; 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 et al. Filter pairs: a new way of presenting logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 19 abr. 2024.

    • APA

      Arndt, P., Jansana, R., Mariano, H. L., & Pinto, D. C. (2018). Filter pairs: a new way of presenting 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, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

    • Vancouver

      Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

  • Trabalho de evento-anais periodico

    Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings (2018)

    Figueiredo, Rodrigo; Mariano, Hugo Luiz

    Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. 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

      FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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-v4-i2/06-Figueiredo-Mariano-SAJL.pdf. Acesso em: 19 abr. 2024. , 2018

    • APA

      Figueiredo, R., & Mariano, H. L. (2018). Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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-v4-i2/06-Figueiredo-Mariano-SAJL.pdf

    • NLM

      Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf

    • Vancouver

      Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf

  • Dissertação (Mestrado)

    Cohomologia de feixes em estruturas O-minimais (2018)

    Gomes, Jonas Renan Moreira; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: COHOMOLOGIA, FEIXES, TEORIA DOS MODELOS, 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

      GOMES, Jonas Renan Moreira. Cohomologia de feixes em estruturas O-minimais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/. Acesso em: 19 abr. 2024.

    • APA

      Gomes, J. R. M. (2018). Cohomologia de feixes em estruturas O-minimais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

    • NLM

      Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

    • Vancouver

      Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

  • Tese (Doutorado)

    Some algebraic and logical aspects of C∞-Rings (2018)

    Berni, Jean Cerqueira; Mariano, Hugo Luiz (Orientador)

    Unidade: IME

    Subjects: ANÉIS E ÁLGEBRAS COMUTATIVOS, FEIXES, 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

      BERNI, Jean Cerqueira. Some algebraic and logical aspects of C∞-Rings. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/. Acesso em: 19 abr. 2024.

    • APA

      Berni, J. C. (2018). Some algebraic and logical aspects of C∞-Rings (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/

    • NLM

      Berni JC. Some algebraic and logical aspects of C∞-Rings [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/

    • Vancouver

      Berni JC. Some algebraic and logical aspects of C∞-Rings [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/

  • Tese (Doutorado)

    An algebraic framework to a theory of sets based on the surreal numbers (2018)

    Rangel, Dimi Rocha; Mariano, Hugo Luiz (Orientador)

    Unidade: IME

    Subjects: 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

      RANGEL, Dimi Rocha. An algebraic framework to a theory of sets based on the surreal numbers. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-02032019-143956/. Acesso em: 19 abr. 2024.

    • APA

      Rangel, D. R. (2018). An algebraic framework to a theory of sets based on the surreal numbers (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-02032019-143956/

    • NLM

      Rangel DR. An algebraic framework to a theory of sets based on the surreal numbers [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-02032019-143956/

    • Vancouver

      Rangel DR. An algebraic framework to a theory of sets based on the surreal numbers [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-02032019-143956/

  • Tese (Doutorado)

    Extensões conexas e espaços de Banach C(K) com poucos operadores (2018)

    Barbeiro, André Santoleri Villa; Fajardo, Rogério Augusto dos Santos (Orientador)

    Unidade: IME

    Subjects: ANÁLISE FUNCIONAL, ESPAÇOS DE BANACH, OPERADORES, TEORIA DOS NÚMEROS, FUNÇÕES CONTÍNUAS, LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS, TOPOLOGIA, ESPAÇOS COMPACTOS

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

    • ABNT

      BARBEIRO, André Santoleri Villa. Extensões conexas e espaços de Banach C(K) com poucos operadores. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-19042018-123305/. Acesso em: 19 abr. 2024.

    • APA

      Barbeiro, A. S. V. (2018). Extensões conexas e espaços de Banach C(K) com poucos operadores (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-19042018-123305/

    • NLM

      Barbeiro ASV. Extensões conexas e espaços de Banach C(K) com poucos operadores [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-19042018-123305/

    • Vancouver

      Barbeiro ASV. Extensões conexas e espaços de Banach C(K) com poucos operadores [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-19042018-123305/

  • Artigo de periodico

    Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism (2018)

    Stern, Julio Michael

    Source: South American Journal of 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

      STERN, Julio Michael. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism. South American Journal of Logic, n. 1, p. 219–252, 2018Tradução . . Disponível em: http://www.sa-logic.org/start1.html. Acesso em: 19 abr. 2024.

    • APA

      Stern, J. M. (2018). Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism. South American Journal of Logic, ( 1), 219–252. Recuperado de http://www.sa-logic.org/start1.html

    • NLM

      Stern JM. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism [Internet]. South American Journal of Logic. 2018 ;( 1): 219–252.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/start1.html

    • Vancouver

      Stern JM. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism [Internet]. South American Journal of Logic. 2018 ;( 1): 219–252.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/start1.html

  • Dissertação (Mestrado)

    Introdução à análise não standard (2018)

    Machado, Geovani Pereira; Fajardo, Rogério Augusto dos Santos (Orientador)

    Unidade: IME

    Subjects: ANÁLISE NÃO STANDARD, CÁLCULO DIFERENCIAL E INTEGRAL, 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

      MACHADO, Geovani Pereira. Introdução à análise não standard. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/. Acesso em: 19 abr. 2024.

    • APA

      Machado, G. P. (2018). Introdução à análise não standard (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/

    • NLM

      Machado GP. Introdução à análise não standard [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/

    • Vancouver

      Machado GP. Introdução à análise não standard [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-18022019-171451/

  • 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: 19 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. 19 ] 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. 19 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357

  • Artigo de periodico

    On the complexity of propositional and relational credal networks (2017)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

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

    Subjects: CIÊNCIA DA COMPUTAÇÃO, MATEMÁTICA DISCRETA, TEORIA DOS GRAFOS, LÓGICA MATEMÁTICA, PROBABILIDADE, PROCESSOS ESTOCÁSTICOS

    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. On the complexity of propositional and relational credal networks. International Journal of Approximate Reasoning, v. 83, p. 298-319, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2016.10.008. Acesso em: 19 abr. 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2017). On the complexity of propositional and relational credal networks. International Journal of Approximate Reasoning, 83, 298-319. doi:10.1016/j.ijar.2016.10.008

    • NLM

      Cozman FG, Mauá DD. On the complexity of propositional and relational credal networks [Internet]. International Journal of Approximate Reasoning. 2017 ; 83 298-319.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2016.10.008

    • Vancouver

      Cozman FG, Mauá DD. On the complexity of propositional and relational credal networks [Internet]. International Journal of Approximate Reasoning. 2017 ; 83 298-319.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2016.10.008

  • Artigo de periodico

    Algebraizable logics and a functorial encoding of its morphisms (2017)

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

    Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA

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

    • ABNT

      PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 19 abr. 2024.

    • APA

      Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014

    • NLM

      Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzx014

    • Vancouver

      Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzx014

  • Monografia/livro

    Lógica matemática (2017)

    Fajardo, Rogério Augusto dos Santos

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS, LÓGICA DE PRIMEIRA ORDEM, METAMATEMÁTICA, MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, CÁLCULO PROPOSICIONAL

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

    • ABNT

      FAJARDO, Rogério Augusto dos Santos. Lógica matemática. . São Paulo: Edusp. . Acesso em: 19 abr. 2024. , 2017

    • APA

      Fajardo, R. A. dos S. (2017). Lógica matemática. São Paulo: Edusp.

    • NLM

      Fajardo RA dos S. Lógica matemática. 2017 ;[citado 2024 abr. 19 ]

    • Vancouver

      Fajardo RA dos S. Lógica matemática. 2017 ;[citado 2024 abr. 19 ]

  • 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: 19 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. 19 ] 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. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-03102017-172807/

  • Dissertação (Mestrado)

    Almost disjoint families em topologia (2017)

    Rodrigues, Vinicius de Oliveira; Tomita, Artur Hideyuki (Orientador)

    Unidade: IME

    Subjects: TOPOLOGIA, 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

      RODRIGUES, Vinicius de Oliveira. Almost disjoint families em topologia. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17122018-161936. Acesso em: 19 abr. 2024.

    • APA

      Rodrigues, V. de O. (2017). Almost disjoint families em topologia (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17122018-161936

    • NLM

      Rodrigues V de O. Almost disjoint families em topologia [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17122018-161936

    • Vancouver

      Rodrigues V de O. Almost disjoint families em topologia [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17122018-161936

  • Trabalho de evento-anais periodico

    Algorithms for deciding counting quantifiers over unary predicates (2017)

    Finger, Marcelo ; De Bona, Glauber

    Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidades: IME, EP

    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

      FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 19 abr. 2024. , 2017

    • APA

      Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

    • NLM

      Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 abr. 19 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

    • Vancouver

      Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 abr. 19 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

  • Artigo de periodico

    Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)

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

    Source: South American Journal of 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

      PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 19 abr. 2024.

    • APA

      Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf

    • NLM

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf

    • Vancouver

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 abr. 19 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf

  • Artigo de periodico

    Categorial forms of the axiom of choice (2017)

    Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Silva, Samuel Gomes da

    Source: Logic Journal Of The IGPL. Unidade: IME

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

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

    • ABNT

      BRUNNER, Andreas Bernhard Michael e MARIANO, Hugo Luiz e SILVA, Samuel Gomes da. Categorial forms of the axiom of choice. Logic Journal Of The IGPL, v. 25, n. 4, p. 408-430, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx020. Acesso em: 19 abr. 2024.

    • APA

      Brunner, A. B. M., Mariano, H. L., & Silva, S. G. da. (2017). Categorial forms of the axiom of choice. Logic Journal Of The IGPL, 25( 4), 408-430. doi:10.1093/jigpal/jzx020

    • NLM

      Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzx020

    • Vancouver

      Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1093/jigpal/jzx020

  • Tese (Doutorado)

    A categorial foundation for a representation theory of logics (2016)

    Pinto, Darllan Conceição; Mariano, Hugo Luiz (Orientador)

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ÁLGEBRA

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

    • ABNT

      PINTO, Darllan Conceição. A categorial foundation for a representation theory of logics. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/. Acesso em: 19 abr. 2024.

    • APA

      Pinto, D. C. (2016). A categorial foundation for a representation theory of logics (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/

    • NLM

      Pinto DC. A categorial foundation for a representation theory of logics [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/

    • Vancouver

      Pinto DC. A categorial foundation for a representation theory of logics [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-24092019-165314/

21 - 40 (126 records)

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