Programa

Elementos de Programação

Licenciatura Bolonha em Engenharia e Gestão Industrial

Programa

Breve introdução à utilização do sistema MATHEMATICA como ferramenta de cálculo numérico e simbólico e de visualização gráfica. Introdução à programação na linguagem MATHEMATICA. Definição de funções. Listas e matrizes. Programação recursiva. Programação imperativa. Programação funcional. Exercícios complementares: ordenação de vector, controlo da precisão de cálculos numéricos. Sistemas de reescrita. Moldes. Raciocínio sobre tipos de dados. Exemplo complementar: reacções químicas. Programação em grande escala: método de programação modular, por camadas e centrado nos dados. Primeiro exemplo: torres de Hanoi sobre pilhas. Pacotes MATHEMATICA. Aplicações: simulação estocástica, passeio aleatório, propagação de fogos, redes neuronais, programação genética, vida artificial e demonstração automática. Cálculo de Hoare para verificação da correcção parcial e total de pequenos programas imperativos.