Please enable JavaScript.
Coggle requires JavaScript to display documents.
Informática (Ciência da Computação (Teorias (Teoria da Computação (Teoria…
Informática
Ciência da Computação
Modelagens
Cálculos
Análises
Teorias
Teoria da Computação
Linguística
Linguagens Formais
Chomsky
Gramáticas Gerativas
Linguagens de Programação
Imperativo
Funcional
Lógico
Orientada a Objetos
Paralelo
Concorrente
Paradigmas
Análise Léxica
Análise Sintática
Autômatos
Teoria dos conjuntos
Engenharia de Software
Software Básico
Modelagem de Dados
Teoria dos Bancos de Dados
Relações e Funções
Álgebra
Modelo Relacional
Matemática Discreta
Teoria dos Grafos
Teoria das Funções Recursivas
Lógica Matemática
Complexibilidade
Intrabilidade
Máquina finitas sequenciais com entrada e saída
Transdutores
Máquina de Mealy
Máquina de Moore
Gramáticas Formais
Modelos matemáticos
Teoremas
Aspectos Teóricos Subjacentes a Redes Neurais
Computação Evolutiva
Sistemas Nebulosos
Teoria da Informação
Teoria da Computabilidade
Problemas Computáveis
Impraticáveis
Praticáveis
Problemas Incomputáveis
Problema da parada da Máquina de Turing
Problema da correspondência de Post
Determinar se a intersecção de duas linguagens livres de contexto arbitrárias é também livre de contexto
Determinar, para uma gramática livre de contexto sobre um alfabeto nãounitário, se a linguagem que ela representa é regular
Determinar se uma gramática livre de contexto arbitrária é ambígua
Determinar se uma linguagem livre de contexto arbitrária é inerentemente ambígua
Teoria dos Autômatos
Álgebra de Boole
Circuitos Lógicos
Máquinas Universais
Computadores
Algoritmos
Alan Turing
Máquina de Turing
Gödel
Church
Linguagens Formais
Complexidade Computacional
Teoria da Informação
Análise Numérica
Representação do Conhecimento
Modelagem de problemas
Métodos Teóricos e Formais
Processos de Cálculo