Nome da Atividade
SEMÂNTICA FORMAL
CÓDIGO
22000701
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
Ementa
Objetivos
Objetivo Geral:
Conteúdo Programático
Bibliografia
Bibliografia Básica:
Disciplinas Equivalentes
| Disciplina | Curso |
|---|---|
| SEMÂNTICA FORMAL | Computação (Mestrado acadêmico) |
| SEMÂNTICA FORMAL | Computação (Doutorado) |