Últimas notícias
| Início das aulas em 23 de setembro de 2019 |
Horários
| Segundas e Quartas das 15:00h às 17:00h |
Local
|
Centro de Tecnologia
Sala: H-324-B |
Conteúdo
|
Grafos Halin. Propriedades Estruturais. Lógica MSO. Lógica CMSO. Decomposição arbórea.
Reconhecimento de propriedade em grafos. Definibilidade em Lógica CMSO em grafos Halin. |
Bibliografia
| Artigos recentes sobre o tema |
Atendimento
|
Grupo no WhatsApp para dúvidas e outras infos rápidas
|
Listas de Exercícios
| Em breve
|