Fundamentos de Linguagens de Programação

Código:

CC4013

Sigla:

CC4013

Nível:

400

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2024/2025 - 1S

Ativa?	Sim
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Mestrado em Ciência de Computadores

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
M:CC	13	PE a partir do ano letivo de 2014	1	-	6	42	162

Língua de trabalho

Português - Suitable for English-speaking students

Objetivos

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação.

Resultados de aprendizagem e competências

Modo de trabalho

Presencial

Programa

Bibliografia Obrigatória

Hanne Riis Nielson; Semantics with applications. ISBN: 978-1-84628-691-9
Chris Hankin; An introduction to Lambda calculi for computer scientists. ISBN: 0-9543006-5-3

Bibliografia Complementar

Glynn Winskel; The formal semantics of programming languages. ISBN: 978-0-262-23169-5
Hendrik Pieter Barendregt; The lambda calculus. ISBN: 0-444-85490-8
Maribel Fernández; Programming languages and operational semantics. ISBN: 0-9543006-3-7

Métodos de ensino e atividades de aprendizagem

Aulas teóricas-práticas com exposição de matéria e resolução de exercícios.

Software

Glasgow Haskell Compiler

Palavras Chave

Ciências Físicas > Matemática > Lógica matemática
Ciências Físicas > Matemática > Matemática discreta
Ciências Físicas > Ciência de computadores

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

Designação	Peso (%)
Teste	100,00
Total:	100,00

Componentes de Ocupação

Designação	Tempo (Horas)
Estudo autónomo	120,00
Frequência das aulas	42,00
Total:	162,00

Obtenção de frequência

Sem critérios de frequência.

Fórmula de cálculo da classificação final

Há dois testes na disciplina, cada um deles com nota mínima de 6 valores em 20.

A nota final é média aritmética das notas dos testes.

Nota final = 0.5 * Teste 1 + 0.5 * Teste 2

Quem não alcançar a nota mínima num dos testes não tem aprovação à disciplina, mas poderá fazer um exame de recurso aos dois testes ou só a um deles.