Teoria das funções de primeira ordem (2014)
- Authors:
- Autor USP: FREIRE, RODRIGO DE ALVARENGA - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/T.45.2014.tde-20230727-112907
- Subjects: LÓGICA MATEMÁTICA; LÓGICA DE PRIMEIRA ORDEM
- Language: Português
- Abstract: Esta tese inicia o estudo das funções de primeira ordem, que são uma generalização das funções de verdade. Os conceitos de tabela de verdade e de sistema de funções de verdade, ambos introduzidos na lógica proposicional por Emil Post, são também generalizados e estudados no caso quantificacional. O tema central desta tese é a relação de definição entre noções expressas por fórmulas da lógica de primeira ordem.
- Imprenta:
- Data da defesa: 15.05.2014
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/
Informações sobre o DOI: 10.11606/T.45.2014.tde-20230727-112907 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas