Saltar para:
Logótipo
Você está em: Início > Cursos/CE > M:CC > Informação para Candidatos
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Cursos

Mestrado em Ciência de Computadores

Dados Gerais

Código Oficial: 6026
Sigla: M:CC
Descrição:

O Mestrado em Ciência de Computadores visa a formação avançada e de qualidade de profissionais e investigadores em diferentes especialidades da área científica de Ciência de Computadores.

Diplomas

  • Mestrado em Ciência de Computadores - Sistemas Paralelos e Distribuídos (120 Créditos ECTS)
  • Mestrado em Ciência de Computadores (120 Créditos ECTS)
  • Mestrado em Ciência de Computadores - Computação Confiável (120 Créditos ECTS)
  • Mestrado em Ciência de Computadores - Data Mining e Processamento de Dados (120 Créditos ECTS)
  • Curso de Mestrado em Ciência de Computadores - Computação Confiável (72 Créditos ECTS)
  • Curso de Mestrado em Ciência de Computadores (72 Créditos ECTS)
  • Curso de Mestrado em Ciência de Computadores - Data Mining e Processamento de Dados (72 Créditos ECTS)
  • Curso de Mestrado em Ciência de Computadores - Sistemas Paralelos e Distribuídos (72 Créditos ECTS)

Unidades Curriculares

Dissertação

CC5002 - ECTS Esta componente do último ano do ciclo de estudos tem como objetivo aferir a capacidade de trabalho e autonomia dos estudantes no estudo de um problema de investigação que lhes é proposto.

Gestão e Empreendedorismo

GES4001 - ECTS

Pretende-se, nesta disciplina, que os alunos: 

  • Disponham de uma visão global sobre a gestão das organizações e que, em particular, compreendam as principais opções estratégicas que se colocam às empresas; 
  • Apreendam noções básicas sobre análise económico-financeira de empresas que lhes permitam analisar os principais documentos contabilísticos de síntese; 
  • Adquiram competências básicas em matéria de empreendedorismo, que lhes permitam, a partir de uma ideia, construir um projecto empresaria ou negócio.

Sociologia e Ética da Informática

DPI4001 - ECTS

A informática desempenha hoje um papel fundamental na sociedade,  sendo por isso importante perceber e reflectir as questões sociais  e éticas que a sua utilização suscita.

São objetivos do curso:

  • fomentar a reflexão crítica sobre as questões sociais e éticas levantadas pelo utilização de computadores e da Internet;
  • alertar para códigos de conduta, normas sobre privacidade de informação, e legislação pertinente com impacto na atividade profissional futura;
  • contribuir para melhorar as capacidades de comunicação oral e escrita.

Algoritmos


CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.


Computação Paralela


CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.


Criptografia


CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.


Data Mining I


CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data mining, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados tais como a linguagem R e o pacote WEKA.


Estatística Aplicada em Ciências e Engenharia


M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 


Fundamentos de Linguagens de Programação


CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 


Gestão de Projetos Informáticos


CC4005 - ECTS

Sensibilizar e partilhar com os alunos as capacidades e competências necessárias, em termos de conhecimentos, aptidões, ferramentas e técnicas, que permitam ultrapassar e resolver de forma eficaz os inúmeros problemas que surgem na gestão e desenvolvimento de projectos informáticos em equipa numa organização real.


Processamento de Documentos Estruturados


CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados e ao seu processamento, sendo abordados o XML e JSON como formalismos de estruturação de documentos, com enfase no primeiro.


Processos Estocásticos e Aplicações


M4064 - ECTS

Disciplina introdutória aos processos estocásticos. Pretende-se apresentar um conjunto de ferramentas para a descrição e análise de processos estocásticos em áreas diversificadas, como processamento de sinal, teoria da informação, ambiente, economia e finanças, biologia e medicina. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua aplicação em áreas interdisciplinares utilizando dados simulados ou reais.


Redes de Comunicações Móveis


CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.


Sistemas de Informação Geográfica Aplicados às Ciências Naturais


EG4005 - ECTS

Sistemas Distribuídos


CC4003 - ECTS

Teoria da Informação


CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.


Tópicos Avançados em Bases de Dados


CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.


Tópicos Avançados em Redes


CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.


Visão Computacional


CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

Bioinformática


CC4021 - ECTS

A Bioinformática é um campo do conhecimento interdisciplinar que combina as ciências da computação, a biologia e ciências biomédicas e a estatística. A Bioinformática é orientada à aplicação e desenvolvimento de novos métodos computacionais para expandir o conhecimento biológico, biomédico ou epidemiológico. Os recentes desenvolvimentos nas tecnologias de alto-débito levaram a uma grande revolução na investigação biológica e biomédica e onde hoje a bioinformática assume um papel cada vez mais central na análise de grandes quantidades de dados.

