M1002 - ECTS

Ao completar esta unidade curricular, o estudante deve saber e compreender: a resolução e discussão de sistemas de equações lineares usando o método de Gauss e recorrendo à notação matricial dos sistemas;  propriedades no cálculo do determinante de uma matriz quadrada, e conhecendo em particular a sua interpretação em termos de áreas e volumes; os conceitos básicos e resultados fundamentais relativos a espaços vetoriais e a aplicações lineares entre espaços vetoriais de dimensão finita.

M1001 - ECTS

Familiarizar-se com os conceitos básicos e técnicas do cálculo, a nível de funções reais de uma variável real, bem como sucessões e séries.

CC1001 - ECTS

Estudo das estruturas discretas fundamentais que estão na base formal da área de Ciência de Computadores/Informática.

CC1002 - ECTS

Os estudantes deverão entender a estrutura e funcionamento dos computadores digitais e sistemas de operacão e ter uma visão geral sobre a Ciência de Computadores. 

CC1003 - ECTS

Introduzir os conceitos elementares de programação imperativa enfatizando a noção de algoritmo e de modularidade.

Pretende-se que os estudantes:

- sejam capazes de conceber algoritmos para resolução de problemas simples e de os implementar na linguagem de programação C

- fiquem a conhecer alguns algoritmos básicos (contagem, pesquisa, ordenação, ...)

- adquiram bons hábitos de programação.

M1003 - ECTS Aquisição dos conhecimentos e competências básicos do Cálculo Diferencial e Integral em várias variáveis reais.

DPI1001 - ECTS Ser capaz de comunicar ciência e tecnologia de forma escrita, oral e com suporte multimédia. Em particular:
Estruturar e criar textos técnicos. Avaliar textos técnicos na perspetiva da completude do seu enquadramento, das motivação e conclusões apresentadas. Criação de apresentações multimédia sobre temas técnicos. Apresentação oral de temas técnicos com suporte multimédia.

CC1007 - ECTS Pretende-se que o estudante reforce competências de programação, fique a conhecer algumas das principais estruturas de dados e algoritmos associados, e ganhe competências básicas na concepção e análise de algoritmos.

CC1006 - ECTS

CC1004 - ECTS

Ensinar conceitos e resultados fundamentais sobre três modelos de computação básicos (autómatos finitos, autómatos de pilha e máquinas de Turing) e sobre as classes de linguagens formais associadas, com foco nas linguagens regulares e independentes de contexto.

CC1005 - ECTS

Introdução ao paradigma de programação funcional usando a linguagem Haskell.

M1019 - ECTS

Análise Vetorial em domínios curvos. Integrais de linha e de superfície. Teoremas integrais da Análise Vectorial. 
O teorema da função inversa e o teorema da função implícita e as suas principais aplicações.
Introdução aos métodos de resolução de equações diferenciais ordinárias com incidência especial nas equações e sistemas de equações diferenciais lineares.

M3002 - ECTS

Fundamentos da Análise e Processamento de Sinal, do ponto de vista determinístico e estocástico, incidindo sobretudo na análise no domínio da frequência. Cobertura dos aspetos fundamentais da estimação espectral não paramétrica. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua utilização efectiva na análise de dados simulados e de dados experimentais. É feita uma utilização intensiva de meios computacionais avançados.

CC2002 - ECTS

Fornecer aos estudantes os conceitos fundamentais da organização e funcionamento de um computador, nomeadamente, o seu modelo de representação de dados e programas, as suas componentes e interacções, e a forma de avaliar o seu desempenho.

CC2001 - ECTS

Aprendizagem de técnicas de concepção e análise de algoritmos eficientes.

CC3006 - ECTS

A unidade curricular tem por objectivo introduzir aos alunos os conceitos base de criação e desenvolvimento de Interfaces Pessoa-Máquina, nomeadamente, sistemas interactivos. A abordagem é tanto a nível de conceitos teóricos (usabilidade, desenho centrado no utilizador), como práticos (prototipagem de baixa e de alta fidelidade, através da implementação de interfaces gráficas).

CC2003 - ECTS

