Menu

Filtros : "LÓGICA DE PRIMEIRA ORDEM" Limpar

Filtros

Refine with date range

  • 1

1 - 7 (7 records)

  • Dissertação (Mestrado)

    Introdução à lógica intuicionista (2023)

    Almeida, Fellipe Hernandes de; Fajardo, Rogério Augusto dos Santos (Orientador)

    Unidade: IME

    Subjects: LÓGICA DE PRIMEIRA ORDEM, LÓGICA INTUICIONISTA, RETICULADOS

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

    • ABNT

      ALMEIDA, Fellipe Hernandes de. Introdução à lógica intuicionista. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/. Acesso em: 01 jun. 2024.

    • APA

      Almeida, F. H. de. (2023). Introdução à lógica intuicionista (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/

    • NLM

      Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2024 jun. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/

    • Vancouver

      Almeida FH de. Introdução à lógica intuicionista [Internet]. 2023 ;[citado 2024 jun. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-03102023-053149/

  • 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: 01 jun. 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 jun. 01 ]

    • Vancouver

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

  • 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: 01 jun. 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 jun. 01 ] 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 jun. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/

  • Artigo de periodico

    Towards automated first-order abduction: the cut-based approach (2012)

    Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA DE PRIMEIRA ORDEM

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

    • ABNT

      FINGER, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, v. 20, n. 2, p. 370-387, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq052. Acesso em: 01 jun. 2024.

    • APA

      Finger, M. (2012). Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, 20( 2), 370-387. doi:10.1093/jigpal/jzq052

    • NLM

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 jun. 01 ] Available from: https://doi.org/10.1093/jigpal/jzq052

    • Vancouver

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 jun. 01 ] Available from: https://doi.org/10.1093/jigpal/jzq052

  • Dissertação (Mestrado)

    Multiplicadores algébricos de validade lógica (2010)

    Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, INVARIANTES, LÓGICA DE PRIMEIRA ORDEM, ÁLGEBRAS DE BOOLE, SEMÂNTICA, LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      HERNANDES, Mauricio Simões Camilo. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/. Acesso em: 01 jun. 2024.

    • APA

      Hernandes, M. S. C. (2010). Multiplicadores algébricos de validade lógica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • NLM

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 jun. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • Vancouver

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 jun. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

  • Monografia/livro-traducao

    Lógica de primeira ordem (2009)

    Loparic, Andréa M. A. de Campos ; Mazak, René Pierre (Tradução); Vicente, Luciano (Tradução)

    Unidade: FFLCH

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

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

    • ABNT

      LOPARIC, Andréa M. A. de Campos. Lógica de primeira ordem. . São Paulo: Editora UNESP. . Acesso em: 01 jun. 2024. , 2009

    • APA

      Loparic, A. M. A. de C. (2009). Lógica de primeira ordem. São Paulo: Editora UNESP.

    • NLM

      Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2024 jun. 01 ]

    • Vancouver

      Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2024 jun. 01 ]

  • Artigo de periodico

    Equality in linear logic (1996)

    Coniglio, Marcelo Esteban ; Miraglia Neto, Francisco

    Source: Logique et Analyse. Unidade: IME

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

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

    • ABNT

      CONIGLIO, Marcelo Esteban e MIRAGLIA NETO, Francisco. Equality in linear logic. Logique et Analyse, v. 39, n. 153/154, p. 113-151, 1996Tradução . . Disponível em: https://www.jstor.org/stable/44084560. Acesso em: 01 jun. 2024.

    • APA

      Coniglio, M. E., & Miraglia Neto, F. (1996). Equality in linear logic. Logique et Analyse, 39( 153/154), 113-151. Recuperado de https://www.jstor.org/stable/44084560

    • NLM

      Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Logique et Analyse. 1996 ; 39( 153/154): 113-151.[citado 2024 jun. 01 ] Available from: https://www.jstor.org/stable/44084560

    • Vancouver

      Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Logique et Analyse. 1996 ; 39( 153/154): 113-151.[citado 2024 jun. 01 ] Available from: https://www.jstor.org/stable/44084560
  • 1

1 - 7 (7 records)

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