Paradigmas da Programação I

Ano Lectivo: 07/08 (1º semestre)

Planeamento e Sumário das Aulas

Teórica sessão1 (2ªfeira, 16h00-17h30)	Teórica sessão2 (5ªfeira, 13h00-14h30)
2007/09/24	2007/09/27
2007/10/01	2007/10/04
2007/10/08	2007/10/11
2007/10/15	2007/10/18
2007/10/22	2007/10/25
2007/10/28	2007/11/01
2007/11/05	2007/11/08
2007/11/12	2007/11/15
2007/11/19	2007/11/22
2007/11/26	2007/11/29
2007/12/03	2007/12/06
2007/12/10	2007/12/13
2007/12/17	2007/12/20
2008/01/07	2008/01/11
2008/01/14	2008/01/17
2008/01/21	2008/01/24
2008/01/28	2008/02/01

Aula T 1

Tópicos:

Não houve aula devido às festividades de recepção ao caloiro.

Aula T 2

Tópicos:

Apresentação geral da disciplina:
- Objectivos e Funcionamento;
- Avaliação e Trabalhos práticos;
- Programa e Bibliografia
Introdução à Programação em Lógica e ao Prolog:
- Problemas e Programação
- Linguagens de Programação e paradigmas; imperativo versus declarativo; monolítico versus modular e orientado aos objectos.
- Introdução informal ao conceito de predicado, termo e cláusula; exemplos introdutórios.

Programas Exemplo:

Resumo:

Os alunos foram avisados sobre a obrigatoriedade de fazerem os 3 Exercícios Práticos que serão propostos ao longo do semestre e sobre a importância de lerem toda a informação básica sobre a Disciplina, através da Página WWW.
Quanto ao principal objectivo, foi clarificado que não se tratava de um curso para ensinar apenas a usar a linguagem de programação Prolog, mas que era essencialmente destinado a levar os alunos a compreender a importância da noção de paradigma de programação na resolução de um problema por computador, dando-se especial ênfase ao paradigma declarativo lógico (relacional).
Nesta aula os alunos já devem ter adquirido a sensibilidade para distinguir o paradigma imperativo do paradigma declarativo e devem ter-se apercebido da diferença entre executar no SO um programa compilado, ou interpretar num ambiente de programação um programa declarativo.
Além disso devem ter captado empiricamente a noção de Predicado, Cláusula, Facto e Regra, Variável Lógica e Unificação.

Aula T 3

Tópicos:

Não houve aula devido à minha participação na conferência SCAM em Paris.

Aula T 4

Tópicos:

Introdução à Programação em Lógica e ao Prolog:
- Noção de "Universo de Discurso" com suas "Entidades" ("seres", ou "classes de coisas" caracterizadas por propriedades) e respectivos "Relacionamentos"
- Definição do conceito de predicado, termo e cláusula (facto e regra); o que representam num Universo de Discurso e como se denotam em Prolog -- exemplos.

Programas Exemplo:

Sistema de Gestão Académica

Resumo:

Nesta aula os alunos devem ter continuado a reforçar, teórica e experimentalmente, os conceitos introduzidos na aula anterior ---Base de Factos e Base de Regras, Predicado, Termo, Átomo Lógico, Variável Lógica e Unificação. Deve ter ainda realçado a possibilidade interrogar a BC quando se descreve esse modelo em Prolog.

Aula T 5

Tópicos:

Introdução à Programação em Lógica e ao Prolog:
- Noção de "Universo de Discurso" com suas "Entidades" ("seres", ou "classes de coisas" caracterizadas por propriedades) e respectivos "Relacionamentos"
- Reforço do conceito de predicado, termo e cláusula (facto e regra) e do seu papel de representação num Universo de Discurso; sua denotação em Prolog.

Programas Exemplo:

Sonhos com a Ourivesaria...

Resumo:

Nesta aula os alunos devem ter continuado a reforçar, teórica e experimentalmente, os conceitos introduzidos nas aulas anteriores ---Base de Factos e Base de Regras, Predicado, Termo, Átomo Lógico, Variável Lógica e Unificação--- ficando clara a vantagem que advém de se poder interrogar a BC quando se descreve esse modelo em Prolog.

Aula T 6

Tópicos:

Introdução à Programação em Lógica e ao Prolog:
- Reforço de todos os conceitos introduzidos nas aulas anteriores, com ênfase em predicado, termo e cláusula (facto e regra) e do seu papel de representação num Universo de Discurso; sua denotação em Prolog.

Programas Exemplo:

sobre a Mercearia de Dume...

Resumo:

Aula T 7

