Teoria das funções de primeira ordem

Detalhes bibliográficos
Autor(a) principal: Freire, Rodrigo de Alvarenga
Data de Publicação: 2014
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/
Resumo: 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.
id USP_81d7c10cc65b4aecaba3a71d4a7e29f6
oai_identifier_str oai:teses.usp.br:tde-20230727-112907
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Teoria das funções de primeira ordemnot availableLógica De Primeira OrdemLógica MatemáticaEsta 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.not availableBiblioteca Digitais de Teses e Dissertações da USPTausk, Daniel VictorFreire, Rodrigo de Alvarenga2014-05-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-07-27T18:01:05Zoai:teses.usp.br:tde-20230727-112907Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-07-27T18:01:05Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Teoria das funções de primeira ordem
not available
title Teoria das funções de primeira ordem
spellingShingle Teoria das funções de primeira ordem
Freire, Rodrigo de Alvarenga
Lógica De Primeira Ordem
Lógica Matemática
title_short Teoria das funções de primeira ordem
title_full Teoria das funções de primeira ordem
title_fullStr Teoria das funções de primeira ordem
title_full_unstemmed Teoria das funções de primeira ordem
title_sort Teoria das funções de primeira ordem
author Freire, Rodrigo de Alvarenga
author_facet Freire, Rodrigo de Alvarenga
author_role author
dc.contributor.none.fl_str_mv Tausk, Daniel Victor
dc.contributor.author.fl_str_mv Freire, Rodrigo de Alvarenga
dc.subject.por.fl_str_mv Lógica De Primeira Ordem
Lógica Matemática
topic Lógica De Primeira Ordem
Lógica Matemática
description 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.
publishDate 2014
dc.date.none.fl_str_mv 2014-05-15
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/
url https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-112907/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090937435979776

Registros relacionados