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.

CC1024 - ECTS

Introdução à utilização de computadores com sistema operativo GNU/Linux.

Introdução à programação de computadores usando a linguagem Python.

Noção de linguagens de baixo nivel e alto nível; interpretadores e compiladores; editores e ambientes de desenvolvimento. Valores, tipos e expressões. Funções e procedimentos. Condições e seleção. Iteração e recursão. Estruturas de dados e algoritmos fundamentais: processamento de sequências, texto, computação numérica.

 

CC1002 - ECTS

Fornecer aos estudantes uma visão geral sobre a Ciência de Computadores, em particular, sobre os conceitos fundamentais sobre a estrutura e o funcionamento dos computadores digitais e dos sistemas de operacão.  

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.

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

CC1023 - ECTS

A UC abordará os temas atuais da Inteligência Artificial (IA) e Ciência de Dados (CD), dando aos estudantes um conhecimento técnico, ainda que não aprofundado, sobre os seus conceitos, problemas e aplicações.

Relativamente às áreas de IA e CD os objectivos da UC são:

- Fornecer uma perspetiva histórica do seu surgimento e evolução.
- Identificar a sua relevância e impacto na sociedade atual.
- Estudar a relação com outras ciências e as interações com a sociedade.
- Conhecer as diferentes etapas dos processos de desenvolvimento.
- Desenvolver pequenos projetos de IA e CD.

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.

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.

CC2005 - ECTS

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

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.

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, e em particular na área da programação em lógica.

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

M2016 - ECTS

CC2008 - ECTS Esta UC faz uma introdução à Aprendizagem Computacional (AC) fornecendo aos estudantes uma breve contextualização histórica e referência a algumas das suas aplicações mais relevantes.

Pretende-se que os estudantes façam um primeiro contacto com várias tarefas e abordagens envolvidas em problemas de AC e que possam, desta forma, identificar as estratégias mais adequadas.

CC2001 - ECTS

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

M2024 - ECTS

Ao completar esta unidade curricular, o estudante deverá

- dominar  os conceitos e princípios fundamentais da Estatística, e em particular da Inferência Estatística básica.

- conhecer as técnicas de inferência estatística mais comuns e sabe-las aplicar a problemas concretos;

- ser capaz de identificar e formular matematicamente um problema, de escolher métodos da estatística adequados e de analisar e interpretar de forma crítica os resultados obtidos.

Pretende-se também que o estudante adquira familiaridade com a linguagem de programação R  na  resolução de problemas.

CC2006 - ECTS

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

CC2009 - ECTS Esta Unidade Curricular tem como objetivo fornecer aos estudantes uma perspetiva integrada dos fundamentos da segurança e privacidade informática; visa dotar os estudantes dos princípios de segurança de sistemas e privacidade de dados.

M3002 - ECTS

A Unidade Curricular (UC) apresenta os conceitos básicos e técnicas de 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.

A orientação da UC privilegia a compreensão dos conceitos e métodos, e a sua utilização efectiva na análise de dados simulados e experimentais. É feita uma utilização intensiva de meios computacionais avançados (MATLAB).

CC3043 - ECTS

FIS3009 - ECTS

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

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

CC3042 - ECTS

A UC apresenta uma perspetiva global das técnicas associadas aos sistemas inteligentes e autónomos, explorando a modelação e simulação de sistemas complexos e o desenvolvimento de aplicações de agentes inteligentes e de Sistemas Multi-Agente (SMA) com capacidade de adaptação/aprendizagem. O objetivo principal é especificar e implementar sistemas inteligentes autónomos, complexos e adaptativos. No final da UC, os estudantes deverão ser capazes de:
1. Compreender conceitos básicos relacionados com sistemas inteligentes autónomos e ser capaz de modelar e projetar sistemas inteligentes e autónomos complexos.
2. Compreender e ser capaz de utilizar o conceito de aprendizagem por reforço, incluindo algoritmos atuais e mecanismos de aprendizagem por reforço profunda.
3. Compreender e ser capaz de utilizar conceitos de sistemas inteligentes multiagente tais como a comunicação, interação, coordenação, negociação e cooperação.

