Si tratta dell'app Linux denominata "Ordinal calculator", la cui ultima versione può essere scaricata come ordInstall.exe. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata Calcolatrice ordinale con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Calcolatrice ordinale
Ad
DESCRIZIONE
Il programma valuta espressioni e relazioni ordinali. visualizzare l'output in formato normale in formato testo e/o TeX. Supporta notazioni per ordinali attraverso e in qualche modo oltre quelle definibili dalla funzione di Veblen.
Caratteristiche
- Strumento interattivo per comprendere gli ordinali ricorsivi e numerabili
- Calcolatrice aritmetica ordinale
- Uno strumento di ricerca per esplorare la gerarchia ordinale
- Supporta la gerarchia Veblen, la funzione Veblen e oltre
- Generalizza notazioni ordinali ricorsive a ordinali numerabili più grandi
- Opzione uscita LaTeX
Pubblico
Scienza/Ricerca, Istruzione
Interfaccia utente
Riga di comando
Linguaggio di programmazione
C++
Ambiente database
Archivio base
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/ord/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
