Dit is de Linux-app genaamd Hilbert II - QEDEQ waarvan de nieuwste release kan worden gedownload als qedeq_0.04.07_win.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd Hilbert II - QEDEQ gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
Hilbert II - QEDEQ
PRODUCTBESCHRIJVING
In de traditie van Hilberts programma creëren we een formeel correcte (controleerbaar door een bewijsverificateur) maar leesbare (zoals een gewoon LaTeX-leerboek) wiskundige kennisbasis die vrij toegankelijk is via internet. Logica en verzamelingenleer begonnen.
Voordelen
- QEDEQ
Toehoorders
Ontwikkelaars, Onderwijs, Eindgebruikers/Desktop, Ander publiek, Wetenschap/Onderzoek
Gebruikersinterface
Commandoregel, Gnome, Java Swing, Win32 (MS Windows), Windows Aero, X Window System (X11)
Programmeertaal
Java
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/pmii/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
