A Teoria da Computação e o profissional de informática

Aspectos teóricos da computação
1. Informática
  1. Surgiu do estudo teórico de temas complexos
    1. George Boole
      1. Algebra booleana
    2. Gödel
      1. Linguagens formais
    3. Turing
      1. Maquina de Turing
      2. Algoritmo
    4. Chomsky
      1. Teoria da linguagem
  2. Processamento lógico e automático da informação
2. Computação
  1. Gramáticas Gerativas
    1. Teoria linguística
  2. Maquina de Turing
    1. Modelo universal de computação
  3. Dispositivos Adaptativos
    1. São modelos de computação
  4. Teoria da Computabilidade
    1. Existência de algoritmos que resolva uma classe de linguagens
  5. Funções Recursivas
    1. Modelo computacional inspirado na Matemática
  6. Cálculo Lambda
    1. Formalismo utilizado em linguagens funcionais
3. Teoria da computação
  1. Problemas ditos computáveis
  2. Problemas ditos incomputáveis
    1. Parada da Máquina de Turing
    2. Problema da correspondência de Post
    3. Intersecção de duas linguagens livres de contexto
  3. Fundamenta em métodos e técnicas da Matemática
    1. Linguagens de Programação
      1. Paradigmas de Programação
        Imperativo
        Funcional
        Lógico
        Orientado a objetos
        Paralelo
        Concorrente
  4. Campo da ciência da computação
  5. Tópicos estudados
    1. Matemática discreta
    2. Linguagens formais e autômatos
    3. Máquinas universais, computabilidade, algoritmos
    4. Complexidade, intratabilidade
    5. Lógica matemática, gramáticas formais, modelos matemáticos, teoremas
    6. Álgebra booleana e a teoria das máquinas sequenciais
    7. Teoria das relações e a álgebra relacional
    8. Expressões regulares
    9. Gramáticas gerativas
    10. Teoria da complexidade computacional e de algoritmos
    11. Adaptatividade
4. Informática e ciência da computação
  1. Análise numérica
  2. Modelagem de problemas
  3. processos de cálculo
  4. Ciência da Computação
  5. Métodos teóricos e formais
  6. Representação do conhecimento
  7. Teoria da Informação
  8. Sociedade
    1. Bancos
    2. Comércio
    3. Indústria
    4. Comunicação
5. Ciência da computação
  1. Teoria dos Autômatos e Complexidade Computacional
  2. Desenvolvimento de modelos
  3. Linguagens Formais
  4. Avaliação dos modelos adotados
  5. Apoia-se em bases Matemáticas solidas
Conveniência do estudo teorico
1. Linguagens Formais e Autômatos
  1. Processamento de linguagens de programação textuais
  2. Representação de processos, estruturas e protocolos de comunicação
  3. Computação gráfica
  4. Visão panorâmica das bases científicas da computação
  5. Processamento de linguagens
  6. Reconhecimento de padrões e a modelagem de sistemas
  7. Compiladores
2. Linguagens de Programação
  1. Cálculo Lambda e a Teoria dos Combinadores
    1. Programação funcional
  2. Lógica de Floyd-Hoare
    1. Correção de programas imperativos
  3. Teoria de Objetos
    1. Programação orientada a objetos
  4. Semânticas Formais clássicas
    1. Semântica operacional
    2. Semântica denotacional
    3. Semântica axiomática
3. Ciência da Programação
  1. Resistência ao uso de técnicas científicas em uma nova área de conhecimento
    1. Desconhecimento
    2. Profissional com má-formação
    3. Inviabilidade o uso de tecnicas rigorosas em projetos de grande porte
4. Computabilidade
  1. Coração da Ciência da Computação
  2. Alicerce cientifico para área de informática
  3. Aspectos da sintaxe e da semântica de lingua-gens de programação
  4. Estudo da enumeração e da universalidade das funções computáveis
  5. Técnicas de computabilidade e estado computável de problemas
  6. Metodologia de programação e prova de correção de programas
  7. Semântica denotacional
  8. Programas recursivos
  9. Regras de prova para propriedades dos programas
  10. Auto-referência em computabilidade e teorema da recursão
  11. Conjuntos, conjuntos recursivos, conjuntos recursivamente enumeráveis, teorema de Gödel
  12. Máquina de Turing e formulações alternativas da teoria da computabilidade.
  13. Automatização da prova de teoremas
5. Complexidade computacional
  1. Compreensão de fenômenos
    1. Computação
    2. Lógica
    3. Aplicações
  2. Analisa a viabilidade prática da execução de algoritmos considerados adequados para uma tarefa.
  3. Variados formalismos estão disponíveis para sua modelagem e estudo
  4. Buscam soluções sejam ao mesmo tempo rápidas e compactas
  5. Tópicos estudados
    1. Algoritmos
    2. Máquina de Turing
    3. Lógica booleana e Lógica de Primeira Ordem
    4. Classes de Complexidade e sua inter-relação
    5. Reduções e completude
    6. Criptografia
    7. Computação paralela
Formação profissional na área
1. Aspectos da formação dos profissionais de computação
  1. Má-formação
  2. Perda da habilidade de projetar algoritmos
  3. Dificuldade de compeensão de assuntos de programação
  4. Deficiência na criatividade para a resolução autônoma de problemas

Next up

A Teoria da Computação e o profissional de informática

Description

Resource summary

Similar

	Created by Nériton Carlos about 4 years ago