Este curso vai-se focar nos principais algoritmos desenvolvido para responder a tarefas bioinformáticas. Será dado ênfase em algoritmos de processamento e análise de sequências, quer sejam sequências nucleotídicas (exemplo DNA ou RNA) ou sequências de aminoácidos (proteínas).

O objetivo deste curso é de que os estudantes sejam capazes de entender como funcionam estes algoritmos e como podem ser desenvolvidos e aplicados para responder a novos desafios computacionais na análise de sequências biológicas.


Complexidade Computacional


CC4011 - ECTS

Nesta unidade curricular pretende-se expôr aos alunos técnicas que provem ou sugiram que não existem métodos eficientes para resolver alguns problemas importantes em Ciência de Computadores com impacto na vida real (nomeadamente a factorização). Neste sentido é feito um estudo teórico de várias classes de complexidade, das relações entre elas, tais como: P, NP, co-NP, PSPACE, NL, PH, RP, BPP,  e IP. Ênfase especial será dada ao papel da aleatoridade no desempenho de vários algoritmos.


Computação Gráfica


CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.


Data Mining II


CC4024 - ECTS
Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

Implementação de Linguagens


CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas avançadas de implementação de linguagens de programação.


Métodos Estatísticos em Data Mining


M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.


Sistemas Embutidos


CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.


Tópicos Avançados em Algoritmos


CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

Tópicos Avançados em Inteligência Artificial


CC4022 - ECTS
Proporcionar aos alunos:
 - conhecimentos sobre os novos desenvolvientos em IA que envolvem avanćos em áreas tão díspares como lógica, estatística e investigaćão operacional. Em fase será colocado em:
  - sistemas probabilisticos
 - representacão lógica
  - deep networks.,

Tópicos Avançados em Lógica


CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

Verificação Formal de Software


CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

Algoritmos


CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.


Computação Paralela


CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.


Criptografia


CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.


Data Mining I


CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data mining, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados tais como a linguagem R e o pacote WEKA.


Estatística Aplicada em Ciências e Engenharia


M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 


Fundamentos de Linguagens de Programação


CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 


Gestão de Projetos Informáticos


CC4005 - ECTS

Sensibilizar e partilhar com os alunos as capacidades e competências necessárias, em termos de conhecimentos, aptidões, ferramentas e técnicas, que permitam ultrapassar e resolver de forma eficaz os inúmeros problemas que surgem na gestão e desenvolvimento de projectos informáticos em equipa numa organização real.


Processamento de Documentos Estruturados


CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados e ao seu processamento, sendo abordados o XML e JSON como formalismos de estruturação de documentos, com enfase no primeiro.


Processos Estocásticos e Aplicações


M4064 - ECTS

Disciplina introdutória aos processos estocásticos. Pretende-se apresentar um conjunto de ferramentas para a descrição e análise de processos estocásticos em áreas diversificadas, como processamento de sinal, teoria da informação, ambiente, economia e finanças, biologia e medicina. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua aplicação em áreas interdisciplinares utilizando dados simulados ou reais.


Redes de Comunicações Móveis


CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.


Sistemas de Informação Geográfica Aplicados às Ciências Naturais


EG4005 - ECTS

Sistemas Distribuídos


CC4003 - ECTS

Teoria da Informação


CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.


Tópicos Avançados em Bases de Dados


CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.


Tópicos Avançados em Redes


CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.


Visão Computacional


CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

Bioinformática


CC4021 - ECTS

A Bioinformática é um campo do conhecimento interdisciplinar que combina as ciências da computação, a biologia e ciências biomédicas e a estatística. A Bioinformática é orientada à aplicação e desenvolvimento de novos métodos computacionais para expandir o conhecimento biológico, biomédico ou epidemiológico. Os recentes desenvolvimentos nas tecnologias de alto-débito levaram a uma grande revolução na investigação biológica e biomédica e onde hoje a bioinformática assume um papel cada vez mais central na análise de grandes quantidades de dados.

Este curso vai-se focar nos principais algoritmos desenvolvido para responder a tarefas bioinformáticas. Será dado ênfase em algoritmos de processamento e análise de sequências, quer sejam sequências nucleotídicas (exemplo DNA ou RNA) ou sequências de aminoácidos (proteínas).

O objetivo deste curso é de que os estudantes sejam capazes de entender como funcionam estes algoritmos e como podem ser desenvolvidos e aplicados para responder a novos desafios computacionais na análise de sequências biológicas.


