Carregar apresentação
A apresentação está carregando. Por favor, espere
1
Departamento de Informática
Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Licenciatura em Engenharia Informática Disciplinas da área de Sistemas Simbólicos, de Decisão, e de Informação (SSDI)
2
A área inclui 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
3
Disciplinas no 1º ciclo Obrigatórias Opcionais Lógica Computacional
2º semestre Bases de Dados 3º semestre Inteligência Artificial 5º semestre Opcionais Administração de Bases de Dados Programação em Lógica e por Restrições 6º semestre (Ciências da Engenharia)
4
Lógica Computacional 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
5
Fornece os conceitos basilares nesta área de grande aplicabilidade
Bases de Dados 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
6
Inteligência Artificial
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
7
Administração de Bases de Dados
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
8
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
Apresentações semelhantes
© 2024 SlidePlayer.com.br Inc.
All rights reserved.