Це програма для Linux під назвою Toss для роботи в Linux онлайн, останню версію якої можна завантажити як toss_1.0.zip. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Toss, щоб безкоштовно запускати в Linux онлайн з OnWorks.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
Киньте для запуску в Linux онлайн
ОПИС
Toss — це програма, яка дозволяє досліджувати використання логіки та термінів у різних моделях. На статичній стороні можна малювати графіки та перевіряти їх властивості, аксіоми та скорочення. Тоді,з динамічної сторони ви можете моделювати багатокористувацькі ігри як з дискретною, так і безперервною динамікою. Ви можете грати в ігри, автоматично генерувати стратегії та аналізувати можливу поведінку щодо різних логічних формул.
Аудиторія
Освіта, наука/дослідження
Користувацький інтерфейс
Веб-
Мова програмування
JavaScript, OCaml (Objective Caml)
Середовище бази даних
SQLite
Це додаток, який також можна отримати з https://sourceforge.net/projects/toss/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