Pretende-se que o aluno aprenda as noções básicas do raciocínio lógico e seja capaz de utilizar correctamente os sistemas dedutivos; compreenda as relações entre as semânticas e os sistemas dedutivos e a sua caracterização do ponto de vista da decidibilidade; reconheça o papel dos sistemas formais nas várias áreas da Ciência de Computadores.

F1006 - ECTS

Esta unidade curricular  visa apresentar os conceitos e princípios básicos da mecânica clássica, e da relatividade restrita, com ênfase na compreensão de conceitos e na aplicação ao mundo real. Os alunos deverão ter a capacidade de manipular conceitos fundamentais e saber aplicá-los à resolução de problemas. Os estudantes serão motivados a considerar a aplicação dos princípios discutidos na cadeira a outras áreas do conhecimento científico e tecnológico. Será dada atenção particular à formação na resolução de problemas, familiarizando os estudantes com heurísticas e modos de pensar dos físicos experientes.

M2016 - ECTS

CC3036 - ECTS Os principais objectivos são a consolidação e aquisição de novos conhecimentos de algoritmia e estruturas de dados e do seu eficiente desenho e implementação através da realização de desafios de programação no estilo de concursos de programação e de entrevistas de emprego.

CC3012 - ECTS - Transmitir aos estudantes conceitos fundamentais de programação em lógica
- Desenvolver nos estudantes competências de programação em Prolog
- Expor a relação entre programação em lógica e lógica matemática
- Despertar nos estudantes a motivação para a programação em lógica
- Apresentar aos estudantes aplicações práticas de programação em lógica
- Envolver os estudantes em projetos práticos de programação em lógica
- Relacionar a disciplina com outras do curso

CC3013 - ECTS

O programa proposto é leccionado em aulas teóricas onde os principais conceitos são introduzidos e são explicados exemplos práticos. Durante as aulas teóricas os alunos devem fazer apresentações relacionados com ou programa. Nos laboratórios os alunos aprenderão competências relacionadas com sistemas multimédia através da exploração de um tópico específico que escolheram do programa. Os alunos deverão ter que resolver problemas e programar uma aplicação. Irão desenvolver um projecto e criar uma aplicação que represente os conceitos apresentados nas aulas teóricas. Todos os resultados da aprendizagem ajudarão o aluno a compreender os princípios fundamentais de sistemas de multimédia e têm uma ligação directa com o programa descrito. Abrange a tecnologia do estado de arte e a experiência necessária para desenhar e desenvolver uma aplicação interactiva.

O programa visa ensinar os alunos como os sistemas de multimédias estão a ser actualmente utilizados nas diferentes indústrias.

 

O objectivo é despertar nos alunos a mesma curiosidade, a mesma paixão de descobrir e o mesmo desejo de adquirir conhecimento que motiva investigadores a explorar novas áreas relacionadas com sistemas de multimédia.

É esperado que no final desta cadeira o aluno tenha aprendido e compreendido tecnologia do estado de arte relacionado com os seguintes conceitos:

* Compreender quais são os princípios da animação em 3D baseado no conceito tradicional de animação em 2D.

* Explorar os diferentes tipos de sistema de captura de movimentos, realidade virtual e como estes podem trabalhar juntos.

* Compreender os principais conceitos relacionados com a teoria da informação e a visualização de dados.

* Compreender o uso da cor, texto e diagramas para a representação de informação.

* Desenvolvimento de um projecto de multimédia, criar uma demo e a sua respectiva documentação, a qual deve ser reflexo do seu resultado.

M2025 - ECTS

Introduzir os conceitos, métodos e resultados básicos de Teoria de Grupos, dando a conhecer as origens desta área do conhecimento e mostrando algumas das suas aplicações, assim como subsome resultados de outras áreas.

M3015 - ECTS

Introduzir os conceitos, métodos e resultados básicos de Teoria dos Números e alguns dos seus aspectos computacionais. Dar algumas das suas aplicações criptográficas.

M2018 - ECTS

O objetivo desta disciplina é dado, um problema matemático, estudar condições suficientes para a existência e unicidade de solução, escolher um método numérico para a sua resolução, controlar os erros, fornecer um algoritmo a implementar e experimentar em máquina de calcular ou em computador, e interpretar os resultados.

