Contrato de Aprendizagem

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

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:

• adquiram conhecimento do modelo de programação em lógica;
• pratiquem a programação e resolução de problemas num ambiente de desenvolvimento de Prolog;
• adquiram gradualmente o conhecimento da sintaxe e da semântica da linguagem Prolog;
• adquiram gradualmente conhecimento dos predicados essenciais para aplicarem na sua programação;
• apliquem técnicas de controlo do fluxo de programa para garantir a eficiência e eficácia das soluções;
• aprendam a consultar guias de referência da linguagem Prolog por forma a utilizar todas as potencialidades da linguagem.

II. Competências

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

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 computacionais

• SWI-Prolog, http://www.swi-prolog.org

Páginas Web

• Patrick Blackburn, Johan Bos, Kristina Striegnitz. Learn Prolog Now! (2006, 2007)
• Amzi, Inc. Adventure in Prolog (2004)
• Jan Wielemaker. SWI-Prolog 5.6.56 Reference Manual (2008)
• Paul Brna. Prolog Programming: A First Course (1988)

Bibliografia

• Leon Sterling & Ehud Shapiro. The Art of Prolog: Advanced Programming Techniques, 2nd edition, MIT Press, 1994.
• D.F.M. Torres, Introdução à Programação em Lógica (2000), Universidade de Aveiro

VI. Ambiente

 

 

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

...

...

VIII. Avaliação

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

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

IX.2. Segundo mês

IX.3. Terceiro mês

IX.4. Quarto mês