ReP USP - Resultado da busca

Dissertação (Mestrado)
Teoria de Categorias: uma semântica categorial para linguagens proposicionais (2018)
Maillard, Christian Marcel de Amorim Perret Gentil Dit; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Assuntos: FILOSOFIA, LÓGICA, LÓGICA MATEMÁTICA, CÁLCULO PROPOSICIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAILLARD, Christian Marcel de Amorim Perret Gentil Dit. Teoria de Categorias: uma semântica categorial para linguagens proposicionais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/. Acesso em: 27 nov. 2025.
APA
Maillard, C. M. de A. P. G. D. (2018). Teoria de Categorias: uma semântica categorial para linguagens proposicionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
NLM
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
Vancouver
Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/
Monografia/livro
Lógica matemática (2017)
Fajardo, Rogério Augusto dos Santos
Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS CONJUNTOS, LÓGICA DE PRIMEIRA ORDEM, METAMATEMÁTICA, MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, CÁLCULO PROPOSICIONAL
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: 27 nov. 2025. , 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 2025 nov. 27 ]
Vancouver
Fajardo RA dos S. Lógica matemática. 2017 ;[citado 2025 nov. 27 ]
Artigo de periodico
Towards a logic of perishable propositions (2005)
Silva, Flávio Soares Corrêa da
Fonte: Applied Intelligence. Unidade: IME
Assuntos: CÁLCULO PROPOSICIONAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. Applied Intelligence, v. 23, n. 2, p. 121-130, 2005Tradução . . Disponível em: https://doi.org/10.1007/s10489-005-3417-6. Acesso em: 27 nov. 2025.
APA
Silva, F. S. C. da. (2005). Towards a logic of perishable propositions. Applied Intelligence, 23( 2), 121-130. doi:10.1007/s10489-005-3417-6
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. Applied Intelligence. 2005 ; 23( 2): 121-130.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10489-005-3417-6
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. Applied Intelligence. 2005 ; 23( 2): 121-130.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10489-005-3417-6
Relatorio tecnico
Towards polynomial approximations of full propositional logic (2004)
Finger, Marcelo
Unidade: IME
Assunto: CÁLCULO PROPOSICIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards polynomial approximations of full propositional logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf. Acesso em: 27 nov. 2025. , 2004
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf
Trabalho de evento
Towards a logic of perishable propositions (2002)
Silva, Flávio Soares Corrêa da
Fonte: Anais Workcomp'2002. Nome do evento: Workshop de Computação - WORKCOMP'2002. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, CÁLCULO PROPOSICIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. 2002, Anais.. São José dos Campos: ITA/CTA, 2002. p. 173-179. Disponível em: https://repositorio.usp.br/directbitstream/4a9c1838-c8f7-4ac1-9675-918f37395995/3250724.pdf. Acesso em: 27 nov. 2025.
APA
Silva, F. S. C. da. (2002). Towards a logic of perishable propositions. In Anais Workcomp'2002 (p. 173-179). São José dos Campos: ITA/CTA. Recuperado de https://repositorio.usp.br/directbitstream/4a9c1838-c8f7-4ac1-9675-918f37395995/3250724.pdf
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. Anais Workcomp'2002. 2002 ; 173-179.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/4a9c1838-c8f7-4ac1-9675-918f37395995/3250724.pdf
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. Anais Workcomp'2002. 2002 ; 173-179.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/4a9c1838-c8f7-4ac1-9675-918f37395995/3250724.pdf
Monografia/livro
Cálculo proposicional: uma interação entre a álgebra e a lógica (1987)
Miraglia Neto, Francisco
Unidade: IME
Assunto: CÁLCULO PROPOSICIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. Cálculo proposicional: uma interação entre a álgebra e a lógica. . Campinas Centro de Lógica, Epistemologia e História da Ciéncia: Centro de Lógica, Epistemologia e História da Ciéncia. . Acesso em: 27 nov. 2025. , 1987
APA
Miraglia Neto, F. (1987). Cálculo proposicional: uma interação entre a álgebra e a lógica. Campinas Centro de Lógica, Epistemologia e História da Ciéncia: Centro de Lógica, Epistemologia e História da Ciéncia.
NLM
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2025 nov. 27 ]
Vancouver
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2025 nov. 27 ]

Unidades USP

ReP

Filtros

Autores

Ano de publicação

Assuntos