Contrato de Aprendizagem

Este documento contém o Contrato de Aprendizagem da Unidade Curricular de Programação em Lógica.

Site: Plataforma LI/LEaD
Disciplina: Projeto Programação em Lógica - Vitor Rocio
Livro: Contrato de Aprendizagem
Impresso por: Visitante
Data: Domingo, 19 Maio 2019, 09:49

Índice

Contrato de Aprendizagem


Contrato de Aprendizagem

MESTRADO EM ESTATÍSTICA, MATEMÁTICA E COMPUTAÇÃO

Ano Lectivo: 2008/2009

Docente: Vitor Rocio

UNIDADE CURRICULAR 22033

Programação em Lógica

I. Objetivos

Expetativas e Objetivos

Objetivos

Pretende-se com esta unidade curricular desenvolver o conceito da programação em lógica, isto é, a utilização da lógica de 1ª ordem para resolver problemas de programação.

Durante a unidade curricular, espera-se que os estudantes:

II. Competências

Competências a desenvolver
Pretende-se que, no final desta Unidade Curricular, o estudante tenha adquirido as seguintes competências
  • utilizar de forma eficaz um ambiente de desenvolvimento em Prolog;
  • distinguir e relacionar o modelo teórico da programação em lógica pura e o modelo prático computacional da linguagem Prolog;
  • desenvolver técnicas de programação em Prolog de acordo com o tipo de problema a resolver;
  • formular problemas complexos utilizando a programação em lógica;
  • desenvolver, depurar e testar programas em lógica para os problemas formulados.

III. Roteiro de conteúdos

  1. Introdução à programação em lógica
    1. Paradigma da PL
    2. Linguagem Prolog
  2. Bases de conhecimento
    1. Factos e queries
    2. Variáveis lógicas
    3. Termos
    4. Questões
  3. Predicados e recursão
    1. Regras
    2. Estruturas recursivas
  4. Modelo computacional do Prolog
    1. Árvores de derivação
    2. Cortes
    3. Negação por falha
  5. Predicados extra-lógicos
    1. Aritmética
    2. Predicados de agregação
  6. Resolução de problemas em Prolog

IV. Metodologia

Metodologia de trabalho online

Que metodologia iremos adoptar?

Todas as actividades de ensino e de aprendizagem relativas a esta unidade curricular serão realizadas em regime online, em ambiente de classe virtual, valorizando-se as formas de comunicação assíncronas. A metodologia a adoptar segue o Modelo Pedagógico em vigor na UAb, para os cursos de 2º ciclo.

O modelo pressupõe uma componente de aprendizagem independente e outra de aprendizagem colaborativa, o que implica um percurso de trabalho a realizar por parte dos estudantes, com base nos materiais disponibilizados e na organização/planeamento de zonas temporais de interacções diversificadas, intra-grupo geral de estudantes (turma), intra-pequenos grupos de estudantes, ou entre estudantes e Professor, de acordo com o roteiro especificado no ponto IX.

V. Recursos

Recursos de Aprendizagem

Recursos computacionais

Páginas Web

Bibliografia

VI. Ambiente

Ambiente de Aprendizagem

 
 

As actividades de ensino-aprendizagem desta unidade curricular decorrem na plataforma de elearning Moodle da Universidade Aberta. Todas as informações e actividades relativas a este módulo serão disponibilizadas em ambiente de classe virtual. É privilegiada a comunicação assíncrona, com relevo para o fórum de discussão. Tendo em conta as leituras, o acesso à plataforma, o downloading de ficheiros, eventuais pesquisas, a elaboração de reflexões individuais e a participação nos trabalhos de grupo ou nas discussões gerais, aconselha-se que cada aluno(a) programe semanalmente o seu trabalho.

 

Estima-se que, em média, cada mestrando possa disponibilizar 5 horas semanais para se ligar on-line, usando a plataforma para a participação nas actividades. Recomenda-se por isso a frequência diária deste módulo.

VII. Sequência

Sequência das actividades de aprendizagem

...

Temática: Bases de conhecimento

Actividade 2 : Familiarização com o ambiente Prolog

Decorre entre dias 10/03/2009 e 23/03/2009

Competências a desenvolver:

  • familiarizar-se com o ambiente pergunta-resposta do interpretador Prolog
  • construir bases de conhecimento simples
  • construir queries para interrogar a base de conhecimento
  • interpretar as respostas do interpretador

