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)

Página gerada em 24/08/2025 22:18:37 (consulta levou 0.142800s)