Complexidade Computacional


CC4011 - ECTS

Nesta unidade curricular pretende-se expôr aos alunos técnicas que provem ou sugiram que não existem métodos eficientes para resolver alguns problemas importantes em Ciência de Computadores com impacto na vida real (nomeadamente a factorização). Neste sentido é feito um estudo teórico de várias classes de complexidade, das relações entre elas, tais como: P, NP, co-NP, PSPACE, NL, PH, RP, BPP,  e IP. Ênfase especial será dada ao papel da aleatoridade no desempenho de vários algoritmos.


Computação Gráfica


CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.


Data Mining II


CC4024 - ECTS
Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

Implementação de Linguagens


CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas avançadas de implementação de linguagens de programação.


Métodos Estatísticos em Data Mining


M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.


Sistemas Embutidos


CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.


Tópicos Avançados em Algoritmos


CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

Tópicos Avançados em Inteligência Artificial


CC4022 - ECTS
Proporcionar aos alunos:
 - conhecimentos sobre os novos desenvolvientos em IA que envolvem avanćos em áreas tão díspares como lógica, estatística e investigaćão operacional. Em fase será colocado em:
  - sistemas probabilisticos
 - representacão lógica
  - deep networks.,

Tópicos Avançados em Lógica


CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

Verificação Formal de Software


CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

Algoritmos


CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.


Computação Paralela


CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.


Criptografia


CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.


Data Mining I


CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data mining, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados tais como a linguagem R e o pacote WEKA.


Estatística Aplicada em Ciências e Engenharia


M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 


Fundamentos de Linguagens de Programação


CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 


Gestão de Projetos Informáticos


CC4005 - ECTS

Sensibilizar e partilhar com os alunos as capacidades e competências necessárias, em termos de conhecimentos, aptidões, ferramentas e técnicas, que permitam ultrapassar e resolver de forma eficaz os inúmeros problemas que surgem na gestão e desenvolvimento de projectos informáticos em equipa numa organização real.


Processamento de Documentos Estruturados


CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados e ao seu processamento, sendo abordados o XML e JSON como formalismos de estruturação de documentos, com enfase no primeiro.


Processos Estocásticos e Aplicações


M4064 - ECTS

Disciplina introdutória aos processos estocásticos. Pretende-se apresentar um conjunto de ferramentas para a descrição e análise de processos estocásticos em áreas diversificadas, como processamento de sinal, teoria da informação, ambiente, economia e finanças, biologia e medicina. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua aplicação em áreas interdisciplinares utilizando dados simulados ou reais.


Redes de Comunicações Móveis


CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.


Sistemas de Informação Geográfica Aplicados às Ciências Naturais


EG4005 - ECTS

Sistemas Distribuídos


CC4003 - ECTS

Teoria da Informação


CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.


Tópicos Avançados em Bases de Dados


CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.


Tópicos Avançados em Redes


CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.


Visão Computacional


CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

Bioinformática


CC4021 - ECTS

A Bioinformática é um campo do conhecimento interdisciplinar que combina as ciências da computação, a biologia e ciências biomédicas e a estatística. A Bioinformática é orientada à aplicação e desenvolvimento de novos métodos computacionais para expandir o conhecimento biológico, biomédico ou epidemiológico. Os recentes desenvolvimentos nas tecnologias de alto-débito levaram a uma grande revolução na investigação biológica e biomédica e onde hoje a bioinformática assume um papel cada vez mais central na análise de grandes quantidades de dados.

Este curso vai-se focar nos principais algoritmos desenvolvido para responder a tarefas bioinformáticas. Será dado ênfase em algoritmos de processamento e análise de sequências, quer sejam sequências nucleotídicas (exemplo DNA ou RNA) ou sequências de aminoácidos (proteínas).

O objetivo deste curso é de que os estudantes sejam capazes de entender como funcionam estes algoritmos e como podem ser desenvolvidos e aplicados para responder a novos desafios computacionais na análise de sequências biológicas.


Complexidade Computacional


CC4011 - ECTS

Nesta unidade curricular pretende-se expôr aos alunos técnicas que provem ou sugiram que não existem métodos eficientes para resolver alguns problemas importantes em Ciência de Computadores com impacto na vida real (nomeadamente a factorização). Neste sentido é feito um estudo teórico de várias classes de complexidade, das relações entre elas, tais como: P, NP, co-NP, PSPACE, NL, PH, RP, BPP,  e IP. Ênfase especial será dada ao papel da aleatoridade no desempenho de vários algoritmos.


Computação Gráfica


CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.


Data Mining II


CC4024 - ECTS
Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

Implementação de Linguagens


CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas avançadas de implementação de linguagens de programação.


Métodos Estatísticos em Data Mining


M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.


Sistemas Embutidos


CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.


Tópicos Avançados em Algoritmos


CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

Tópicos Avançados em Inteligência Artificial


CC4022 - ECTS
Proporcionar aos alunos:
 - conhecimentos sobre os novos desenvolvientos em IA que envolvem avanćos em áreas tão díspares como lógica, estatística e investigaćão operacional. Em fase será colocado em:
  - sistemas probabilisticos
 - representacão lógica
  - deep networks.,

Tópicos Avançados em Lógica


CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

Verificação Formal de Software


CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

Algoritmos


CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.


Computação Paralela


CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.


Criptografia


CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.


Data Mining I


CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data mining, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados tais como a linguagem R e o pacote WEKA.


Estatística Aplicada em Ciências e Engenharia


M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 


Fundamentos de Linguagens de Programação


CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 


Gestão de Projetos Informáticos


CC4005 - ECTS

Sensibilizar e partilhar com os alunos as capacidades e competências necessárias, em termos de conhecimentos, aptidões, ferramentas e técnicas, que permitam ultrapassar e resolver de forma eficaz os inúmeros problemas que surgem na gestão e desenvolvimento de projectos informáticos em equipa numa organização real.


Processamento de Documentos Estruturados


CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados e ao seu processamento, sendo abordados o XML e JSON como formalismos de estruturação de documentos, com enfase no primeiro.


Processos Estocásticos e Aplicações


M4064 - ECTS

Disciplina introdutória aos processos estocásticos. Pretende-se apresentar um conjunto de ferramentas para a descrição e análise de processos estocásticos em áreas diversificadas, como processamento de sinal, teoria da informação, ambiente, economia e finanças, biologia e medicina. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua aplicação em áreas interdisciplinares utilizando dados simulados ou reais.


Redes de Comunicações Móveis


CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.


Sistemas de Informação Geográfica Aplicados às Ciências Naturais


EG4005 - ECTS

Sistemas Distribuídos


CC4003 - ECTS

Teoria da Informação


CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.


Tópicos Avançados em Bases de Dados


CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.


Tópicos Avançados em Redes


CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.


Visão Computacional


CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

Bioinformática


CC4021 - ECTS

A Bioinformática é um campo do conhecimento interdisciplinar que combina as ciências da computação, a biologia e ciências biomédicas e a estatística. A Bioinformática é orientada à aplicação e desenvolvimento de novos métodos computacionais para expandir o conhecimento biológico, biomédico ou epidemiológico. Os recentes desenvolvimentos nas tecnologias de alto-débito levaram a uma grande revolução na investigação biológica e biomédica e onde hoje a bioinformática assume um papel cada vez mais central na análise de grandes quantidades de dados.

Este curso vai-se focar nos principais algoritmos desenvolvido para responder a tarefas bioinformáticas. Será dado ênfase em algoritmos de processamento e análise de sequências, quer sejam sequências nucleotídicas (exemplo DNA ou RNA) ou sequências de aminoácidos (proteínas).

O objetivo deste curso é de que os estudantes sejam capazes de entender como funcionam estes algoritmos e como podem ser desenvolvidos e aplicados para responder a novos desafios computacionais na análise de sequências biológicas.


Complexidade Computacional


CC4011 - ECTS

Nesta unidade curricular pretende-se expôr aos alunos técnicas que provem ou sugiram que não existem métodos eficientes para resolver alguns problemas importantes em Ciência de Computadores com impacto na vida real (nomeadamente a factorização). Neste sentido é feito um estudo teórico de várias classes de complexidade, das relações entre elas, tais como: P, NP, co-NP, PSPACE, NL, PH, RP, BPP,  e IP. Ênfase especial será dada ao papel da aleatoridade no desempenho de vários algoritmos.


Computação Gráfica


CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.


Data Mining II


CC4024 - ECTS
Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

Implementação de Linguagens


CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas avançadas de implementação de linguagens de programação.


Métodos Estatísticos em Data Mining


M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.


Sistemas Embutidos


CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.


Tópicos Avançados em Algoritmos


CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

Tópicos Avançados em Inteligência Artificial


CC4022 - ECTS
Proporcionar aos alunos:
 - conhecimentos sobre os novos desenvolvientos em IA que envolvem avanćos em áreas tão díspares como lógica, estatística e investigaćão operacional. Em fase será colocado em:
  - sistemas probabilisticos
 - representacão lógica
  - deep networks.,

Tópicos Avançados em Lógica


CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

Verificação Formal de Software


CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2025-06-15 às 00:58:35 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias