Disciplinas de SSDI - DI-FCT-UNL

Propaganda
Departamento de Informática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
DI-FCT-UNL
Licenciatura em Engenharia Informática
Disciplinas da área de
Sistemas Simbólicos, de Decisão, e de
Informação (SSDI)
A área inclui
DI-FCT-UNL
• Modelação e projecto de Sistemas de
Informação
• Bases de Dados
• Lógica e Computação Simbólica
• Sistemas de apoio à Decisão
• Inteligência Artificial
• No geral, trata problemas de mais alto
nível de abstracção, quando comparados
com outras áreas da Informática
Disciplinas no 1º ciclo
DI-FCT-UNL
• Obrigatórias
– Lógica Computacional
• 2º semestre
– Bases de Dados
• 3º semestre
– Inteligência Artificial
• 5º semestre
• Opcionais
– Administração de Bases de Dados
• 5º semestre
– Programação em Lógica e por Restrições
• 6º semestre (Ciências da Engenharia)
Lógica Computacional
DI-FCT-UNL
•
•
Fornece as bases da Lógica
Proposicional e da Lógica de Predicados
A Lógica é uma disciplina fundamental
que cruza toda a Informática
– A cadeira fornece fundamentos para muitas
outras de Informática
Nomeadamente, introduz a Lógica para:
– formalização de problemas
– abstracção
– tratamento rigoroso e formal
•
Estas competências são cruciais para um
Engº. Informático
Bases de Dados
DI-FCT-UNL
• Fornece os conceitos basilares nesta
área de grande aplicabilidade
• Inclui:
– Modelação de bases de dados
relacionais
– Álgebra relacional e SQL
– Noções de outros modelos de dados
• Tem uma forte componente prática
Inteligência Artificial
DI-FCT-UNL
• Panorâmica geral desta área científica
– Estuda princípios da computação e do
comportamento inteligentes, e o desenho e
implementação de sistemas que manifestam
comportamento inteligente
• Alguns tópicos seleccionados:
–
–
–
–
Pesquisa de soluções
Representação do Conhecimento
Planeamento
Aprendizagem automática
Administração de Bases de Dados
DI-FCT-UNL
• Disciplina de cariz muito aplicada
• Destina-se essencialmente a alunos do
perfil de Informática Aplicada
• Inclui enquadramento teórico e prático de
base para o exercício das funções
específicas de administrador de bases de
dados
DI-FCT-UNL
Programação em Lógica e por
Restrições
• Introduz um importante paradigma da
programação
– Programação declarativa
• Usa a Lógica como linguagem de
especificação de programas e também de
programação directa
• Trata noções de propagação de restrições
para resolução eficiente de problemas de
satisfação e optimização
Download