SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	INSTITUTO DE RECURSOS NATURAIS (11.40)
Código:	CCF510.2
Nome:	Semântica de Linguagens de Programação (Prática)
Carga Horária Teórica:	0 h.
Carga Horária Prática:	16 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	16 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:	Sim
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	1
Ementa/Descrição:	semântica: o que é? semântica operacional. fundamentos. semântica denotacional. fundamentos. lambda-calculus. teoria de domínios. pontos fixos. equações recursivas. tipos de alta ordem. semântica axiomática. fundamentos. semântica de ações. especificação de linguagens imperativas. especificação de linguagens lógicas. especificação de linguagens orientadas a objetos tópicos em especificação de linguagens com concorrência.