Amazon Best VPN GoSearch

Favicon OnWorks

Pakej Perhubungan Universiti Kiel untuk dijalankan di Linux dalam talian lakukan

Muat turun percuma pakej Kiel University Relation untuk dijalankan di Linux dalam talian aplikasi Linux untuk dijalankan dalam talian di Ubuntu dalam talian, Fedora dalam talian atau Debian dalam talian

Ini ialah apl Linux bernama Kiel University Relation pakej untuk dijalankan di Linux dalam talian yang keluaran terbarunya boleh dimuat turun sebagai kure2-2.2.tar.gz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.

Muat turun dan jalankan dalam talian aplikasi bernama Kiel University Relation pakej 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.

Pakej Perhubungan Universiti Kiel untuk dijalankan di Linux dalam talian


Ad


DESCRIPTION

Kure ialah perpustakaan C yang menyediakan manipulasi hubungan dan operasi algebra hubungan menggunakan pelaksanaan pantas menggunakan rajah keputusan binari. Ia menyediakan bahasa pengaturcaraan terbenam khusus domain berasaskan Lua untuk memanipulasi dan bekerja dengan perhubungan dengan mudah. Sebagai contoh, memandangkan hubungan R, S, tuplingnya boleh dikira menggunakan [R,S] dan ia boleh digubah menggunakan R*S.

Ciri-ciri

  • Perwakilan dan manipulasi hubungan besar sewenang-wenangnya, cth 2^100 x 2^100.
  • Pemalar perhubungan: Semua, batal, identiti.
  • Hubungan istimewa: Keahlian, fungsi separa dan jumlah, pengganti, domain.
  • Fungsi asas: Mencantum, bertemu, menggubah, melengkapkan, menukar.
  • Perbandingan perhubungan dan perbandingan perhubungan mengikut kardinaliti.
  • Penutupan refleksif, simetri dan transitif.
  • Sisa kiri dan kanan serta hasil bagi simetri.
  • Jumlah langsung, tupling, pesanan produk dan pesanan jumlah.
  • Domain untuk produk langsung binari dan jumlah langsung termasuk fungsi unjuran.
  • Boleh skrip sepenuhnya dan boleh dikembangkan menggunakan Lua.
  • Bahasa pengaturcaraan terbenam khusus domain untuk skrip peringkat tinggi.
  • Ditulis dalam C menggunakan POSIX.


Penonton

Sains/Penyelidikan, Pemaju



Bahasa Pengaturcaraan

C, Lua, Yacc



Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/kure/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.


Pelayan & Stesen Kerja Percuma

Muat turun apl Windows & Linux

Arahan Linux

Ad




×
Pengiklanan
❤ ️Beli, tempah atau beli di sini — tanpa kos, membantu memastikan perkhidmatan percuma.