Please enable JavaScript.
Coggle requires JavaScript to display documents.
A Teoria da Computação e o Profissional de Informática (Linguagens Formais…
A Teoria da Computação e o Profissional de Informática
Imediatismo
Uso mecânico de itens pré-fabricados
Reaproveitamento de técnicas já existentes
Investimento rápido e seguro
Busca por formação científica
Investimento de retorno demorado e arriscado
Área vasta e de conhecimento abrangente
George Boole
Álgebra Booleana
Modelos precisos
Circuito logico eletromecanico
Industrustrialização
Melhoramento de tecnicas
Controle de máquinas
Virtualmente onipresente
Bancos
Comércio
Indústrias
Máquina de Turing
Dados e informações gravados em fitas
Um dos modelos mais conhecidos
Estudo da decidibilidade de algoritmos
Estudiosos tentavam mostrar ser inviável usar computadores para cálculos matemáticos
Aritmética de
Presburger
Duplamente exponencial em complexidade
Determinar se vale a pena desenvolver uma solução
Determinar modelos com menos complexidade
sustentáculo conceitual dos conhecimentos da área
investiga, estabelece e interpreta
propriedades de sistemas computacionais
Estudo academico
Proporcionar assimilação de habilidades matemáticas
Bases conceituais
Maior aproveitamento de outras disciplinas
Se fundamenta em técnicas e métodos matemáticos
Teoria dos conjuntos
Lógica matemática
Modelagem de dados
Banco de dados
Linguagens Formais e automatos
Conceitualmente muito aplicável
Torna possível o profissional desenvolver argumentos matemáticos
Base panoramica das bases da computação
Forte elo entre a pratica e a teoria computacional
Principal tópico de pesquisa da Ciência da Computação
Linguagens de programação
Grande importância teórica na vida do profissional
Cálculo Lambda e a Teoria dos Combinadores
Fundamentam a programação funcional
Semânticas Formais
especificação formal da interpretação das
linguagens de programação