9 relações: Ciência da computação, Computação interativa, Conectivo lógico, Jean-Yves Girard, Lógica, Lógica linear, Lógica matemática, Teoria da prova, Wiki.
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Ludics e Ciência da computação · Veja mais »
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!!: Ludics e Computação interativa · Veja mais »
Conectivo lógico
Diagrama de Hasse dos conectivos lógicos. Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais.
Novo!!: Ludics e Conectivo lógico · Veja mais »
Jean-Yves Girard
Jean-Yves Girard é um lógico francês que trabalha em teoria da prova.
Novo!!: Ludics e Jean-Yves Girard · 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!!: Ludics e Lógica · 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!!: Ludics e Lógica linear · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Ludics e Lógica matemática · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Ludics e Teoria da prova · Veja mais »
Wiki
Em informática, o web wiki (do havaiano "super veloz") é um sistema de gestão de conteúdo e também uma linguagem de marcação utilizada em website que contém hipertexto e hiperligações que trabalham com o software wiki, no qual vários usuários modificam/editam colaborativamente ao mesmo tempo o seu conteúdo e/ou a estrutura do wiki diretamente usando um navegador web, com a ajuda de um editor de texto enriquecido.
Novo!!: Ludics e Wiki · Veja mais »