Opciones de matriculación
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
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.