Options d’inscription
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
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.