Opzioni di iscrizione
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
Gli ospiti non possono entrare in questo corso, per favore autenticati.