Introdução às teorias de primeira ordem

• Processo: 19/25956-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de março de 2020
• Data de Término da vigência: 28 de setembro de 2021
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Fabio Ferrari Ruffino
• Beneficiário: Guilherme Marques Sonoda
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Lógica matemática Teoria dos conjuntos Lógica de primeira ordem
• Palavra(s)-Chave do Pesquisador: teoria dos conjuntos | Teorias de primeira ordem | Lógica Matemática

Resumo

O objetivo principal deste projeto consiste em introduzir o aluno às noções fundamentais da lógica matemática. Em particular, ele começará fortalecendo a própria preparação em relação à teoria intuitiva dos conjuntos, aprofundando a teoria dos ordinais e dos cardinais e a classe dos conjuntos bem-fundados. Em seguida, serão estudados o cálculo proposicional e as teorias de primeira ordem dos pontos de vista sintático e semântico. Enfim, estas noções serão utilizadas para ''formalizar'' a teoria intuitiva dos conjuntos, estudada inicialmente, através dos axiomas de Zermelo-Fraenkel. (AU)