Sumários

Programação funcional

11 novembro 2010, 11:30 • João Rasga

Exercícios sobre programação funcional: somaNat, quadrados, quadradosInv, inverteLista, indicesPar, triangulo, conta e pertenceQ.

Programação em larga escala

11 novembro 2010, 10:00 • João Rasga

Programação em larga escala: conclusão do exemplo sobre torres de Hanoi. Filas e árvores binárias: especificação equacional dos tipo de dados e implementação em pacote.

Programação funcional

11 novembro 2010, 08:30 • João Rasga

Exercícios sobre programação funcional: somaNat, quadrados, quadradosInv, inverteLista, indicesPar, triangulo, conta e pertenceQ.

Programação funcional

9 novembro 2010, 11:30 • João Rasga

Exercícios sobre programação funcional: somaNat, quadrados, quadradosInv, inverteLista, indicesPar, triangulo e conta.

Ficha sobre ciclos encaixados. Programação em larga escala

9 novembro 2010, 10:00 • João Rasga

Ficha sobre programação imperativa recorrendo a 2 ciclos While encaixados. Programação em larga escala: introdução. Método de programação por camadas centradas nos dados. Torres de Hanoi. Especificação equacional do tipo pilhas. Equações como regras de reescrita em Mathematica. Sistemas de reescrita. Pacotes. Raciocínio sobre tipos de dados. Implementação das pilhas sobre listas. Pacote que disponibiliza o tipo pilha.