Це програма для Linux під назвою LogicCalculus, останню версію якої можна завантажити як LogicCalculus_1.1.1.exe. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою LogicCalculus з 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
Логічне обчислення
ОПИС
LogicCalculus — це логічна IDE для логіки сентенцій і логіки предикатів. Зараз він може оцінювати вирази та заповнювати таблицю істинності.
Функції
- Логіка речень [Готово]
- Логіка предикатів [Заплановано]
- Таблиця істини [Зроблено]
- Власні Junktors [За планом]
- Quantors [За планом]
Аудиторія
Наука/дослідження, освіта, досвідчені кінцеві користувачі, за класом кінцевих користувачів, кінцеві користувачі/комп’ютер
Користувацький інтерфейс
X Window System (X11), Win32 (MS Windows), Qt
Мова програмування
C + +
Середовище бази даних
На основі XML
Категорії
Це додаток, який також можна отримати з https://sourceforge.net/projects/logiccalculus/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.