CIÊNCIA DA COMPUTAÇÃO

SEMANTICA FORMAL

Ementa

ABORDAGENS PARA DEFINICAO FORMAL DE LINGUAGENS DE PROGRAMACAO. AL GEBRA EVOLUTIVA: MAQUINAS DE ESTADOS ABSTRATOS. SEMANTICA DENOTACIONAL: SEMANTICA DIRETA. SEMANTICA DE CONTINUACAO. SEMANTICA DE EX-PRESSOES, JUMPS, COMANDOS, PROCEDIMENTOS E TIPOS. CLASSES E OBJE- TOS. ELEMENTOS DA TEORIA DE DOMINIOS: ORDEM PARCIAL. POSETS, CPO, FUNCOES MONOTONICAS, CONTINUAS E PONTO FIXO. SEMANTICA OPERACIONALESTRUTURADA. PI CALCULO.

Código da disciplina: DCC059-DIG

Nome da atividade: SEMANTICA FORMAL

Período letivo:

Tipo da atividade: optativa

Créditos: 4

Carga horária (horas):

Teórica Prática Total
60 0 60

Última oferta: 2012/1