CC2005 - ECTS

Dotar os estudantes da teoria e prática necessária à concepção, construção e análise de bases de dados relacionais.

CC3004 - ECTS

Estudo e comparação de vários modelos de computação
(Turing-completos), do seu poder computacional e das suas limitações. Estudo das diversas classes de complexidade computacional.

Ao completar este curso espera-se que os alunos
- conheçam os modelos de computação clássicos utilizados no estudo da
computabilidade de diversos problemas;
- saibam provar a equivalência de vários modelos Turing-completos;
- conheçam os resultados e métodos mais importantes no estudo da
computabilidade e complexidade;
- saibam classificar exemplos concretos de problemas e provar a sua
(in)decidibilidade dentro das diversas classes de computabilidade.
- saibam classificar elemplos concretos pelas sua complexidade temporal e interpretar essa classificação. 

M2011 - ECTS Aquisição de conhecimentos básicos da teoria das Equações Diferenciais e aplicação desta teoria a situações reais.

M2020 - ECTS

Pretende-se que, juntamente com novas metodologias estatísticas, os estudantes vejam os conceitos aprendidos anteriormente em "Probabilidades e Estatística" a serem aplicados na resolução de problemas reais. A nível teórico, serão desenvolvidos e trabalhados os métodos mais simples de inferência estatística, incluindo alguma teoria sobre estimadores e estimação pontual e vários testes de hipóteses. 

Espera-se também que os estudantes adquiram familiaridade com a linguagem de programação R na resolução de problemas.

CC2006 - ECTS

Estudo dos conceitos fundamentais e técnicas de uso mais generalizado da Inteligência Artificial.

F3002 - ECTS

A unidade curricular tem como objetivos principais:
- Concepção  e  planeamento  de experiências.
- Condução  pesquisas de literatura, incluindo análise crítica de artigos técnicos, expressão oral e escrita.
- Planeamento  na automatização de experiências usando LabVIEW como ferramenta de controlo, aquisição e processamento.
- Desenvolvimento de miniprojectos com temática bem definida, utilizando quando possível ferramentas de LabVIEW.

CC2013 - ECTS
Consolidação dos conhecimentos de programação estruturada através da realização de um projecto de média dimensão.

CC3003 - ECTS Pretende-se que os alunos:
1. Se familiarizem com os pricipais problemas de decisão e optimização.
2. Aprendam a formalizar modelos de optimização em programação matemática.
3. Dominem alguns métodos utilizados para a sua resolução.
4. Se familiarizem com linguagens e bibliotecas existentes para resolução de problemas de decisão.
5. Desenvolvam aptidões para avaliar a complexidade computacional de problemas.

CC3037 - ECTS

O objetivo principal é fornecer uma formação sólida sobre concorrência, com particular ênfase nos princípios fundamentais de concorrência e no desenho e implementação de modelos de computação concorrente em arquiteturas de memória partilhada, assim como dos principais problemas inerentes.

CC3035 - ECTS

Os alunos estarão equipados para enfrentar os crescentes desafios e respetiva procura por programadores, incluindo full-stack, frontend e DevOP. No final deste curso, os alunos estarão aptos a:

- Conceção e implementação de aplicações móveis seguras

- Consciência sobre as implicações do novo GPDR, evitando alguns dos erros mais comuns em relação à privacidade dos usuários

- Implementar aplicativos nativos e baseados em páginas da Web

Compreenda os compromissos implícitos entre desempenho, consumo de energia e segurança / privacidade

CC2004 - ECTS

Fornecer aos alunos os conceitos fundamentais da teoria e prática da organização e funcionamento de um sistema de operação.

Ser capaz de implementar partes de um sistema de operação e de escrever programas utilizando a API de um sistema de operação.

CC3015 - ECTS

Compreensão do papel e dos procedimentos efectuados pelos administradores de redes e sistemas. Familiarização com alguns princípios gerais e prática laboratorial com a implementação e manutenção de alguns exemplos concretos de flexibilização de serviços críticos em contextos simulados de falha e operacionalizações em grande escala.

