Paradigmas da Programação I

Ano Lectivo: 07/08 (1º semestre)

Escola de Engenharia

Universidade do Minho

AVISOS (** Pauta Final **)

Apresentação
Cursos a que é leccionada:

Mestrado integrado em Engenharia de Comunicações -- 2º ano ()
Escolaridade:

3 + 0 + 0
Responsável:

Pedro Rangel Henriques
Equipe Docente:
Pedro Rangel Henriques [prh@di.uminho.pt] (1 + 0 + 0)

Obs: é indicado o número de turmas de cada tipo de aula que cada docente lecciona.
Estrutura de Funcionamento:

Exposição da matéria fundamental ---motivação, conceitos, definições, métodos e justificações--- e resolução dos exercícios de consolidação, no quadro e no computador a nível das aulas teóricas.
Realização, fora das aulas, de trabalhos concretos de aplicação no computador, em ambiente Windows ou Linux, recorrendo à ferramenta SWI-Prolog.
Objectivos:

É objectivo deste curso levar os alunos a:
e, ainda, tornar os alunos aptos a desenvolver correcta e eficientemente programas na linguagem Prolog.

Avaliação
Critério:

A Avaliação tem uma componente teórica e uma componente prática ambas obrigatórias.
De acordo com o regulamento actualmente em vigor na UM, a nota teórica será obtida através da realização de 3 provas individuais escrita feitas ao longo do semestre nas datas seguintes:
  1. 8 de Nov.
  2. 13 de Dez.
  3. 17 de Jan.
Caso o aluno não obtenha aprovação, terá acesso a um exame teórico (escrito) de recurso, final e único.

A nota prática será obtida através da realização de 3 exercícios práticos que serão resolvidos ao longo do semestre, extra-aulas e em grupo de 2 alunos, sendo o resultado de cada trabalho apresentado ao docente, para ser discutido em frente ao computador nas aulas restantes após 17 de Jan.
Recorda-se que é obrigatória a presença de todos os elementos do grupo aquando da apresentação ao docente.

Cada Exercício Prático será classificado de acordo com os seguintes escalões:

Escalão
Nota
Não Entregue
0
Não Satisfaz
7
Satisfaz no Mínimo
10
Satisfaz
13
Bom
16
Muito Bom
19

A nota final será determinada de acordo com a seguinte fórmula:

NotaFinal = NotaTeorica * 0.60 + NotaPratica * 0.40
sendo
NotaTeorica = Teste1 * 0.40 + Teste2 * 0.40 + Teste3 * 0.20 ou NotaExame
e
NotaPratica = (TP1 + TP2 + TP3) / 3
Exige-se 8 valores como nota mínima em cada uma das partes.

Trabalhos Práticos

 Para fazer o download das Fichas de Trabalho propostas, clique abaixo:
Para fazer a inscrição dos grupos e a submissão dos Trabalhos Práticos, siga o link abaixo: Para fazer o download (do ficheiro PDF) do enunciado dos Trabalhos dos anos anteriores, clique abaixo:

Exames

 Para fazer o download (do ficheiro PDF) do enunciado dos Exames do ano anterior, clique abaixo:

Pauta e Notas

 Para ver o Número do seu Grupo ou as suas Notas (TP, T Ou Final), clique abaixo:

Conteúdo Programático
Programa detalhado:

1. Introdução à disciplina:
  • Reflexão sobre os conceitos fundamentais relacionados com a resolução de problemas por computador e sobre os paradigmas de programação
2. Introdução à Programação Lógica:
  • 2.1 Caracterização do paradigma lógico
  • 2.2 Definições básicas: predicados, termos e cláusulas
  • 2.3 Unificação
  • 2.4 Árvore de Prova e Árvore de Procura
  • 2.5 Estratégias de pesquisa e ``Backtracking''
  • 2.6 Explicação Operacional dos predicados de controlo
3. Uso do Sistema Prolog:
  • 3.1 Interacção com o exterior, leitura e escrita
  • 3.2 Constatação das propriedades fundamentais dum Sistema de Prova (máquina de inferência)
  • 3.3 Predicados pré-definidos