CC3044 - ECTS

Objetivos: Fornecer aos estudantes metodologias de desenvolvimento de software, de projetos em IA e CD, de trabalho em equipa e de comunicação através da realização de um projeto desenhado para o efeito.

 

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

M3023 - ECTS O curso visa introduzir de uma forma rigorosa os fundamentos de otimização e suas aplicações. São abordados os conceitos fundamentais da área em questão, assim como as ferramentas matemáticas mais relevantes para a sua análise.

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

CC3049 - ECTS

Esta unidade curricular tem como objetivo global a compreensão da complexidade das plataformas atuais de programação de dispositivos móveis, de modo a fornecer aos estudantes as ferramentas necessárias para enfrentar os crescentes desafios na área. Como formação complementar, os estudantes são expostos aos requisitos e desafios da implementação de backends de forma a suportar as aplicações móveis.

Pretende-se que os estudantes:

- sejam capazes de projetar e implementar aplicações móveis;

- fiquem a conhecer as implicações do RGPD, evitando alguns dos erros mais comuns em relação à privacidade dos usuários;

- fiquem cientes da necessidade de incluir segurança no desenho das soluções;

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

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.

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

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. 

CC3045 - ECTS Esta UC apresenta os conceitos de Gestão e Visualização de Dados com foco especial em Data Science e Visual Analytics. A área abrange um domínio multidisciplinar que combina visualização de dados com a aprendizagem automática no sentido de auxiliar a compreensão e divulgação de dados.
Os estudantes são expostos ao design de representações visuais que suportam tarefas que, por sua vez, permitem fazer a transição entre dados em bruto para insights/inspiração e formulação de novas hipóteses.

Os tópicos incluem conceitos básicos de visualização de informações; análise visual temporal de eventos; análise de conjuntos de dados espaciais e temporais; análise visual de social media; e a análise visual de coleções de texto e multimédia.

Os objetivos do curso são: que os estudantes percebam como realizar visualização de dados de forma efetiva e eficiente; criem protótipos de aplicações para a análise visual usando bibliotecas existentes, acoplando métodos de aprendizagem automática e de visualização. Os estudantes ganharão ainda competências na análise de dados por meio de tarefas de visualização em diferentes domínios de aplicação.

Em particular:

• Criar gráficos adequados ao tipo de contexto e ao problema a explorar
• Criar e aperfeiçoar gráficos, usando as ferramentas R e Python
• Integrar gráficos desenvolvidos em R/Python em ambientes interativos
• Desenhar e desenvolver dashboards de acesso a Big Data para manipulação interativa de múltiplos gráficos
• Ser capaz de desenhar o armazenamento de dados em estruturas relacionais e não-relacionais.

CC3046 - ECTS 1. Compreender os conceitos básicos de robótica, o enquadramento da inteligência artificial na robótica e middleware para robótica com ênfase no ROS.
2. Estudar métodos de perceção e interpretação sensorial que permitam criar estados do mundo precisos e métodos de localização e SLAM de robôs móveis.
3. Estudar os métodos que permitam a robôs móveis navegarem em ambientes conhecidos ou desconhecidos usando algoritmos de planeamento e navegação.
4. Compreender e utilizar algoritmos de aprendizagem computacional para robôs.
5. Compreender os fundamentos da interação humano-robô e da robótica cooperativa.
6. Analisar as principais competições robóticas nacionais e internacionais, os simuladores robóticos mais realistas e as plataformas robóticas mais avançadas disponíveis no mercado.
7. Incentivar capacidade de comunicação em tópicos técnicos e científicos e abordagens científicas saudáveis.

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.

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

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

CC1005 - ECTS

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

CC3013 - ECTS