Menu

Filtros : "LÓGICA MATEMÁTICA" Removido: "Saúde na Comunidade" Limpar

Filtros

Refine with date range

1 - 20 (183 records)

  • Tese (Doutorado)

    Categories of commutative semicartesian quantales valued sets (2024)

    Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)

    Unidade: IME

    Subjects: LÓGICA, 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

      MENDES, Caio de Andrade. Categories of commutative semicartesian quantales valued sets. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/. Acesso em: 16 nov. 2024.

    • APA

      Mendes, C. de A. (2024). Categories of commutative semicartesian quantales valued sets (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/

    • NLM

      Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/

    • Vancouver

      Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/

  • Artigo de periodico

    Dynamic oppositional symmetries for color, Jungian and Kantian categories (2024)

    Stern, Julio Michael

    Source: Logica Universalis. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ESTATÍSTICA, PSICOLOGIA JUNGUIANA

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

    • ABNT

      STERN, Julio Michael. Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, v. 18, n. 1-2, p. 235-282, 2024Tradução . . Disponível em: https://doi.org/10.1007/s11787-023-00342-y. Acesso em: 16 nov. 2024.

    • APA

      Stern, J. M. (2024). Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, 18( 1-2), 235-282. doi:10.1007/s11787-023-00342-y

    • NLM

      Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/s11787-023-00342-y

    • Vancouver

      Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/s11787-023-00342-y

  • Trabalho de evento

    Logical approximation and formal verification of neural networks (2024)

    Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo

    Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

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

    • ABNT

      PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 16 nov. 2024.

    • APA

      Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347

    • NLM

      Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/wbl.2024.2347

    • Vancouver

      Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/wbl.2024.2347

  • Artigo de periodico

    Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2023)

    Finger, Marcelo ; Preto, Sandro

    Source: Journal of Logic and Computation. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR

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

    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 16 nov. 2024.

    • APA

      Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059

    • NLM

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/logcom/exad059

    • Vancouver

      Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/logcom/exad059

  • Artigo de periodico

    Proving properties of binary classification neural networks via Łukasiewicz logic (2023)

    Preto, Sandro ; Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

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

      PRETO, Sandro e FINGER, Marcelo. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 16 nov. 2024.

    • APA

      Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050

    • NLM

      Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/jigpal/jzac050

    • Vancouver

      Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/jigpal/jzac050

  • Parte de monografia/livro

    Effective reasoning over neural networks using Lukasiewicz logic (2023)

    Preto, Sandro ; Finger, Marcelo

    Source: Compendium of neurosymbolic artificial intelligence. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, REDES NEURAIS

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

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. Effective reasoning over neural networks using Lukasiewicz logic. Compendium of neurosymbolic artificial intelligence. Tradução . Amsterdam: IOS Press, 2023. . Disponível em: https://doi.org/10.3233/FAIA230160. Acesso em: 16 nov. 2024.

    • APA

      Preto, S., & Finger, M. (2023). Effective reasoning over neural networks using Lukasiewicz logic. In Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press. doi:10.3233/FAIA230160

    • NLM

      Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 nov. 16 ] Available from: https://doi.org/10.3233/FAIA230160

    • Vancouver

      Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 nov. 16 ] Available from: https://doi.org/10.3233/FAIA230160

  • Trabalho de evento

    Hyperintensional models and belief change (2022)

    Souza, Marlo ; Wassermann, Renata

    Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, 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

      SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional models and belief change. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_30. Acesso em: 16 nov. 2024.

    • APA

      Souza, M., & Wassermann, R. (2022). Hyperintensional models and belief change. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_30

    • NLM

      Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30

    • Vancouver

      Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30

  • Parte de monografia/livro

    Color-coded epistemic modes in a jungian hexagon of opposition (2022)

    Stern, Julio Michael

    Source: The Exoteric Square of Opposition. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ESTATÍSTICA

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

    • ABNT

      STERN, Julio Michael. Color-coded epistemic modes in a jungian hexagon of opposition. The Exoteric Square of Opposition. Tradução . Cham: Springer, 2022. p. 31 . Disponível em: https://doi.org/10.1007/978-3-030-90823-2_14. Acesso em: 16 nov. 2024.

    • APA

      Stern, J. M. (2022). Color-coded epistemic modes in a jungian hexagon of opposition. In The Exoteric Square of Opposition (p. 31 ). Cham: Springer. doi:10.1007/978-3-030-90823-2_14

    • NLM

      Stern JM. Color-coded epistemic modes in a jungian hexagon of opposition [Internet]. In: The Exoteric Square of Opposition. Cham: Springer; 2022. p. 31 .[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14

    • Vancouver

      Stern JM. Color-coded epistemic modes in a jungian hexagon of opposition [Internet]. In: The Exoteric Square of Opposition. Cham: Springer; 2022. p. 31 .[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14

  • Artigo de periodico

    Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo (2022)

    Castro Junior, Sergio Luís de ; Lamarca, Daniel Sá Freire ; Kraetzer, Thiago Lorente ; Balthazar, Glauber da Rocha ; Caneppele, Fernando de Lima

    Source: Research, Society and Development. Unidades: FZEA, ESALQ

    Subjects: PISCICULTURA, AQUICULTURA DE ÁGUA DOCE, LÓGICA FUZZY, LÓGICA MATEMÁTICA, QUALIDADE DA ÁGUA

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

    • ABNT

      CASTRO JUNIOR, Sergio Luís de et al. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo. Research, Society and Development, v. 11, n. 4, p. 1-10, 2022Tradução . . Disponível em: https://doi.org/10.33448/rsd-v11i4.26933. Acesso em: 16 nov. 2024.

    • APA

      Castro Junior, S. L. de, Lamarca, D. S. F., Kraetzer, T. L., Balthazar, G. da R., & Caneppele, F. de L. (2022). Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo. Research, Society and Development, 11( 4), 1-10. doi:10.33448/rsd-v11i4.26933

    • NLM

      Castro Junior SL de, Lamarca DSF, Kraetzer TL, Balthazar G da R, Caneppele F de L. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo [Internet]. Research, Society and Development. 2022 ; 11( 4): 1-10.[citado 2024 nov. 16 ] Available from: https://doi.org/10.33448/rsd-v11i4.26933

    • Vancouver

      Castro Junior SL de, Lamarca DSF, Kraetzer TL, Balthazar G da R, Caneppele F de L. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo [Internet]. Research, Society and Development. 2022 ; 11( 4): 1-10.[citado 2024 nov. 16 ] Available from: https://doi.org/10.33448/rsd-v11i4.26933

  • Artigo de periodico

    Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)

    Preto, Sandro ; Finger, Marcelo

    Source: Mathematical Structures in Computer Science. 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

      PRETO, Sandro e FINGER, Marcelo. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, v. 32, n. 9, p. 1119-1144, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 16 nov. 2024.

    • APA

      Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, 32( 9), 1119-1144. doi:10.1017/S096012952200010X

    • NLM

      Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1017/S096012952200010X

    • Vancouver

      Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1017/S096012952200010X

  • Artigo de periodico

    Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications (2022)

    Rios, Gabriel Bittencourt ; Souza, Daniel de Almeida; Pinto, Darllan Conceição; Mariano, Hugo Luiz

    Source: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 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

      RIOS, Gabriel Bittencourt et al. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, v. 9, n. 1, p. 445-494, 2022Tradução . . Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 16 nov. 2024.

    • APA

      Rios, G. B., Souza, D. de A., Pinto, D. C., & Mariano, H. L. (2022). Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, 9( 1), 445-494. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf

    • NLM

      Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 nov. 16 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf

    • Vancouver

      Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 nov. 16 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf

  • Trabalho de evento-anais periodico

    An algebraic (set) theory of surreal numbers, I (2022)

    Rangel, Dimi Rocha; Mariano, Hugo Luiz

    Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: TEORIA DOS CONJUNTOS, 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

      RANGEL, Dimi Rocha e MARIANO, Hugo Luiz. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 16 nov. 2024. , 2022

    • APA

      Rangel, D. R., & Mariano, H. L. (2022). An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053

    • NLM

      Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 nov. 16 ] Available from: https://collegepublications.co.uk/ifcolog/?00053

    • Vancouver

      Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 nov. 16 ] Available from: https://collegepublications.co.uk/ifcolog/?00053

  • Trabalho de evento-anais periodico

    Repairing ontologies via kernel pseudo-contraction (2022)

    Matos, Vinícius Bitencourt ; Wassermann, Renata

    Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIAS

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

    • ABNT

      MATOS, Vinícius Bitencourt e WASSERMANN, Renata. Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3197/paper2.pdf. Acesso em: 16 nov. 2024. , 2022

    • APA

      Matos, V. B., & Wassermann, R. (2022). Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3197/paper2.pdf

    • NLM

      Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 nov. 16 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf

    • Vancouver

      Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 nov. 16 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf

  • Trabalho de evento-anais periodico

    Revising system specifications in temporal logic (2022)

    Guerra, Paulo T ; Wassermann, Renata

    Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

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

    • ABNT

      GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 16 nov. 2024. , 2022

    • APA

      Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9

    • NLM

      Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

    • Vancouver

      Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

  • 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: 16 nov. 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 nov. 16 ] 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 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/

  • Tese (Doutorado)

    Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)

    Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: REDES NEURAIS, 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

      PRETO, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/. Acesso em: 16 nov. 2024.

    • APA

      Preto, S. M. da S. (2021). Semantics modulo satisfiability with applications: function representation, probabilities and game theory (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • NLM

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • Vancouver

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

  • Artigo de periodico

    Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática (2020)

    Vieira, William ; Souza, Vera Helena Giusti de ; Imafuku, Roberto Seidi

    Source: Ciência & Educação. Unidade: IME

    Subjects: MATEMÁTICA, LÓGICA MATEMÁTICA, FORMAÇÃO DE PROFESSORES

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

    • ABNT

      VIEIRA, William e SOUZA, Vera Helena Giusti de e IMAFUKU, Roberto Seidi. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática. Ciência & Educação, v. 26, 2020Tradução . . Disponível em: https://doi.org/10.1590/1516-731320200010. Acesso em: 16 nov. 2024.

    • APA

      Vieira, W., Souza, V. H. G. de, & Imafuku, R. S. (2020). Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática. Ciência & Educação, 26. doi:10.1590/1516-731320200010

    • NLM

      Vieira W, Souza VHG de, Imafuku RS. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática [Internet]. Ciência & Educação. 2020 ; 26[citado 2024 nov. 16 ] Available from: https://doi.org/10.1590/1516-731320200010

    • Vancouver

      Vieira W, Souza VHG de, Imafuku RS. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática [Internet]. Ciência & Educação. 2020 ; 26[citado 2024 nov. 16 ] Available from: https://doi.org/10.1590/1516-731320200010

  • Trabalho de evento

    Alguns comentários sobre a questão da identidade entre lógicas (2019)

    Mariano, Hugo Luiz

    Source: Seminário Lógica no Avião: 2013 - 2018. Conference titles: Seminário Permanente Lógica no Avião. 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

      MARIANO, Hugo Luiz. Alguns comentários sobre a questão da identidade entre lógicas. 2019, Anais.. Brasília: PPGFIL/UnB, 2019. Disponível em: http://lna.unb.br/lna_n01_book.pdf. Acesso em: 16 nov. 2024.

    • APA

      Mariano, H. L. (2019). Alguns comentários sobre a questão da identidade entre lógicas. In Seminário Lógica no Avião: 2013 - 2018. Brasília: PPGFIL/UnB. Recuperado de http://lna.unb.br/lna_n01_book.pdf

    • NLM

      Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 nov. 16 ] Available from: http://lna.unb.br/lna_n01_book.pdf

    • Vancouver

      Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 nov. 16 ] Available from: http://lna.unb.br/lna_n01_book.pdf

  • Trabalho de evento-resumo

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

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

    Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (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

      BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 16 nov. 2024.

    • APA

      Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • NLM

      Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 16 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • Vancouver

      Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 16 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • 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: 16 nov. 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 nov. 16 ] 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 nov. 16 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003

1 - 20 (183 records)

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