Tópicos:

Não houve aula devido à minha participação (com apresentação de comunicações) na conferência IMCSIT/WAPL na Polónia.

Aula T 8

Tópicos:

Não houve aula devido à minha participação (com apresentação de comunicações) na conferência IMCSIT/WAPL na Polónia.

Aula T 9

Tópicos:

Introdução à Programação em Lógica e ao Prolog:
- Noção de "Universo de Discurso" com suas "Entidades" ("seres", ou "classes de coisas" caracterizadas por propriedades) e respectivos "Relacionamentos" -- modelação de Sistemas de Informação em Prolog.
- Reforço do conceito de predicado como forma de representar propriedades de Entidades ou relações entre Entidades.
- Formas essenciais de representar o conhecimento relativo às propriedades de um Ser: atributo(Objecto,Valor) ou objecto(Atrb1(Val1),...,Atrn(Valn))
- Introdução à utilização de Recursividade no corpo das Regras para percorrer todo o espaço de procura.

Resumo:

Nesta aula os alunos devem ter continuado a reforçar, teórica e experimentalmente, os conceitos introduzidos nas aulas anteriores ---Base de Factos e Base de Regras, Predicado, Termo, Átomo Lógico, Variável Lógica e Unificação--- em particular no que se refere à descrição de um Sistema de Informação.

Aula T 10

Tópicos:

Listas Ligadas:
- Introdução/revisão dos Conceitos de Lista s suas implementações, Ordenada fisicamente e Ligada.
- Introdução/revisão do Conceito de Apontador, como referência para uma célula.
O Tipo Pointer nas linguagens imperativas (como o C):
- Endereço de uma variável ("&") e Variável referenciada pelo pointer ("*")
- Caso particular dos Pointers versus Arrays
- A Heap e a sua gestão dinâmica através da função de alocação de pointers, malloc()
- O seu suporte à implementação de Strings

Resumo:

Nesta aula os alunos devem ter continuado clarificado a noção de lista (conjunto ordenado) e ficado a perceber a sua implementação em que a ordem lógica é a ordem física e em que a ordem lógica é dada por apontadores/referências independentes da ordem física.
Introduzida a noção abstracta de Apontador, falou-se na sua alocação dinâmica na Heap.
Por fim, discutiu-se a implementação de Strings como arrays de caracteres de tamanho fixo e como blocos de tamanho variável alocados dinamicamente.

Aula T 11

Tópicos:

Listas Ligadas:
- Reforço do Conceito de Apontador, como referência para uma célula e sua implementação estática (array ou ficheiro) ou dinâmica (heap).
O Tipo Pointer nas linguagens imperativas (como o C) e sua utilização na implementação de listas ligadas:
- Definição do tipo estruturado recursivo que implementa cada célula da lista.
- Algoritmos sobre Listas Ligadas:
  - Travessia completa para impressão global (versão iterativa)
  - Procura de um Elemento na Lista (versão iterativa e recursiva)
  - Inserção de um Elemento à Cabeça da Lista
  - Inserção de um Elemento na Cauda (fim) da Lista (versão recursiva)

Resumo:

Nesta aula os alunos devem ter continuado a clarificado a noção de lista (conjunto ordenado) e ficado a perceber a sua implementação ligada (em que a ordem lógica é dada por apontadores/referências independentes da ordem física).
Além disso devem ter aprendido a definir o tipo recursivo usado para implementar cada célula da lista e ficado a saber escrever os algoritmos básicos sobre listas.

Aula T 12

Tópicos:

Não houve aula: Feriado Nacional.

Aula T 13

Tópicos:

O Tipo Pointer nas linguagens imperativas (como o C) e sua utilização na implementação de Listas Ligadas:
- Definição do tipo estruturado recursivo que implementa cada célula da lista -- revisão.
- Algoritmos sobre Listas Ligadas:
  - Inserção de um Elemento na Cauda (fim) da Lista (quando se mantém dois apontadores para a lista, um para a cabeça e outro para a cauda)
  - Inserção Ordenada de um Elemento na Lista (versão recursiva)
- Inserção ordenada de um Elemento numa Lista em Prolog (comparação das duas soluções).

Resumo:

Nesta aula os alunos devem ter reforçado a noção de lista (conjunto ordenado) e ficado a perceber a sua implementação ligada (em que a ordem lógica é dada por apontadores/referências independentes da ordem física).
Além disso devem ter aprendido a definir o tipo recursivo usado para implementar cada célula da lista e ficado a saber escrever os algoritmos básicos sobre listas, tanto na linguagem imperativa/procedimental C como na linguagem declarativa/lógica Prolog.

