Este é o aplicativo Linux chamado LogicCalculus cuja versão mais recente pode ser baixada como LogicCalculus_1.1.1.exe. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado LogicCalculus com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
LógicaCálculo
DESCRIÇÃO
LogicCalculus é um IDE lógico para a lógica sentencial e a lógica de predicado. Atualmente pode avaliar expressões e preencher uma tabela verdade.
Recursos
- Lógica sentencial [Concluído]
- Lógica de predicado [planejada]
- Tabela da verdade [concluído]
- Próprios Junktors [planejados]
- Quantores [planejados]
Público
Ciência / pesquisa, educação, usuários finais avançados, por classe de usuário final, usuários finais / desktop
Interface com o usuário
Sistema X Window (X11), Win32 (MS Windows), Qt
Linguagem de Programação
C + +
Ambiente de Banco de Dados
Baseado em XML
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/logiccalculus/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.