Perfil de formação

O perfil de formação em Ciências da Computação é marcadamente científico. Esta formação organiza-se em torno do fenómeno da computação e dos formalismos que o fundamentam, lançando assim as bases para uma abordagem rigorosa, produtiva e mesmo original, à resolução de problemas computacionais. Por um lado, são estudadas teorias matemáticas usadas na modelação de diversos aspectos computacionais, incluindo os próprios modelos abstractos de computação. Nesta linha destacam-se estudos em Álgebra, Lógica e Matemática Discreta. Por outro lado, são ensinados os formalismos, em geral de apreciável nível de abstracção, que estão na base de abordagens e tarefas diversas relacionadas com a actividade de programação. Aqui incluem-se paradigmas e métodos de programação, bem como o estudo sob múltiplos pontos de vista do conceito fundamental de algoritmo.

Durante o curso os estudantes são ainda munidos de um conjunto base de tecnologias da computação (arquitectura de computadores, sistemas operativos, comunicações por computador, bases de dados), de técnicas matemáticas de cariz mais aplicacional (nas áreas da análise numérica, probabilidades e teoria de números), e de competências transversais (desenvolvidas essencialmente através da realização de projectos individuais e em grupo, com diversos graus de complexidade). Estas tecnologias, técnicas e competências transversais, irão dotar os licenciados em CC de competências para uma razoável inserção imediata na vida activa, em especial na execução de tarefas concretas em projectos de desenvolvimento de produtos e serviços de computação.