Aula T 14

Tópicos:

1ª Prova de Avaliação -- criação/manipulação de Bases de Conhecimento e Modelação de SIs.

Aula T 15

Tópicos:

Programação em Lógica e Prolog -- resolução do 1º Teste de Avaliação:
- IIªParte -- modelação de Sistemas de Informação em Prolog.
- Recurso ao conceito de predicado como forma de representar propriedades as Entidades/Classes e as relações entre Entidades/Classes presentes num SI.
- Representação Sistemática das classes, classe(Atrb1(Val1),...,Atrn(Valn)), e das Relações entre elas, relacao(IdClasse1(,...,IdClasseN)
- Modelação de Conhecimento através de regras gerais e casos particulares (factos).

Aula T 16

Tópicos:

Programação em Lógica e Prolog -- resolução do 1º Teste de Avaliação:
- IªParte -- manipulação de uma Base de Factos/Regras em Prolog.
- Criação de uma BC através da inserção de factos e sua manipulação através de interrogação directa e da criação de regras de inferência.

Aula T 17

Tópicos:

Programação em Lógica e Prolog -- resolução do 1º Teste de Avaliação:
- IªParte -- manipulação de uma Base de Factos/Regras em Prolog.
- Criação de uma BC através da inserção de factos e sua manipulação através de interrogação directa e da criação de regras de inferência.
Predicados não lógicos em Prolog: cálculo de expressões aritméticas, operador is
Predicados não lógicos em Prolog: escrita e abertura/fecho de ficheiros, write e tell/told

Aula T 18

Tópicos:

Programação em Lógica e Prolog:
- Predicados não lógicos em Prolog: controlo, operadores fail e cut (!)
- Predicados não lógicos em Prolog: manipulação da BC, operadores assert e retract

Aula T 19

Tópicos:

Programação em Lógica e Prolog:
- Predicados não lógicos em Prolog: controlo, operadores fail e cut (!)
- Predicados não lógicos em Prolog: manipulação da BC, operadores assert e retract
- Sistematização da noção de Termo em Prolog (constante/variável, atómico/estruturado)
- Functores (revisão)
- Introdução às Listas em Prolog: definição recursiva (revisão); sintaxe; exemplos de manipulação (comprimento e somatório de uma lista).

Aula T 20

Tópicos:

Programação em Lógica e Prolog:
- Listas em Prolog: manipulação -- pesquisa de um elemento numa lista (simples, de pares, etc).
- Estudo da Recursividade e sua implementação (exemplos).

Aula T 21

Tópicos:

Não houve aula devido à minha participação no Simpósio Doutoral SDIA integrado na conferência EPIA em Guimarães.

Aula T 22

Tópicos:

Programação em Lógica e Prolog:
- Listas em Prolog: manipulação -- Remoção de um elemento; Inserção à cabeça (push); Inserção na Cauda (enqueue); Inserção Ordenada.
- Operações sobre Stacks e Queues.

Aula T 23

Tópicos:

Programação em Lógica e Prolog:
- Listas em Prolog: manipulação -- Inserção Ordenada, variantes.
- Resolução de exercícios de exames anteriores (somatorio/produtorio, iterador, merge, etc).

Aula T 24

Tópicos:

2ª Prova de Avaliação -- criação/manipulação de Listas em Prolog

Aula T 25

Tópicos:

Programação em Lógica e Prolog:
- Listas em Prolog: Resolução dos exercícios propostos na 2ª Prova de Avaliação.

Aula T 26

Tópicos:

Programação em Lógica e Prolog:
- Esclarecimento de várias dúvidas colocadas pelos alunos relativas à implementação de jogos em Prolog.

Aula T 27

Tópicos:

Programação em Lógica e Prolog:
- Máquinas de Transição de Estados e sua modelação e simulação em Prolog através de Autómatos Deterministas.

Aula T 28

Tópicos:

Programação em Lógica e Prolog:
- Máquinas de Transição de Estados e sua modelação e simulação em Prolog através de Autómatos Deterministas Reactivos.

Aula T 29

Tópicos:

Programação em Lógica e Prolog:
- Máquinas de Transição de Estados e sua modelação e simulação em Prolog através de Autómatos Deterministas.

Aula T 30

Tópicos:

3ª Prova de Avaliação -- Autómatos Deterministas Reactivos em Prolog.

Aula T 31

Tópicos:

Avaliação dos Trabalhos Práticos.

Aula T 32

Tópicos:

Avaliação dos Trabalhos Práticos.

Aula T 33

Tópicos:

Avaliação dos Trabalhos Práticos.

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