Please enable JavaScript.
Coggle requires JavaScript to display documents.
Teoria da Computação (Temas de Destaque (lógica matemática, gramáticas…
Teoria da Computação
Temas de Destaque
Matemática Discreta
Linguagens Formais e autômatos
Linguagem Natural
Linguagem regular
Compiladores
sintaxe
linguagens
de programação
Cálculo Lambda
Lógica de Floyd-Hoare
Teoria de Objetos
Semânticas Formais
hipertextos
interfaces Web
Computabilidade
Técnica de computabilidade
Programas recursivos
Conjuntos
Máquina de Turing e formulações alternativas
da teoria da computabilidade
Complexidade Computacional
máquinas finitas sequenciais com entrada e
saída
computação evolutiva e sistemas nebulosos.
lógica matemática, gramáticas formais
Computabilidade e Decidibilidade
Lógica booleana
Algoritmos
Classes de Complexidade
Classes de Complexidade
Computação (uso de algoritmos para a resolução de
problemas)
Ciência da Computação
Informatica
Álgebra Booleana
Industrialização
Algoritimos
Turing
Gödel
Church
década de 1950, Chomsky (Linguística)
análise léxica
sintática de linguagens
linguagem natural
sintática de linguagens
de programação
Informação e sua manipulação automática
Modelagem
Métodos
Análises
Teorias
Calculo
Teoria Dos Conjuntos
Lógica Matemática
Linguagens de Programação
Imperativo
Orientado a Objeto
Paralelo
Corrente
Pré-Computadores
Soluções gerais de computação
Modelos de Computação abstratas
Cálculo Lambda
Funções Recursivas
Gramáticas Gerativas
Dispositivos Adaptativos
estuda e compara modelos de computação, as classes de problemas que cada um deles consegue resolver e os limites a que cada qual está sujeito
Problemas incomputáveis
O Problema da parada da Maquina de Turing
Correspondência de Post
Problemas Impraticáveis (Que não vale a pena)
Praticáveis
Decibilidade de Algorítimos
Aritmética de
Presburger
Teoria da Computação
Máquina de Turing
complexidade mínima
linguagens formais
Chomsky
linguagens regulares
Autômatos
Linguagens Livres de contexto
pilha
Linguagens contextualizadas
Linguagens de programação