Este é o aplicativo Linux chamado Hilbert II - QEDEQ cuja última versão pode ser baixada como qedeq_0.04.07_win.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Hilbert II - QEDEQ 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
Hilberto II - QEDEQ
DESCRIÇÃO
Na tradição do programa de Hilbert, criamos uma base de conhecimento matemático formal correto (verificável por um verificador de prova), mas legível (como um livro de texto LaTeX comum) que é livremente acessível na Internet. A lógica e a teoria dos conjuntos começaram.
Recursos
- QEDEQ
Público
Desenvolvedores, Educação, Usuários Finais / Desktop, Outro Público, Ciência / Pesquisa
Interface com o usuário
Linha de comando, Gnome, Java Swing, Win32 (MS Windows), Windows Aero, X Window System (X11)
Linguagem de Programação
Java
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/pmii/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.