Recursos de Aprendizagem

  • Sterling & Shapiro, The Art of Prolog (1994) - Capítulo 1 (Basic Constructs)
  • Blackburn, P., Bos, J., Striegnitz, K., Learn Prolog Now (2008), http://www.learnprolognow.org/

...

Temática: Resolução de problemas em Prolog

Actividade 6 : Construir e testar solução para um problema

Decorre entre dias 02/06/2009 e 15/06/2009

Competências a desenvolver:

  • formular problemas de forma declarativa
  • construir e testar programas para resolver problemas
  • analisar e discutir soluções escritas por terceiros

Recursos de Aprendizagem

  • Sterling & Shapiro, The Art of Prolog (1994) - Capítulo 13 (Program Development)
  • Bill Wilson, Problem solving in Prolog (2002), http://www.cse.unsw.edu.au/~billw/cs9414/notes/mandc/mandc.html
  • D.F.M. Torres, Introdução à Programação em Lógica (2000), Universidade de Aveiro

VIII. Avaliação

Avaliação das Aprendizagens

Avaliação e Classificação

Os critérios de avaliação para cada actividade desta unidade curricular são os seguintes:

  • Actividade 1:
  • Actividade 2: obtenção de soluções corretas, elegância do código, adequação das respostas
    ...
  • Actividade 6: contribuição para o grupo, qualidade da solução e participação na discussão

Cada actividade será classificada numa escala de 0 a 20, sendo considerada que foi realizada com sucesso, sempre que for obtida a classificação 10 ou superior.

A aprovação na unidade curricular (creditada em 6 ECTS) depende da realização com sucesso de 3 das 5 primeiras actividades, e da realização com sucesso da actividade 6.

Como há interdependência entre as actividades, quando uma delas não é realizada, deverá ser encarada como actividade formativa (não avaliada) para as actividades seguintes.

A classificação final da unidade curricular será a média aritmética de todas as actividades realizadas, arredondada às unidades. No caso de os requisitos mínimos de aprovação na unidade curricular não serem cumpridos, não haverá lugar à emissão de classificação final.

IX. Roteiro do contrato

Calendário e Roteiro do Contrato

Este Calendário apresenta a previsão da distribuição temporal das várias Actividades a realizar no percurso de aprendizagem desta Unidade Curricular ao longo do semestre.

IX.1. Primeiro mês

MÊS

SEMANA

TEMA

ACTIVIDADE

O QUE SE ESPERA

RECURSOS

AVALIAÇÃO

Março 3 a 9
Março 10 a 16 Bases de conhecimento Familiarização com o ambiente Prolog -experimentação e ambientação ao interpretador Prolog Capítulo de livro, páginas web, interpretador Prolog N/A
Março 17 a 23 Bases de conhecimento Familiarização com o ambiente Prolog -construção de bases de conhecimento e queries apropriadas Capítulo de livro, páginas web, interpretador Prolog obtenção de soluções corretas, elegância do código, adequação das respostas
Março 24 a 30

IX.2. Segundo mês

MÊS

SEMANA

TEMA

ACTIVIDADE

O QUE SE ESPERA

RECURSOS

AVALIAÇÃO

Abril 31/3 a 6/4
Abril 7 a 13 PAUSA LECTIVA DA PÁSCOA
Abril 14 a 20 PAUSA LECTIVA DA PÁSCOA
Abril 21 a 27

IX.3. Terceiro mês

MÊS

SEMANA

TEMA

ACTIVIDADE

O QUE SE ESPERA

RECURSOS

AVALIAÇÃO

Maio 28/4 a 4/5
Maio 5 a 11
Maio 12 a 18
Maio 19 a 25
Maio 26/5 a 1/6

IX.4. Quarto mês

MÊS

SEMANA

TEMA

ACTIVIDADE

O QUE SE ESPERA

RECURSOS

AVALIAÇÃO

Junho 2 a 8 Resolução de problemas em Prolog Trabalho de grupo: resolução de problema - proposta de solução Capítulo de livro, páginas web - contribuição no grupo
- qualidade da solução
Junho 9 a 15 Resolução de problemas em Prolog Discussão na turma - análise e discussão da solução de outro grupo Capítulo de livro, páginas web - participação na discussão