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
Opções de inscrição
Visitantes não podem acessar este curso. Por favor faça login.