Đây là ứng dụng Linux có tên frdcsa để chạy trong Linux trực tuyến có bản phát hành mới nhất có thể được tải xuống dưới dạng frdcsa-panoply-git-20200329.tgz. 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 frdcsa này để chạy trong Linux trực tuyến với OnWorks 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
Ad
frdcsa để chạy trong Linux trực tuyến
MÔ TẢ
Bản phát hành đầu tiên của hệ thống trí tuệ nhân tạo miễn phí / libre dài 20 năm. Dự án bao gồm hai hướng: FRD - để chứng minh định lý tự động, và CSA - dành cho phần mềm mục đích chung. Một khía cạnh khác là liệu phần mềm có được thu thập và / hoặc viết hay không. FRDCSA có cả hai cách tiếp cận. Nói chung FRDCSA là đa tốc độ. Ví dụ, sử dụng cả công nghệ biểu tượng và công nghệ kết nối. Mục đích là tối đa hóa năng lực giải quyết vấn đề / khả năng chứng minh lý thuyết. Xem máy tính như các hệ thống toán học chính thức. Do đó liên quan đến các định lý về tính đầy đủ của Turing và Feferman. Phiên bản đã phát hành (Panoply-Git) nhất thiết phải được biên tập lại và lỗi thời. Với một số hỗ trợ, có thể phát hành một phiên bản cập nhật hơn. Đi kèm với phiên bản đầu tiên của Free Life Planner, một hệ thống dựa trên Prolog để giúp bạn quản lý cuộc sống của mình. Nhiều (89) hệ thống khác, ngoại trừ cơ sở mã bên ngoài và git hầu như không được bao gồm do không gian, nhưng RADAR cho phép bạn thu thập chúng. Sẽ phát hành sau với sự giúp đỡ.Tính năng
- Trí tuệ nhân tạo
- Kỹ thuật phần mềm
- Tập đoàn phần mềm
- Lập kế hoạch, Lập lịch trình và Thực hiện
- GNU / Linux
- Máy ảo
- Chứng minh định lý tự động
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/frdcsa/. 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.
