Please enable JavaScript.
Coggle requires JavaScript to display documents.
Profissional de Informática (Teoria da Computação (Estuda modelos formais…
Profissional de Informática
2 Tendências tecnológicas
Reaproveitamento de produtos e resultados de esforços anteriores
Prioriza o desenvolvimento de trabalhos centrados na criatividade
Incentivo aos estudos e à pesquisa de base, sem objetivos especulativos ou lucrativos
Motivação
Valor que pode agregar, tanto à qualidade do profissional de Informática como à dos produtos desenvolvidos pelos profissionais
Informática
A Informática dedica-se ao estudo do processamento lógico e automático da informação
O termo computação costuma ser empregado para designar o uso de algoritmos para a resolução de problemas.
Teoria da Computação
Estuda modelos formais de computação, sua aplicabilidade e sua viabilidade prática à resolução das diversas classes existentes de problemas
Modelos de computação
Cálculo Lambda
Máquina de Turing
Funções Recursivas
Gramáticas Gerativas
Dispositivos Adaptativos
Teoria da Computabilidade
Investiga a possibilidade de máquinas computacionais apresentarem ou não a capacidade de realizarem automaticamente determinados tipos de computação.
Se ocupa do estudo de problemas que permitem a obtenção de soluções algorítmicas, ou seja, representáveis através de programas de computador
Matemática Discreta
Lógica Matemática
"flor da ciência da computação"
cujas pétalas seriam a complexidade, as linguagens de programação, os sistemas de programação e os compiladores
Linguagem de Programação
O Cálculo Lambda e a Teoria dos Combinadores
A Lógica de Floyd-Hoare
Teoria de Objetos
As Semânticas Formais clássicas
Para atender às necessidades de uma época em que se faz necessário exigir do profissional uma capacitação cada vez melhor e mais ampla, é preciso um constante esforço de reciclagem e atualização