20241

DAS410102-41000069ME (20241) - Estágio de Docência I

Docência no magistério superior envolvendo atividades de ensino de preparação e aplicação de aulas teóricas, teorico-praticas e práticas, participação em avaliação parcial de conteúdos programáticos e a aplicação de métodos ou técnicas pedagógicas (estudos dirigidos, seminários, entre outros).

DAS410102-41000069DO (20241) - Estágio de Docência I

Docência no magistério superior envolvendo atividades de ensino de preparação e aplicação de aulas teóricas, teorico-praticas e práticas, participação em avaliação parcial de conteúdos programáticos e a aplicação de métodos ou técnicas pedagógicas (estudos dirigidos, seminários, entre outros).

DAS410101-41000069ME (20241) - Dissertação

Elaboração do trabalho de dissertação.

DAS510080-41000069DO (20241) - Tese

Elaboração do trabalho de tese.

DAS410041-41000069DO (20241) - Modelos Formais para Sistemas de Automação Discreta

Autômatos: linguagens e expressões regulares, autômatos de estados finitos, autômatos não determinísticos, teorema de Nerode, minimização de autômatos. Redes de Petri: definições, modelagem, propriedades, análise, simulação, implementação, rede de Petri de alto nível. Extensões: autômato temporizado, rede de Petri temporal.

- J.E. HOPCROFT; R. MOTWANI; J. ULLMAN, Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2nd ed., USA, 2001.
- J. CARROL; D. LONG. Theory of Finite Automata: with an Introduction to formal languages. Prentice-Hall International, USA, 1989.
- M. Diaz. Petri Nets: Fundamental Models, Verification and Applications. John Wiley & Sons,USA, 2010.
- W. Reisig. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer-Verlag, De,2013.