Opções de inscrição
Estudar os conceitos fundamentais de computação modelado do ponto de vista da Lógica Formal. Estudar as noções de funções compatíveis, problemas tratáveis e intratáveis, do ponto de vista da Lógica Formal.
- Docente: Marcelo Finger
Visitantes não podem acessar este curso. Por favor faça login.