Tiếng AnhTiếng PhápTiếng Tây Ban Nha

Ad


Biểu tượng yêu thích OnWorks

Tải xuống máy tính bình thường cho Linux

Tải xuống miễn phí Ứng dụng Linux Máy tính Ordinal để chạy trực tuyến trong Ubuntu trực tuyến, Fedora trực tuyến hoặc Debian trực tuyến

Đây là ứng dụng Linux có tên là máy tính Ordinal có bản phát hành mới nhất có thể được tải xuống dưới dạng ordInstall.exe. 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 này có tên là máy tính Ordinal 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áy tính bình thường


Ad


MÔ TẢ

Chương trình đánh giá các biểu thức và quan hệ thứ tự. hiển thị đầu ra của biểu mẫu thông thường ở dạng văn bản thuần túy và / hoặc định dạng TeX. Nó hỗ trợ các ký hiệu cho các thứ tự thông qua và phần nào vượt quá những ký hiệu mà hàm Veblen có thể xác định được.



Tính năng

  • Công cụ tương tác để hiểu các thứ tự đệ quy và đếm được
  • Máy tính số học bình thường
  • Một công cụ nghiên cứu để khám phá hệ thống phân cấp thứ tự
  • Hỗ trợ hệ thống phân cấp Veblen, chức năng Veblen và hơn thế nữa
  • Tổng quát hóa các ký hiệu thứ tự đệ quy thành các ký hiệu thứ tự lớn hơn có thể đếm được
  • Tùy chọn đầu ra LaTeX


Khán giả

Khoa học / Nghiên cứu, Giáo dục


Giao diện người dùng

Dòng lệnh


Ngôn ngữ lập trình

C + +


Môi trường cơ sở dữ liệu

Tập tin phẳng



Categories

Toán học, Hướng dẫn có sự hỗ trợ của Máy tính (CAI)

Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/ord/. 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.


Máy chủ & Máy trạm miễn phí

Tải xuống ứng dụng Windows & Linux

  • 1
    Turkdevops
    Turkdevops
    TurkDevOps a ? K kaynak yaz? L? M
    geli? tirici topluluklar? DevTurks-Team
    Taraf?ndan desteklenmektedir..
    Tính năng:https://github.com/turkdevopshttps://turkdevops.g...
    Tải xuống turkdevops
  • 2
    asamdf
    asamdf
    * asammdf * là trình phân tích cú pháp Python nhanh và
    biên tập viên cho ASAM (PGS cho
    Tiêu chuẩn hóa Tự động hóa và
    Hệ thống đo lường) MDF / MF4
    (Định dạng dữ liệu đo lường ...
    Tải xuống asamdf
  • 3
    LAME (Lame Aint một bộ mã hóa MP3)
    LAME (Lame Aint một bộ mã hóa MP3)
    LAME là một công cụ giáo dục được sử dụng
    để tìm hiểu về mã hóa MP3. Các
    Mục tiêu của dự án LAME là cải thiện
    âm thanh tâm lý, chất lượng và tốc độ
    của MP...
    Tải xuống LAME (Lame Aint a MP3 Encoder)
  • 4
    wxPython
    wxPython
    Một tập hợp các mô-đun mở rộng Python
    bọc các lớp GUI đa nền tảng từ
    wxWidgets.. Đối tượng: Nhà phát triển. Người dùng
    giao diện: X Window System (X11), Win32...
    Tải xuống wxPython
  • 5
    góifilemanager
    góifilemanager
    Đây là trình quản lý tệp gói Total War
    dự án, bắt đầu từ phiên bản 1.7. Một
    giới thiệu ngắn về Warscape
    mod: ...
    Tải xuống packfilemanager
  • 6
    IPerf2
    IPerf2
    Một công cụ lưu lượng mạng để đo lường
    Hiệu suất TCP và UDP với các chỉ số
    xung quanh cả thông lượng và độ trễ. Các
    các mục tiêu bao gồm duy trì một hoạt động
    cá tuyết iperf ...
    Tải xuống IPerf2
  • Khác »

Lệnh Linux

Ad