Acesso mais rápido do que o navegador!
13 relações: Açúcar sintático, Classe de complexidade, Complexidade de circuitos, Complexidade parametrizada, Forma normal prenex, Língua inglesa, Lógica de primeira ordem, LSPACE, P (complexidade), PSPACE, Relação binária, Se e somente se, Universo de discurso.
Açúcar sintático
Em ciência da computação, um açúcar sintático é uma sintaxe dentro da linguagem de programação que tem por finalidade tornar suas construções mais fáceis de serem lidas e expressas.
Novo!!: FO (complexidade) e Açúcar sintático · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: FO (complexidade) e Classe de complexidade · Veja mais »
Complexidade de circuitos
No ramo da Ciência da computação teórica, complexidade de circuitos é um ramo da Teoria da complexidade computacional onde Função booleanas são classificadas de acordo com o tamanho ou o grau dos Circuitos booleanos que as computam.
Novo!!: FO (complexidade) e Complexidade de circuitos · Veja mais »
Complexidade parametrizada
Em ciência da computação, complexidade parametrizada é um ramo da teoria da complexidade computacional que foca em classificar problemas computacionais de acordo com sua dificuldade inerente com respeito a múltiplos parâmetros da entrada.
Novo!!: FO (complexidade) e Complexidade parametrizada · Veja mais »
Forma normal prenex
Na lógica proposicional existem duas formas normais: a forma normal conjuntiva e a forma normal disjuntiva.
Novo!!: FO (complexidade) e Forma normal prenex · Veja mais »
Língua inglesa
Inglês (English) é uma língua indo-europeia germânica ocidental que surgiu nos reinos anglo-saxônicos da Inglaterra e se espalhou para o que viria a tornar-se o sudeste da Escócia, sob a influência do reino anglo medieval da Nortúmbria.
Novo!!: FO (complexidade) e Língua inglesa · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: FO (complexidade) e Lógica de primeira ordem · Veja mais »
LSPACE
Em teoria da complexidade, L (também conhecido como LSPACE ou DLOGSPACE) é a classe de complexidade que contém problemas de decisão os quais podem ser resolvidos por uma máquina de Turing utilizando uma quantidade de espaço de memória logarítmico.
Novo!!: FO (complexidade) e LSPACE · Veja mais »
P (complexidade)
Na teoria da complexidade computacional, P é o acrônimo em inglês para Tempo polinomial determinístico (Deterministic Polynomial time) que denota o conjunto de problemas que podem ser resolvidos em tempo polinomial por uma máquina de Turing determinística.
Novo!!: FO (complexidade) e P (complexidade) · Veja mais »
PSPACE
Na teoria da complexidade computacional, PSPACE é o conjunto de todos os problemas de decisão que podem ser resolvidos por uma máquina de Turing usando uma quantidade polinomial de espaço.
Novo!!: FO (complexidade) e PSPACE · Veja mais »
Relação binária
Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.
Novo!!: FO (complexidade) e Relação binária · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: FO (complexidade) e Se e somente se · Veja mais »
Universo de discurso
O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados.
Novo!!: FO (complexidade) e Universo de discurso · Veja mais »
