Apresentação

A Licenciatura em Ciências da Computação (LCC) é uma formação universitária de 1º ciclo com 3 anos de duração, a funcionar desde 2006/07. Caracteriza-se por nela se ensinar uma visão rigorosa da computação, com uma sólida fundamentação matemática, que é reconhecida nacional e internacionalmente.

A estrutura do curso contempla uma ampla formação de base científica, habilitando os seus licenciados a uma vida profissional plena com as competências indispensáveis ao desenvolvimento harmonioso de aplicações informáticas robustas e de qualidade, e sua integração em plataformas tecnológicas adequadas.

A LCC resultou da adequação ao modelo de Bolonha da Licenciatura de 4 anos e meio em Matemática e Ciências de Computação, que funcionou durante 20 anos (1986-2006).

Informação institucional

Diretor de Curso

Associação de estudantes

Plano de Estudos

(O plano de estudos abaixo é ordenável e pesquisável e contém hiperligações para as páginas das disciplinas lecionadas pelo DIUM.)

UCÁrea CientíficaSemestreECTS
Álgebra Linear CCMS17,5
CálculoMS15
Laboratórios de Programação ITCompS15
Programação FuncionalIS15
Tópicos Fundamentais de MatemáticaMS17,5
Análise MatemáticaMS25
Laboratórios de Programação IITCompS25
Matemática DiscretaMS25
Opção UMinhoS25
Programação ImperativaIS25
Sistemas de ComputaçãoIS25
ÁlgebraMS37,5
Algoritmos e ComplexidadeIS35
Análise NuméricaMS37,5
Lógica CCMS35
Sistemas de Comunicações e RedesTCompS35
Autómatos e Linguagens FormaisCCompS45
Bases de DadosIS45
Probabilidades AplicadaMS47,5
Programação Orientada aos ObjetosIS45
Sistemas OperativosIS45
Teoria das Categorias CCMS45
Aprendizagem Estatística CCMS55
Cálculo de ProgramasIS55
Computabilidade e ComplexidadeCCompS57,5
Lógica ComputacionalCCompS55
Processamento de Linguagens e CompiladoresTCompS55
Teoria de Números ComputacionalMS55
Aprendizagem ComputacionalTCompS65
Fundamentos de Criptografia e Segurança da Informação CCCCompS65
Opção : Computação GráficaIS65
Opção : GeometriaMS65
OtimizaçãoMS6
Programação ConcorrenteCCompS65
Semântica das Linguagens de ProgramaçãoCCompS65