12 relações: Computação interativa, Journal of Symbolic Logic, Lógica, Lógica clássica, Lógica do diálogo, Lógica intuicionista, Lógica linear, Matemática, Semântica, Teoria da computabilidade, Teoria dos jogos, Tese de Church-Turing.
Computação interativa
Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo.
Novo!!: Lógica da computabilidade e Computação interativa · Veja mais »
Journal of Symbolic Logic
O Journal of Symbolic Logic é um periódico de matemática revisado por pares, publicado trimestralmente pela Association for Symbolic Logic.
Novo!!: Lógica da computabilidade e Journal of Symbolic Logic · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Lógica da computabilidade e Lógica · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Lógica da computabilidade e Lógica clássica · Veja mais »
Lógica do diálogo
Lógica do Diálogo (dialogische Logik, traduzido como ''Lógica Dialógica'') é uma abordagem para a semântica formal que fundamenta os conceitos de verdade e validade no escopo de teoria dos jogos, como a existência de uma estratégia de vitória para um jogador, que se assemelha, de certa forma, ao Diálogo socrático e à teoria das obligationes medieval.
Novo!!: Lógica da computabilidade e Lógica do diálogo · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Lógica da computabilidade e Lógica intuicionista · Veja mais »
Lógica linear
Lógica linear é um lógica subestrutural proposta por Jean-Yves Girard como um refinamento da lógica clássica e intuicionista, juntando as dualidades da primeira com muitas das propriedades construtivas da última.
Novo!!: Lógica da computabilidade e Lógica linear · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Lógica da computabilidade e Matemática · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Lógica da computabilidade e Semântica · Veja mais »
Teoria da computabilidade
A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.
Novo!!: Lógica da computabilidade e Teoria da computabilidade · Veja mais »
Teoria dos jogos
Teoria dos jogos ou Teoria de jogos é um ramo da matemática aplicada que estuda situações estratégicas onde jogadores escolhem diferentes ações na tentativa de melhorar seu retorno.
Novo!!: Lógica da computabilidade e Teoria dos jogos · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Lógica da computabilidade e Tese de Church-Turing · Veja mais »