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