Dominó no ácido Uma estranha variante de solitaire colorida de dominós que visualiza a dedução natural
Baixe Agora

Dominó no ácido Classificação e resumo

Dominó no ácido Tag

ácido Dominó isométrico Motor isométrico Dominó proposição clássica

Dominó no ácido Descrição

Uma estranha variante de solitaire colorida de dominós que visualiza a dedução natural Domino no projeto ácido é uma estranha variante de solitaire coloridas de dominós que visualiza a dedução natural.Superficialmente, dominós no ácido é uma variante de solitaire de dominós com telhas coloridas estranhas (e essa visão é suficiente para jogar o jogo). Mas em um nível mais profundo é uma GUI para dedução natural. Cada dominó completo é equivalente a uma prova de uma tautologia na lógica proposicional clássica. O jogo pode ser jogado on-line como applet ou offline como um aplicativo. Ele é construído em um mecanismo isométrico simples que pode ser usado independente do jogo. Requisitos: · Java 2 Edição Standard Runtime Ambiente

Dominó no ácido Software Relacionado