O conceito semântico de consequência lógica. Procedimentos de prova. Noções sobre o método axiomático e sobre os conceitos de completude, decidibilidade, indecidibilidade e incompletude. Atividades práticas de ensino, pesquisa e extensão em lógica.
- Professor: Marco Antonio Franciotti
Linguagens de primeira ordem. Estruturas para linguagens de primeira ordem. O conceito de sentença verdadeira em uma estrutura. Atividades práticas de ensino, pesquisa e extensão em lógica.
- Professor: Marco Antonio Franciotti