Đây là ứng dụng Linux có tên Logic Lab có bản phát hành mới nhất có thể được tải xuống dưới dạng upd.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Logic Lab với OnWorks này miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH:
Phòng thí nghiệm logic
SỰ MIÊU TẢ:
Đây là một bộ giao diện trình giải phần mềm toán học trên DLV và các trình giải dòng lệnh khác. Nó giúp các nhà nghiên cứu và sinh viên hiểu rõ hơn các định nghĩa khai báo của họ được công bố trên các bài báo. Người dùng có thể có các liên kết đến các tài liệu liên quan và đến phần mềm của các định nghĩa tương ứng.Tính năng
- logic toán học
- lập trình câu trả lời
- đại diện kiến thức
- lý luận
Khán giả
Công nghệ thông tin, Khoa học / Nghiên cứu, Giáo dục, Quản trị hệ thống, Kỹ thuật
Giao diện người dùng
Dựa trên web
Ngôn ngữ lập trình
Unix Shell, C, PHP, Yacc
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/logic-lab/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.