M1019 - ECTS

Análise Vetorial em domínios curvos. Integrais de linha e de superfície. Teoremas integrais da Análise Vectorial. 
O teorema da função inversa e o teorema da função implícita e as suas principais aplicações.
Introdução aos métodos de resolução de equações diferenciais ordinárias com incidência especial nas equações e sistemas de equações diferenciais lineares.

M3002 - ECTS

Fundamentos da Análise e Processamento de Sinal, do ponto de vista determinístico e estocástico, incidindo sobretudo na análise no domínio da frequência. Cobertura dos aspetos fundamentais da estimação espectral não paramétrica. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua utilização efectiva na análise de dados simulados e de dados experimentais. É feita uma utilização intensiva de meios computacionais avançados.

CC3001 - ECTS

Estudo e implementação dos conceitos e técnicas usados para a construção de compiladores e interpretadores de linguagens de programação convencionais.

F3001 - ECTS

Introdução à teoria de circuitos, electrónica analógica básica e sistemas digitais.

CC3039 - ECTS O estágio tem como objectivo aferir a capacidade dos alunos para enfrentarem os desafios de um mercado trabalho competitivo e promover o enriquecimento curricular dos alunos tendo em vista a sua integração profissional junto das empresas do sector informático.

CC3006 - ECTS

A unidade curricular tem por objectivo introduzir aos alunos os conceitos base de criação e desenvolvimento de Interfaces Pessoa-Máquina, nomeadamente, sistemas interactivos. A abordagem é tanto a nível de conceitos teóricos (usabilidade, desenho centrado no utilizador), como práticos (prototipagem de baixa e de alta fidelidade, através da implementação de interfaces gráficas).

F1006 - ECTS

Esta unidade curricular  visa apresentar os conceitos e princípios básicos da mecânica clássica, e da relatividade restrita, com ênfase na compreensão de conceitos e na aplicação ao mundo real. Os alunos deverão ter a capacidade de manipular conceitos fundamentais e saber aplicá-los à resolução de problemas. Os estudantes serão motivados a considerar a aplicação dos princípios discutidos na cadeira a outras áreas do conhecimento científico e tecnológico. Será dada atenção particular à formação na resolução de problemas, familiarizando os estudantes com heurísticas e modos de pensar dos físicos experientes.

CC3036 - ECTS Os principais objectivos são a consolidação e aquisição de novos conhecimentos de algoritmia e estruturas de dados e do seu eficiente desenho e implementação através da realização de desafios de programação no estilo de concursos de programação e de entrevistas de emprego.

CC3012 - ECTS - Transmitir aos estudantes conceitos fundamentais de programação em lógica
- Desenvolver nos estudantes competências de programação em Prolog
- Expor a relação entre programação em lógica e lógica matemática
- Despertar nos estudantes a motivação para a programação em lógica
- Apresentar aos estudantes aplicações práticas de programação em lógica
- Envolver os estudantes em projetos práticos de programação em lógica
- Relacionar a disciplina com outras do curso

CC3038 - ECTS Este projeto tem como objectivo aferir a capacidade dos alunos para enfrentarem desafios de investigação em ambiente universitário e promover o enriquecimento curricular dos alunos tendo em vista a sua integração profissional junto de instituições de investigação científica e empresas do sector informático.

CC3002 - ECTS

Esta é uma disciplina introdutória às redes de comunicação de dados que pretende familiarizar os alunos com os seus conceitos fundamentais, baseando-se na Internet e na pilha protocolar TCP/IP. 

CC3013 - ECTS

O programa proposto é leccionado em aulas teóricas onde os principais conceitos são introduzidos e são explicados exemplos práticos. Durante as aulas teóricas os alunos devem fazer apresentações relacionados com ou programa. Nos laboratórios os alunos aprenderão competências relacionadas com sistemas multimédia através da exploração de um tópico específico que escolheram do programa. Os alunos deverão ter que resolver problemas e programar uma aplicação. Irão desenvolver um projecto e criar uma aplicação que represente os conceitos apresentados nas aulas teóricas. Todos os resultados da aprendizagem ajudarão o aluno a compreender os princípios fundamentais de sistemas de multimédia e têm uma ligação directa com o programa descrito. Abrange a tecnologia do estado de arte e a experiência necessária para desenhar e desenvolver uma aplicação interactiva.