4. Estruturas de Dados recursivas:
  • 4.1 Listas, Árvores e Grafos
  • 4.2 Máquinas de Transição de Estados e Autómatos Deterministas Reactivos

Bibliografia
Material bibliográfico proposto para apoio ao curso:

[Tor,00] Delfim Torres, "Introdução a Programação em Lógica", versão 1.0, Dep. de Matemática, Univ. de Aveiro, 2000
[Der,86] Pierre Deransart, "Initiation à Prolog", Univ. Orleans, 1986
[CM,81] W.F. Clocksin & C.S. Mellish, "Programming in Prolog", Springer-Verlag, 1981
[SS,86] Leon Sterling & E. Shapiro, "The Art of Prolog", MIT-Press, 1986
[Bra,90] Ivan Bratko, "Prolog: programming for Artificial Intelligence", Addison Wesley, 1990
[Wie,99] Jan Wielemaker, "SWI-Prolog 3.3: Reference Manual", Univ. Amsterdam, Nov. 1999

Notas Pedagógicas e Material de Apoio Diverso

 De momento e para além do material bibliográfico recomendado, encontram-se disponíveis os seguintes elementos:

... e a seguinte documentação diversa de apoio:

Avisos Importantes

(2008.02.28)
Avaliação Final: acabo de afixar a Pauta Final da disciplina.
(2008.02.04)
Avaliação Contínua: acabo de afixar a Pauta com a Nota dos TPs e a Nota Teórica, bem como a Avaliação Final de Progresso
(2008.02.04)
Avaliação Contínua: acabo de actualizar a Pauta com a Nota dos TPs e a Nota Teórica, bem como a Avaliação Final de Progresso
(agora só falta ver os alunos que não foram ao 3ºTeste; para os restantes já é indicada a situação em relação ao exame.)
(2008.02.04)
Avaliação Contínua: acabo de publicar a Pauta com a Nota dos TPs e a Nota Teórica, bem como a Avaliação Final de Progresso
(embora ainda não seja a versão final --- vou repescar alguns casos -- já dá para terem noção da vossa situação em relação ao exame.)
(2008.01.21)
Avaliação do 1º e 2º Trabalhos Práticos:
Começa na 2ªf, dia 21.Jan.2008 das 15h às 17h30 com os grupos 1 a 5 (ver numeração na Pauta acima)
Continua na 5ªf, dia 24.Jan.2008 das 13h às 15h30 com os grupos 6 a 10
Termina na 2ªf, dia 28.Jan.2008 das 15h às 18h00 com os grupos 11 a 16
(2007.11.27)
Foi publicada o 2º Trabalho Prático que os alunos devem concluir até ao dia 13.Dez.
No fim devem fazer o upload para o Sistema de Submissão electrónica de Trabalhos Práticos (SSTP acessível acima na rubrica Trabalhos Práticos), de um ficheiro zip contendo o Relatório e todo o SW disponível nessa fase.
(2007.11.04)
Foi publicada o 1º Trabalho Prático que os alunos devem concluir até ao dia 19.Nov.
No fim devem fazer o upload para o Sistema de Submissão electrónica de Trabalhos Práticos (SSTP acessível acima na rubrica Trabalhos Práticos), de um ficheiro zip contendo o Relatório e todo o SW disponível nessa fase.
(2007.10.21)
Foi publicada a Folha de Cálculo com os Alunos Inscritos e a constituição dos Grupos de Trabalho.
Os alunos devem verificar, usando o link no item respectivo acima, o seu nome, número e grupo e avisarem-me em caso de encontrarem algum erro.
(2007.10.07)
As aulas já começaram há 2 semanas e foi fechado o 2ºTurno devido à falta de alunos.
O horário passa a ser:
2ªfeira das 16h00 - 17h30
5ªfeira das 13h00 - 14h30

author: prh@di.uminho.pt;
Last modified: quinta-feira, Fevereiro 28, 2008 at 07:25