Dados Gerais do Componente Curricular
| Tipo do Componente Curricular: |
DISCIPLINA |
| Unidade Responsável: |
PROGRAMA DE PÓS-GRADUAÇÃO EM MODELAGEM COMPUTACIONAL DE CONHECIMENTO (11.00.43.56.04) |
| Código: |
MCC207.21 |
| Nome: |
INTRODUÇÃO AOS MODELOS DE COMPUTAÇÃO E SISTEMAS FORMAIS (TÓPICOS EM MODELOS QUANTITATIVOS E DE SIMULAÇÃO) |
| Carga Horária Teórica: |
60 h. |
| Carga Horária Prática: |
0 h. |
| Carga Horária Total: |
60 h. |
| Pré-Requisitos: |
|
| Co-Requisitos: |
|
| Equivalências: |
|
| Excluir da Avaliação Institucional: |
Não |
| Matriculável On-Line: |
Sim |
| Horário Flexível da Turma: |
Não |
| Horário Flexível do Docente: |
Sim |
| Obrigatoriedade de Nota Final: |
Sim |
| Pode Criar Turma Sem Solicitação: |
Não |
| Necessita de Orientador: |
Não |
| Exige Horário: |
Sim |
| Permite CH Compartilhada: |
Não |
| Permite Múltiplas Aprovações: |
Não |
| Quantidade de Avaliações: |
1 |
| Ementa/Descrição: |
EMENTA:
Definição dos modelos de computação, sistemas formais, teoria da prova, projeto, verificação e análise sistemas: especificação, modelagem, análise e verificação.
OBJETIVOS:
Esta disciplina visa dar uma noção introdutória do processo de modelagem de sistemas, através do estudo de alguns formalismos para especificação destes. |
| Referências: |
1. Sipser, M. Introduction to the Theory of Computation, PSW Publishing Company, 1997
2. Van Dalen, D. “Logic and Structure”, Second Edition, Springer-Verlag, 1989.
3. Olderog, E.R. “Nets, Terms and Formulas”. Cambridge University press, 1991.
4. Cassandras, C.G., Lafortune, S. “Introduction to Discrete Event Systems”. Kluwer Academic Publishers, 1999.
5. Artigos científicos. |
|
|
|
|