O programa visa ensinar os alunos como os sistemas de multimédias estão a ser actualmente utilizados nas diferentes indústrias.

 

O objectivo é despertar nos alunos a mesma curiosidade, a mesma paixão de descobrir e o mesmo desejo de adquirir conhecimento que motiva investigadores a explorar novas áreas relacionadas com sistemas de multimédia.

É esperado que no final desta cadeira o aluno tenha aprendido e compreendido tecnologia do estado de arte relacionado com os seguintes conceitos:

* Compreender quais são os princípios da animação em 3D baseado no conceito tradicional de animação em 2D.

* Explorar os diferentes tipos de sistema de captura de movimentos, realidade virtual e como estes podem trabalhar juntos.

* Compreender os principais conceitos relacionados com a teoria da informação e a visualização de dados.

* Compreender o uso da cor, texto e diagramas para a representação de informação.

* Desenvolvimento de um projecto de multimédia, criar uma demo e a sua respectiva documentação, a qual deve ser reflexo do seu resultado.

CC3008 - ECTS

O objetivo da unidade curricular é a familiarização dos alunos com os conceitos e tecnologias utilizados no desenvolvimento de aplicações centradas na web.

M2025 - ECTS

Introduzir os conceitos, métodos e resultados básicos de Teoria de Grupos, dando a conhecer as origens desta área do conhecimento e mostrando algumas das suas aplicações, assim como subsome resultados de outras áreas.

M3015 - ECTS

Introduzir os conceitos, métodos e resultados básicos de Teoria dos Números e alguns dos seus aspectos computacionais. Dar algumas das suas aplicações criptográficas.

CC3018 - ECTS

Consolidar e enriquecer os conhecimentos sobre redes anteriormente adquiridos pelos alunos, dotando-os das competências necessárias à configuração, manutenção e monitorização de redes IP com encaminhamento estático ou dinâmico e dos respectivos serviços básicos, e ainda ao diagnóstico e resolução de problemas das mesmas.

M2018 - ECTS

O objetivo desta disciplina é dado, um problema matemático, estudar condições suficientes para a existência e unicidade de solução, escolher um método numérico para a sua resolução, controlar os erros, fornecer um algoritmo a implementar e experimentar em máquina de calcular ou em computador, e interpretar os resultados.

CC3034 - ECTS

A disciplina de Arquitetura de Software tem como objetivo geral introduzir os alunos aos modelos conceptuais e ferramentas de software usadas em projetos informáticos de maior dimensão.

CC3004 - ECTS

Estudo e comparação de vários modelos de computação
(Turing-completos), do seu poder computacional e das suas limitações. Estudo das diversas classes de complexidade computacional.

Ao completar este curso espera-se que os alunos
- conheçam os modelos de computação clássicos utilizados no estudo da
computabilidade de diversos problemas;
- saibam provar a equivalência de vários modelos Turing-completos;
- conheçam os resultados e métodos mais importantes no estudo da
computabilidade e complexidade;
- saibam classificar exemplos concretos de problemas e provar a sua
(in)decidibilidade dentro das diversas classes de computabilidade.
- saibam classificar elemplos concretos pelas sua complexidade temporal e interpretar essa classificação. 

M2011 - ECTS Aquisição de conhecimentos básicos da teoria das Equações Diferenciais e aplicação desta teoria a situações reais.

CC3039 - ECTS O estágio tem como objectivo aferir a capacidade dos alunos para enfrentarem os desafios de um mercado trabalho competitivo e promover o enriquecimento curricular dos alunos tendo em vista a sua integração profissional junto das empresas do sector informático.

M2020 - ECTS

Pretende-se que, juntamente com novas metodologias estatísticas, os estudantes vejam os conceitos aprendidos anteriormente em "Probabilidades e Estatística" a serem aplicados na resolução de problemas reais. A nível teórico, serão desenvolvidos e trabalhados os métodos mais simples de inferência estatística, incluindo alguma teoria sobre estimadores e estimação pontual e vários testes de hipóteses. 

