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 04/08/2025 01:30:31 (consulta levou 0,834855s)