Programa

Licenciatura em Engenharia Informática

Programa

Aprendizagem do conceito e aquisição das capacidades de Programação Declarativa (Lógica e/ou Funcional) Aquisição da capacidade de desenvolver mecanismos de controlo em programas escritos em linguagens declarativas e/ou funcionais Aprendizagem, ao nível conceptual, das arquitecturas, abordagens e algoritmos típicos de Inteligência Artificial, tais como os métodos de procura para resolução de problemas, os Sistemas Baseados em Conhecimento, e os métodos de representação de conhecimento e de raciocínio baseados na lógica de predicados de primeira ordem Aquisição de capacidades de programação de arquitecturas e algoritmos típicos de Inteligência Artificial