Espera-se também que os estudantes adquiram familiaridade com a linguagem de programação R na resolução de problemas.

F3002 - ECTS

A unidade curricular tem como objetivos principais:
- Concepção  e  planeamento  de experiências.
- Condução  pesquisas de literatura, incluindo análise crítica de artigos técnicos, expressão oral e escrita.
- Planeamento  na automatização de experiências usando LabVIEW como ferramenta de controlo, aquisição e processamento.
- Desenvolvimento de miniprojectos com temática bem definida, utilizando quando possível ferramentas de LabVIEW.

CC3003 - ECTS Pretende-se que os alunos:
1. Se familiarizem com os pricipais problemas de decisão e optimização.
2. Aprendam a formalizar modelos de optimização em programação matemática.
3. Dominem alguns métodos utilizados para a sua resolução.
4. Se familiarizem com linguagens e bibliotecas existentes para resolução de problemas de decisão.
5. Desenvolvam aptidões para avaliar a complexidade computacional de problemas.

CC3037 - ECTS

O objetivo principal é fornecer uma formação sólida sobre concorrência, com particular ênfase nos princípios fundamentais de concorrência e no desenho e implementação de modelos de computação concorrente em arquiteturas de memória partilhada, assim como dos principais problemas inerentes.

CC3035 - ECTS

Os alunos estarão equipados para enfrentar os crescentes desafios e respetiva procura por programadores, incluindo full-stack, frontend e DevOP. No final deste curso, os alunos estarão aptos a:

- Conceção e implementação de aplicações móveis seguras

- Consciência sobre as implicações do novo GPDR, evitando alguns dos erros mais comuns em relação à privacidade dos usuários

- Implementar aplicativos nativos e baseados em páginas da Web

Compreenda os compromissos implícitos entre desempenho, consumo de energia e segurança / privacidade

CC3038 - ECTS Este projeto tem como objectivo aferir a capacidade dos alunos para enfrentarem desafios de investigação em ambiente universitário e promover o enriquecimento curricular dos alunos tendo em vista a sua integração profissional junto de instituições de investigação científica e empresas do sector informático.

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 e analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.

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.

CC4017 - ECTS

Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança da informção em geral, enquadrando aqui a utilização de primitivas criptográficas.

Estudo das primitivas criptográficas mais relevantes, as garantias de segurança que conferem, as suas aplicações, boas práticas de uso e possíveis ataques.

Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.

 

CC4018 - ECTS

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

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. 

CC4005 - ECTS

• Compreender a dinâmica da gestão de projetos, conceitos, termos e nomenclaturas​
• Compreender as diferentes abordagens metodológicas de G.P e conseguir decidir a que melhor se aplica a cada tipo de projeto​
• Adquirir ensinamentos base sobre metodologias: waterfall, Agile a Lean/Melhoria Continua​
• Compreender a relevância das soft-skills no sucesso da gestão (seja de projetos, pessoas etc)​
• Adquirir competências básicas sobre qualificação de projetos, que envolvem investimento financeiro​
• Troca e partilha de experiências, histórias e lessons learned​

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.

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 locais sem fios; as redes de comunicações móveis de 2ª, 3ª, 4ª e 5ª geração; e os principais serviços em redes de comunicações móveis.

CC4031 - ECTS A disciplina pretende apresentar aos alunos os conceitos e problemas da segurança nas redes de comunicação. Ao longo do período revê-se os conceitos básicos de redes permitindo uma discussão do ponto de vista de segurança dos protocolos de comunicação. A análise e o desenho de arquitetura de redes com segurança como objetivo será desenvolvido, utilizando para isso, técnicas de monitorização e análise de tráfego. Neste sentido, serão apresentadas e utilizadas ferramentas de rede para este estudo. Será abordada a segurança web e ataques à mesma.

CC4003 - ECTS

Possibilitar aos alunos uma introdução aos problemas fundamentais no desenho e na implementação de sistemas distribuídos. Ao completarem esta unidade curricular, os alunos deverão ser capazes de:

