Please enable JavaScript.
Coggle requires JavaScript to display documents.
MTP e IA (Inteligência Artificial # (Capacidades do Sistema (Raciocinar…
MTP e IA
Métodos e Técnicas de Programação
Engenharia de Software
Ensinar
Qualidade de Software
Validação de Software
Sistemas Críticos
Teste de Software
Verificação de Modelos
UC:
Teste e Validação de Software -
MSc
Processo de Desenvolvimento
Resolver o Problema
Maximizar os Ganhos
Minimizar os custos
Fases
1) Definição do Problema
2) Construção do Desenho
3) Execução do Projeto
UC:
Engenharia de Software
Segurança de Software
Problemas de Segurança
Ataques Constantes
Causas Fundamentais
Prevenção e Deteção
UC:
Segurança de Software -
MSc
Modelação
Representação do Problema
Dificuldade
: Resultados finais abstratos
Especificação de Requisitos
UC:
Especificação de Software -
MSc
Arquitecturas de Software
Técnicas,
Métodos,
Linguagens
Desenho de Software
UC:
Arquiteturas de Software
Desenvolver Competências
Desenvolver projetos complexos em equipas numerosas
Competências Sociais
Analisar software
Documentar Software
Mantutenção de Software
Técnicas de Engenharia aplicadas ao desenvolvimento de Software
Essencial ao desenvolvimento de projetos
Desenvolver Software de Qualidade
Linguagens de Programação
Paradigmas de Programação
Imperativo
Funcional
Orientado por Objetos
Lógico
Conceitos Essenciais
Compiladores
Intrepretadores
Depuradores
Familiarizar com Linguagens
Python
Java
C++
etc.
C
Pensamos com Linguagem
Instruções que o Computador entende
Boa Linguagem de Programação
Expressiva
Elegante
Simplicidade
Eficiente
Aproxima a
construção
da
experimentação
Materializa
a solução
Reduz o carácter abstrato do produto
Algoritmos e Complexidade
Conceitos
Complexidade Computacional
Como o programa comporta o aumento tamanho dos
dados
Notação
Big O
Computabilidade e Teoria da Computação
Algoritmos
Sucessão de instruções bem definidas que
solucionam
um problema
#
Otimização
Procura
Ordenação
UC:
Introdução aos Algoritmos e Estruturas de Dados
UC:
Análise e Sintese de Algoritmos
UC
: Algoritmos Avançados -
MSc
UC:
Algoritmos para Lógica Computacional -
MSc
Estruturas de Dados
Forma de
organizar os dados
de forma a se adequar a um problema
#
Árvores de Perquisa Binária
Vectores
Listas Ligadas
Áreas de Aplicação
Inteligência Artificial
Sistemas de Informação
Sistemas Distribuídos
Jogos e Computação Gráfica
Segurança Informática
#
Computação Científica
Ponte na abordagem de problemas Interdisciplinares
Computação Física
Computação Química
Computação em Biologia
UC:
Biologia Computacional -
MSc
Análise de Redes
Naturais
Artificiais
UC:
Redes Complexas -
MSc
Grafos
Base da Engenharia Informática
#
Inteligência Artificial
#
Modelos de nós próprios
Máquinas Inteligentes
Criados pela Engenharia e Ciência
O que é a Inteligência?
Agir
Racionalmente
Como o Homem
Pensar
Racionalmente
Como o Homem
Verficação:
Teste de Turing
Capacidades do Sistema
Aprender
Exemplos
Reconhecimento Facial
Previsão de Movimento
Enriquecimento de Personagens em Jogos
Sucesso:
AlphaGo
Jogos Passados
Treino contra outros programas e outros computadores
Reconhecimento de Caracteres Manuscritos
Ensinar um computador sem o programar especificamente
Machine Learning
Dados Estatísticos
Reconhecer Características
Modelos
Redes Neuronais
Deep Learning
Data Science
Comunicar com o Exterior
Língua Natural
Sucesso:
Watson - Jeopardy! 2011
Siri
Capacitar o sistema de compreender e produzir texto
Raciocinar
Representação de Conhecimento
Inferência
Exemplo: Wolfram Alpha
Procurar Soluções
#
Sucesso:
Deep Blue vs Kasparov
- 1996
Heurística: Eliminar possibilidades
Experiência Sensorial
Periféricos
Receber Dados Exteriores
Planeamento
#
Ações
Objetivo
Aplicações
Séries Financeiras
Planeamento de Rotas
Diagnóstico Médico
Carros sem Condutor
Questões Éticas
Invasão de Privacidade
Falta de Sensibilidade
Superinteligência
Consciência dos Sistemas
Computer Science 2013
Suporta