Please enable JavaScript.

Coggle requires JavaScript to display documents.

TEORIA DA COMPUTAÇÃO, E O PROFISSIONAL DE INFORMÁTICA (Os Aspectos…

- - - - Dos circuitos lógicos eletromecânicos aos compactos circuitos digitais microeletrônicos .
    - - George Boole, Gödel, Turing, etc
      - Chomsky
        
        Plantou os alicerces
        teóricos das gramáticas gerativas.
        
        Destaque à análise léxica e sintática de linguagens
        de programação.
  - - - Estudo do processamento
        lógico e automático da informação.
      - Estudo e desenvolvimento de computadores, de seus componentes mecânicos e eletrônicos e de seus programas.
      - Realização e uso de linguagens
        de programação, tecnologias de desenvolvimento
        e softwares de aplicação.
  - - - Máquina de Turing.
        
        Trabalha com operadores muito rudimentares
        sobre instruções e dados gravados em
        uma fita de trabalho de comprimento infinito.
      - Cálculo Lambda
        
        Formalismo proposto para representação formal de fenômenos computacionais ligados a linguagens de programação declarativas.
      - Funções Recursivas.
        
        Grande vantagem de permitir a representação e a manipulação direta de valores numéricos.
      - Gramáticas Gerativas.
        
        Permitem a representação
        de linguagens através do uso de
        regras de substituição que operam sobre
        sequências de símbolos.
      - Dispositivos Adaptativos.
        
        Baseados em autômatos, são
        modelos de computação capazes de representar
        fenômenos computacionais complexos através de quaisquer abstrações cujo
        comportamento seja descrito através de um
        conjunto de regras dinamicamente variável.
  - - - Engenharia de software, o software básico e as linguagens de programação,
- - - - Ponto de
        vista de especificação e de reconhecimento
    - - Proporciona uma visão panorâmica das bases
        científicas da computação;
      - Proporciona fundamentos teóricos para a
        área, através do estudo estudo de assuntos tais
        como decidibilidade, computabilidade e
        complexidade computacional;
      - Fornece um sólido lastro para o desenvolvimento
        de inúmeras aplicações computacionais; e
      - Estabelece um forte elo entre a teoria e a
        prática computacional;
  - - - O Cálculo Lambda e a Teoria dos Combinadores, A Lógica de Floyd-Hoare, Teoria de Objetos,
        estabelecida por Abadi e Cardelli, e as Semânticas Formais clássicas.
  - - - Aspectos da sintaxe e da semântica de
        linguagens de programação;
      - Estudo da enumeração e da universalidade
        das funções computáveis;
      - Técnicas de computabilidade e estado computável
        de problemas;
      - Metodologia de programação e prova de correção
        de programas;
      - Semântica denotacional, Programas recursivos e Regras de prova para propriedades dos programas;
      - Auto-referência em computabilidade e teorema
        da recursão;
      - Conjuntos, conjuntos recursivos, conjuntos
        recursivamente enumeráveis, teorema de
        Gödel;
      - Máquina de Turing e formulações alternativas
        da teoria da computabilidade; e
      - Automatização da prova de teoremas.
  - - - Algoritmos;
      - Máquina de Turing: Computabilidade e Decidibilidade.
      - Lógica booleana e Lógica de Primeira Ordem;
      - Classes de Complexidade;
      - Reduções e completude;
      - A Criptografia; e
      - Computação paralela.