(a) explicar o que é um sistema distribuído e quais as vantagens e propriedades desejáveis de tais sistemas;
(b) descrever os princípios subjacentes ao funcionamento de sistemas distribuídos, os problemas e desafios
associados, e avaliar a eficácia e limitações das suas soluções;
(c) construir sistemas funcionais utilizando mecanismos de comunicação como sockets, RMI/RPC e Serviços Web.

CC4068 - ECTS A disciplina pretende apresentar aos alunos os conceitos e problemas da privacidade de dados e tecnologias de reforço de privacidade. Ao longo do período apresentam-se conceitos fundamentais de segurança e privacidade, seguido de técnicas de anonimização para publicação de dados com garantias de privacidade e cálculo de risco de re-identificação. Serão também abordados temas de computação colaborativa segura e sua relação com processamento de dados com privacidade, comunicações e autenticação anónima.

CC4019 - ECTS O objectivo da cadeira é introduzir ao aluno os fundamentos de teoria da informação. A teoria da informação é o estudo do que é informação, de como ela pode ser armazenada e transmitida. Isto levanta três questões: Compressão: Como é possível armazenar informação utilizando o mínimo de espaço possível? Correcção de erros: Como é possível transmitir informação de forma fiável, por via de um canal de informação imperfeito? Encriptação: Como é possível transmitir informação de forma privada via um canal público? Esta cadeira trata das duas primeiras questões, a terceira é tratada na cadeira de criptografia do nosso departamento.

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.

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.

CC4053 - ECTS Introdução ao uso de infra-estruturas de "cloud computing" para processamento massivo de dados ("big data") em problemas do mundo real.

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.

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.

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.

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 (transações, web, texto, etc.).

CC4070 - ECTS As redes são uma ferramenta fundamental para modelar sistemas complexos sociais, biológicos e tecnológicos. Tendo também em conta a emergente disponibilidade de dados de larga escala de redes, esta unidade curricular foca-se na análise destas redes, o que acarreta múltiplos desafios computacionais, algorítmicos e de modelação. Irá cobrir investigação recente na estrutura e anaĺise  destas redes, bem como modelos e algoritmos que possam abstrair as suas principais propriedades.

CC4030 - ECTS Introdução à problemática da segurança dos sistemas de informação e de dados. Obtenção de conhecimento detalhado sobre as principais fragilidades intrínsecas aos sistemas operativos e computadores. Apresentação de metodologias para a construção de sistemas capazes de resistir a ataques, erros de operação e ocorrências
fortuitas provocadas por adversários inteligentes.

CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embutidos 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.

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.

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.
Aborda-se o conceito de base de dados dedutiva e sistemas de representação de conhecimento.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais. Utiliza-se diversas ferramentas de análise e visualização de informação espacial, através da linguagem de programação Python e módulos como o MatPlotLib.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.
Aprendem-se conceitos de bases de dados noSQL.

CC4022 - ECTS Proporcionar aos alunos conhecimentos sobre os novos desenvolvimentos em IA que envolvem avanços em áreas tão díspares como lógica, estatística e investigação operacional.

Enfase será colocada em:
  - sistemas probabilísticos, direcionados e não direcionados, incluindo inferência e aprendizagem de parâmetros e de estrutura; ligação â classificadores lineares e redes neuronais
 - representacão lógica: Lógica de primeira ordem (FOL) e Datalog para representação de estrutura; aprendizagem de programas lógicos em Programação Lógica Indutiva (ILP).
- integração: Aprendizagem relacional estatística (SRL) e redes neuronais-lógicas.

O curso requer competências adquiridas em Desenho e Análise de Algoritmos , Inteligência Artificial e Data Mining.

CC4028 - ECTS
Aprofundar os conhecimentos de programação funcional com ênfase em algumas técnicas avançadas para maior modularidade e correção na construção de programas.

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.

CC5001 - 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.
Dá-se especial relevância aos aspetos conducentes à preparação de uma proposta de dissertação, nomeadamente: a revisão da bibliografia e estado da arte; a definição dos objetivos; a estruturação do trabalho e a apresentação de referências.

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.

CC5004 - 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.