Menu

Filtros : "TEORIA DOS MODELOS" Limpar

Filtros

Refine with date range

1 - 20 (45 records)

  • Trabalho de evento-resumo

    Nonstandard formulae and model-theoretic paradoxes (2025)

    Fajardo, Rogério Augusto dos Santos

    Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DOS MODELOS, TEORIA DOS CONJUNTOS, ARITMÉTICA

    Versão PublicadaAcesso à fonteHow 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. Nonstandard formulae and model-theoretic paradoxes. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 239-240. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.

    • APA

      Fajardo, R. A. dos S. (2025). Nonstandard formulae and model-theoretic paradoxes. In Book of abstracts (p. 239-240). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • NLM

      Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • Vancouver

      Fajardo RA dos S. Nonstandard formulae and model-theoretic paradoxes [Internet]. Book of abstracts. 2025 ; 239-240.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

  • Trabalho de evento-resumo

    On connections between forcing relations (2025)

    Smykalla, Michel Viana; Mariano, Hugo Luiz

    Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DOS MODELOS, FEIXES

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

    • ABNT

      SMYKALLA, Michel Viana e MARIANO, Hugo Luiz. On connections between forcing relations. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 211. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.

    • APA

      Smykalla, M. V., & Mariano, H. L. (2025). On connections between forcing relations. In Book of abstracts (p. 211). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • NLM

      Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • Vancouver

      Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

  • Trabalho de evento-resumo

    Model theory of sheaves of metric spaces of analytic functions (2025)

    Bianconi, Ricardo

    Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DOS MODELOS, FEIXES, LÓGICA

    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. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.

    • APA

      Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • NLM

      Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • Vancouver

      Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

  • Trabalho de evento-resumo

    On categories of o-minimal structures (2025)

    Figueiredo, Rodrigo ; Mariano, Hugo Luiz

    Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS

    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. On categories of o-minimal structures. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 237-238. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.

    • APA

      Figueiredo, R., & Mariano, H. L. (2025). On categories of o-minimal structures. In Book of abstracts (p. 237-238). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • NLM

      Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • Vancouver

      Figueiredo R, Mariano HL. On categories of o-minimal structures [Internet]. Book of abstracts. 2025 ; 237-238.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

  • Trabalho de evento-resumo

    O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra (2025)

    Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz

    Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME

    Subjects: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA, ÁLGEBRA

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

    • ABNT

      SEVERINO, Jéssica Duarte e ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 289-290. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.

    • APA

      Severino, J. D., Roberto, K. M. de A., & Mariano, H. L. (2025). O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. In Book of abstracts (p. 289-290). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • NLM

      Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

    • Vancouver

      Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

  • Tese (Doutorado)

    Infinitely ludic categories (2024)

    Costa, Matheus Duzi Ferreira; Aurichi, Leandro Fiorini (Orientador)

    Unidade: ICMC

    Subjects: TEORIA DAS CATEGORIAS, TEORIA DOS JOGOS, TOPOLOGIA, COMBINATÓRIA, TEORIA DOS MODELOS

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

    • ABNT

      COSTA, Matheus Duzi Ferreira. Infinitely ludic categories. 2024. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/. Acesso em: 08 out. 2025.

    • APA

      Costa, M. D. F. (2024). Infinitely ludic categories (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/

    • NLM

      Costa MDF. Infinitely ludic categories [Internet]. 2024 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/

    • Vancouver

      Costa MDF. Infinitely ludic categories [Internet]. 2024 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-29112024-201243/

  • Artigo de periodico

    Characterization of polarized scientific digital messages: a scoping review (2024)

    Jucá, Ana Maria ; Lotto, Matheus ; Cruvinel, Agnes de Fátima Pereira ; Cruvinel, Thiago

    Source: Journal of Science Communication. Unidades: FMBRU, FOB

    Subjects: COMUNICAÇÃO EM SAÚDE, MEIOS DE COMUNICAÇÃO, TEORIA DOS MODELOS

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

    • ABNT

      JUCÁ, Ana Maria et al. Characterization of polarized scientific digital messages: a scoping review. Journal of Science Communication, v. 23, n. 08, 2024Tradução . . Disponível em: https://doi.org/10.22323/2.23080201. Acesso em: 08 out. 2025.

    • APA

      Jucá, A. M., Lotto, M., Cruvinel, A. de F. P., & Cruvinel, T. (2024). Characterization of polarized scientific digital messages: a scoping review. Journal of Science Communication, 23( 08). doi:10.22323/2.23080201

    • NLM

      Jucá AM, Lotto M, Cruvinel A de FP, Cruvinel T. Characterization of polarized scientific digital messages: a scoping review [Internet]. Journal of Science Communication. 2024 ; 23( 08):[citado 2025 out. 08 ] Available from: https://doi.org/10.22323/2.23080201

    • Vancouver

      Jucá AM, Lotto M, Cruvinel A de FP, Cruvinel T. Characterization of polarized scientific digital messages: a scoping review [Internet]. Journal of Science Communication. 2024 ; 23( 08):[citado 2025 out. 08 ] Available from: https://doi.org/10.22323/2.23080201

  • Artigo de periodico

    Horn filter pairs and Craig interpolation in propositional logic (2023)

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

    Source: Boletin de Matematicas. Unidade: IME

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

    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. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 08 out. 2025.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • NLM

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2025 out. 08 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2025 out. 08 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

  • Dissertação (Mestrado)

    Open Coloring Axiom e aplicações de colorações (2023)

    Souza, Thales Sarinho Galvão Santos de; Aurichi, Leandro Fiorini (Orientador)

    Unidade: ICMC

    Subjects: TEORIA DOS CONJUNTOS, TEORIA DOS JOGOS, TEORIA DOS MODELOS, TOPOLOGIA

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

    • ABNT

      SOUZA, Thales Sarinho Galvão Santos de. Open Coloring Axiom e aplicações de colorações. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/. Acesso em: 08 out. 2025.

    • APA

      Souza, T. S. G. S. de. (2023). Open Coloring Axiom e aplicações de colorações (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • NLM

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • Vancouver

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

  • Artigo de periodico

    Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens (2021)

    Silva, Marco Antonio Morgado da ; Araújo, Ulisses Ferreira de

    Source: ETD Educacao Tematica Digital. Unidade: EACH

    Subjects: EDUCAÇÃO MORAL, IDENTIDADE, ADOLESCENTES, VALORES PESSOAIS, APRENDIZAGEM BASEADA EM PROJETOS, TEORIA DOS MODELOS

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

    • ABNT

      SILVA, Marco Antonio Morgado da e ARAÚJO, Ulisses Ferreira de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, v. 23, n. 4, p. 1061-1078, 2021Tradução . . Disponível em: https://doi.org/10.20396/etd.v23i4.8659662. Acesso em: 08 out. 2025.

    • APA

      Silva, M. A. M. da, & Araújo, U. F. de. (2021). Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, 23( 4), 1061-1078. doi:10.20396/etd.v23i4.8659662

    • NLM

      Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2025 out. 08 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662

    • Vancouver

      Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2025 out. 08 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662

  • Tese (Doutorado)

    Integração de valores morais às representações de si de adolescentes (2020)

    Silva, Marco Antonio Morgado da; Araújo, Ulisses Ferreira de (Orientador)

    Unidade: FE

    Subjects: TEORIA DOS MODELOS, MORAL, ADOLESCENTES

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

    • ABNT

      SILVA, Marco Antonio Morgado da. Integração de valores morais às representações de si de adolescentes. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/. Acesso em: 08 out. 2025.

    • APA

      Silva, M. A. M. da. (2020). Integração de valores morais às representações de si de adolescentes (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

    • NLM

      Silva MAM da. Integração de valores morais às representações de si de adolescentes [Internet]. 2020 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

    • Vancouver

      Silva MAM da. Integração de valores morais às representações de si de adolescentes [Internet]. 2020 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

  • Mestrado Profissionalizante

    O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional (2019)

    Ramunno, Ronaldo; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: MODELOS MATEMÁTICOS, TEORIA DOS MODELOS, EDUCAÇÃO MATEMÁTICA, ENSINO MÉDIO

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

    • ABNT

      RAMUNNO, Ronaldo. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional. 2019. Mestrado Profissionalizante – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/. Acesso em: 08 out. 2025.

    • APA

      Ramunno, R. (2019). O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional (Mestrado Profissionalizante). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

    • NLM

      Ramunno R. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional [Internet]. 2019 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

    • Vancouver

      Ramunno R. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional [Internet]. 2019 ;[citado 2025 out. 08 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

  • 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: 08 out. 2025.

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

  • Dissertação (Mestrado)

    Minimal walks and applications (2018)

    Bordoni, Rafael de Lima; Tomita, Artur Hideyuki (Orientador)

    Unidade: IME

    Subjects: TOPOLOGIA, TEORIA DOS CONJUNTOS, TEORIA DOS MODELOS

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

    • ABNT

      BORDONI, Rafael de Lima. Minimal walks and applications. 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-215130/. Acesso em: 08 out. 2025.

    • APA

      Bordoni, R. de L. (2018). Minimal walks and applications (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

    • NLM

      Bordoni R de L. Minimal walks and applications [Internet]. 2018 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

    • Vancouver

      Bordoni R de L. Minimal walks and applications [Internet]. 2018 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

  • 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: 08 out. 2025.

    • 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 2025 out. 08 ] 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 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

  • Artigo de periodico

    Model completeness for the real field with the Weierstrass ℘ function (2018)

    Bianconi, Ricardo

    Source: Proceedings of the Edinburgh Mathematical Society. Unidade: IME

    Subjects: TEORIA DOS MODELOS, CURVAS ELÍTICAS, FUNÇÕES ELÍTICAS

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

    • ABNT

      BIANCONI, Ricardo. Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, v. 61, n. 3 p. 811-823, 2018Tradução . . Disponível em: https://doi.org/10.1017/s001309151700044x. Acesso em: 08 out. 2025.

    • APA

      Bianconi, R. (2018). Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, 61( 3 p. 811-823). doi:10.1017/s001309151700044x

    • NLM

      Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2025 out. 08 ] Available from: https://doi.org/10.1017/s001309151700044x

    • Vancouver

      Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2025 out. 08 ] Available from: https://doi.org/10.1017/s001309151700044x

  • Dissertação (Mestrado)

    Inferência em modelos de mistura via algoritmo EM estocástico modificado (2017)

    Assis, Raul Caram de; Milan, Luis Aparecido (Orientador)

    Unidade: Interinstitucional de Pós-Graduação em Estatística

    Subjects: CADEIAS DE MARKOV, TEORIA DOS MODELOS, INFERÊNCIA BAYESIANA, PROCESSOS ESTOCÁSTICOS

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

    • ABNT

      ASSIS, Raul Caram de. Inferência em modelos de mistura via algoritmo EM estocástico modificado. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/. Acesso em: 08 out. 2025.

    • APA

      Assis, R. C. de. (2017). Inferência em modelos de mistura via algoritmo EM estocástico modificado (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

    • NLM

      Assis RC de. Inferência em modelos de mistura via algoritmo EM estocástico modificado [Internet]. 2017 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

    • Vancouver

      Assis RC de. Inferência em modelos de mistura via algoritmo EM estocástico modificado [Internet]. 2017 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

  • Tese (Doutorado)

    A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento (2016)

    Gomes, Maria Aparecida Gonçalves; Araujo, Valeria Amorim Arantes de (Orientador)

    Unidade: FE

    Subjects: VALORES, JOVENS, TEORIA DOS MODELOS

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

    • ABNT

      GOMES, Maria Aparecida Gonçalves. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/. Acesso em: 08 out. 2025.

    • APA

      Gomes, M. A. G. (2016). A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

    • NLM

      Gomes MAG. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento [Internet]. 2016 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

    • Vancouver

      Gomes MAG. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento [Internet]. 2016 ;[citado 2025 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

  • Trabalho de evento-anais periodico

    A really simple proof of the Artin-Schreier characterization of real closed fields (2016)

    Luciano, Odilon Otavio

    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

    Subjects: TEORIA DOS CAMPOS, POLINÔMIOS, TEORIA DOS MODELOS

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

    • ABNT

      LUCIANO, Odilon Otavio. A really simple proof of the Artin-Schreier characterization of real closed fields. 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/10-Luciano-SAJL.pdf. Acesso em: 08 out. 2025. , 2016

    • APA

      Luciano, O. O. (2016). A really simple proof of the Artin-Schreier characterization of real closed fields. 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/10-Luciano-SAJL.pdf

    • NLM

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2025 out. 08 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf

    • Vancouver

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2025 out. 08 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf

  • Dissertação (Mestrado)

    Uma introdução à Geometria Algébrica Real (2014)

    Hornhardt, Caio De Naday; Miraglia Neto, Francisco (Orientador)

    Unidade: IME

    Subjects: GEOMETRIA ALGÉBRICA, GEOMETRIA ALGÉBRICA REAL, TEORIA DOS MODELOS

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

    • ABNT

      HORNHARDT, Caio De Naday. Uma introdução à Geometria Algébrica Real. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/. Acesso em: 08 out. 2025.

    • APA

      Hornhardt, C. D. N. (2014). Uma introdução à Geometria Algébrica Real (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

    • NLM

      Hornhardt CDN. Uma introdução à Geometria Algébrica Real [Internet]. 2014 ;[citado 2025 out. 08 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

    • Vancouver

      Hornhardt CDN. Uma introdução à Geometria Algébrica Real [Internet]. 2014 ;[citado 2025 out. 08 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

1 - 20 (45 records)

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