Busca avançada
Ano de início
Entree

Introdução às teorias de primeira ordem

Processo: 19/25956-6
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de março de 2020
Vigência (Término): 28 de fevereiro de 2021
Área do 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

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)