Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

Trong truyền thống của chương trình Hilbert, chúng tôi tạo ra một chính thức chính xác (checkable bởi một verifier bằng chứng) nhưng có thể đọc được (giống như một cuốn sách giáo khoa LaTeX bình thường) cơ sở kiến thức toán học đó là tự do truy cập trong internet. Logic và lý thuyết tập hợp bắt đầu.

lịch sử phiên bản

  • Phiên bản 0.04.02 đăng trên 2011-05-01
  • Phiên bản 0.04.11 đăng trên 2011-03-05
    Một số bản sửa lỗi và cập nhật

Chi tiết chương trình

Các chương trình liên quan

  • GET_IT - Game Engine Tutorial in TCL Miễn phí

    Dự án này đã bị đóng cửa một thời gian trước đây. Nếu bạn muốn lấy tên dự án, chỉ cần e-mail cho tôi.

  • SPINA Miễn phí

    SPINA là phần mềm để xác định các thông số cấu trúc liên tục của các hệ thống kiểm soát phản hồi nội tiết từ mức độ hormone thu được trong vivo. Phiên bản đầu tiên của phương pháp điều khiển học này cho phép evualuating tình

  • Meshgen Miễn phí

    Meshgen được thiết kế để tạo ra tương tác 2D FEM lưới bao gồm các yếu tố hình tam giác và tứ giác.

  • Vocabulary Builder for GRE SAT Dùng thử miễn phí

    Manhattan Review giới thiệu ứng dụng di động đầu tiên ở Ấn Độ. Bạn có thể học những từ mới sẽ giúp bạn chuẩn bị cho GRE, SAT, TOEFL và IELTS. Bạn cũng có thể đánh giá kiến thức của bạn về các từ và kiểm tra kỹ năng từ vựng

  • Carrying the Word Dùng thử miễn phí

    Carrying the Word, xuất bản bởi Nhà xuất bản Đại học ColoradoMua ebook drm miễn phí này ngay hôm nay! Được cung cấp bởi Aldiko.Nghiên cứu chiều dài đầy đủ đầu tiên của các vũ công Concheros, có sử dụng các liên kết khi

  • Moritz Miễn phí

    Moritz là một &addon" để doxygen công cụ nổi tiếng. Nó tạo ra sơ đồ nassi shneiderman của các chức năng và phương pháp trong một nguồn c/c++ như html-files, mà có thể được bao gồm trong một phần mềm-dokumentaion

  • Birdlogger Miễn phí

    Một chương trình khai thác gỗ chim để hỗ trợ các nhà điểu học và người theo dõi chim trong việc khai thác gỗ nhìn thấy chim. Trong Visual Basic, cho Windows và Linux. Tiếng Anh và tiếng Pháp.

  • Bowtie Miễn phí

    Bowtie, một aligner đọc ngắn siêu nhanh, hiệu quả bộ nhớ cho các trình tự DNA ngắn (lần đọc) từ sequencers thế hệ tiếp theo. Xin trích dẫn: Langmead B, et al. Sự liên kết siêu nhanh và hiệu quả bộ nhớ của các trình tự DNA ngắ

  • LaserFoam Miễn phí

    LaserFoam thực hiện mô phỏng các xung laser bằng cách sử dụng phương pháp Fourier bước tách thích ứng để giải quyết phương trình Schrdinger phi tuyến tổng quát. Nó cung cấp một môi trường đồ họa để chạy và hình dung các kết q

  • Daylight Chart Miễn phí

    Biểu đồ ánh sáng ban ngày hiển thị thời gian mặt trời mọc và hoàng hôn trong một biểu đồ hấp dẫn, cho bất kỳ vị trí nào trên thế giới. Hiệu quả của thời gian tiết kiệm ánh sáng ban ngày cũng được hiển thị. Biểu đồ có thể được