Ini ialah apl Linux bernama bahasa pembangunan matematik untuk dijalankan di Linux dalam talian yang keluaran terbaharunya boleh dimuat turun sebagai mdl-0.8.7-72.tar.gz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama bahasa pembangunan matematik ini untuk dijalankan di Linux dalam talian dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
bahasa pembangunan matematik untuk dijalankan di Linux dalam talian
Ad
DESCRIPTION
mdl ialah sistem matematik formal, yang dibahagikan kepada 2 peringkat: bahasa peringkat tinggi untuk perwakilan matematik yang boleh dibaca manusia dan bahasa peringkat rendah untuk pengesahan yang boleh dipercayai. Pada masa ini, sebagai bahasa aras rendah mdl menggunakan sistem metamat.Penonton
Sains/Penyelidikan
Antaramuka pengguna
Konsol/Terminal
Bahasa Pengaturcaraan
C + +
Ini ialah aplikasi yang juga boleh diambil daripada https://sourceforge.net/projects/mathdevlanguage/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
