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

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

1. Aspectos teóricos da computação

   • Informática
     • Surgiu do estudo teórico de temas complexos
       • George Boole
         • Algebra booleana
       • Gödel
         • Linguagens formais
       • Turing
         • Maquina de Turing
         • Algoritmo
       • Chomsky
         • Teoria da linguagem
     • Processamento lógico e automático da informação
   • Computação
     • Gramáticas Gerativas
       • Teoria linguística
     • Maquina de Turing
       • Modelo universal de computação
     • Dispositivos Adaptativos
       • São modelos de computação
     • Teoria da Computabilidade
       • Existência de algoritmos que resolva uma classe de linguagens
     • Funções Recursivas
       • Modelo computacional inspirado na Matemática
     • Cálculo Lambda
       • Formalismo utilizado em linguagens funcionais
   • Teoria da computação
     • Problemas ditos computáveis
     • Problemas ditos incomputáveis
       • Parada da Máquina de Turing
       • Problema da correspondência de Post
       • Intersecção de duas linguagens livres de contexto
     • Fundamenta em métodos e técnicas da Matemática
       • Linguagens de Programação
         • Paradigmas de Programação
           • Imperativo
           • Funcional
           • Lógico
           • Orientado a objetos
           • Paralelo
           • Concorrente
     • Campo da ciência da computação
     • Tópicos estudados
       • Matemática discreta
       • Linguagens formais e autômatos
       • Máquinas universais, computabilidade, algoritmos
       • Complexidade, intratabilidade
       • Lógica matemática, gramáticas formais, modelos matemáticos, teoremas
       • Álgebra booleana e a teoria das máquinas sequenciais
       • Teoria das relações e a álgebra relacional
       • Expressões regulares
       • Gramáticas gerativas
       • Teoria da complexidade computacional e de algoritmos
       • Adaptatividade
   • Informática e ciência da computação
     • Análise numérica
     • Modelagem de problemas
     • processos de cálculo
     • Ciência da Computação
     • Métodos teóricos e formais
     • Representação do conhecimento
     • Teoria da Informação
     • Sociedade
       • Bancos
       • Comércio
       • Indústria
       • Comunicação
   • Ciência da computação
     • Teoria dos Autômatos e Complexidade Computacional
     • Desenvolvimento de modelos
     • Linguagens Formais
     • Avaliação dos modelos adotados
     • Apoia-se em bases Matemáticas solidas

2. Conveniência do estudo teorico

   • Linguagens Formais e Autômatos
     • Processamento de linguagens de programação textuais
     • Representação de processos, estruturas e protocolos de comunicação
     • Computação gráfica
     • Visão panorâmica das bases científicas da computação
     • Processamento de linguagens
     • Reconhecimento de padrões e a modelagem de sistemas
     • Compiladores
   • Linguagens de Programação
     • Cálculo Lambda e a Teoria dos Combinadores
       • Programação funcional
     • Lógica de Floyd-Hoare
       • Correção de programas imperativos
     • Teoria de Objetos
       • Programação orientada a objetos
     • Semânticas Formais clássicas
       • Semântica operacional
       • Semântica denotacional
       • Semântica axiomática
   • Ciência da Programação
     • Resistência ao uso de técnicas científicas em uma nova área de conhecimento
       • Desconhecimento
       • Profissional com má-formação
       • Inviabilidade o uso de tecnicas rigorosas em projetos de grande porte
   • Computabilidade
     • Coração da Ciência da Computação
     • Alicerce cientifico para área de informática
     • Aspectos da sintaxe e da semântica de lingua-gens 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
     • 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.
     • Automatização da prova de teoremas
   • Complexidade computacional
     • Compreensão de fenômenos
       • Computação
       • Lógica
       • Aplicações
     • Analisa a viabilidade prática da execução de algoritmos considerados adequados para uma tarefa.
     • Variados formalismos estão disponíveis para sua modelagem e estudo
     • Buscam soluções sejam ao mesmo tempo rápidas e compactas
     • Tópicos estudados
       • Algoritmos
       • Máquina de Turing
       • Lógica booleana e Lógica de Primeira Ordem
       • Classes de Complexidade e sua inter-relação
       • Reduções e completude
       • Criptografia
       • Computação paralela

3. Formação profissional na área

   • Aspectos da formação dos profissionais de computação
     • Má-formação
     • Perda da habilidade de projetar algoritmos
     • Dificuldade de compeensão de assuntos de programação
     • Deficiência na criatividade para a resolução autônoma de problemas