Analisando propostas

Demostrador de deducción natural

Publicado em 13 de Março de 2025 dias na TI e Programação

Sobre este projeto

Aberto

Quiero un sencillo programa en HTML5 que permita ofrecer demostraciones de razonamientos de deducción natural, de premisas y conclusión que teclee el usuario, con la posibilidad de hacer una demostración directa o por reducción al absurdo, saliendo en una tabla la vía de razonamiento y los pasos a seguir, por ejemplo, modus ponens, tollens, silogismo disyuntivo, etc.

Categoria TI e Programação
Subcategoria Programação
Qual é o alcance do projeto? Criar um novo site personalizado
Isso é um projeto ou uma posição de trabalho? Um projeto
Tenho, atualmente Eu tenho uma ideia geral
Disponibilidade requerida Conforme necessário
Funções necessárias Desenvolvedor

Prazo de Entrega: Não estabelecido

Habilidades necessárias

JavaScript CSS HTML

Voce gostaria de começar trabalhar neste projeto?

Entre com sua conta Workana ou faça o seu cadastro! Potencialize seu trabalho freelancer