Please enable JavaScript.
Coggle requires JavaScript to display documents.
Os Aspectos Teóricos da Computação (Informática (Ciência da Computação…
Os Aspectos Teóricos da Computação
Informática
Ciência da Computação
Teorias
Análises
Métodos
Cálculo
Modelagens
Teoria da Computação
Tese de Turing-Church
O Cálculo Lambda
As Funções Recursivas
Máquina de Turing
As Gramáticas Gerativas
Os Dispositivos Adaptativos
Matemática Discreta
Teoria dos grafos
Teoria dos conjuntos
Teoria das funções recursivas
Lógica Matemática
gramáticas formais
modelos matemáticos
teoremas
Linguagens formais e autômatos
computação gráfica, em particular as animações computadorizadas, os hipertextos e as hipermídias, as interfaces Web, e as linguagens visuais e não-lineares em geral.
máquinas universais,computabilidade, algoritmos
Teoria da computabilidade
Aspectos da sintaxe e da semântica de linguagens de programação
Metodologia de programação e prova de correção de programas
Programas recursivos
Automatização da prova de teoremas
Linguagens de Programação
programação funcional
programação orientada a objetos
semântica operacional, semântica denotacional e semântica axiomática.
Complexidade Computacional
Algoritmos
Máquina de Turing
Lógica booleana e Lógica de Primeira Ordem
Reduções e completude
Algoritmos para resolução de problemas
George Boole
Álgebra Booleana
Turing
Gödel
Church
Onipresente (softwere, jogos, produtos, comércio, indústria, etc)