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