Pertanyaan yang diberi tag «finite-model-theory»

6
Menghasilkan Kombinasi dari serangkaian pasangan tanpa pengulangan elemen
Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …
2
Apakah operasi 'perbedaan' menambah ekspresif ke bahasa permintaan yang sudah termasuk 'bergabung'?
Operator perbedaan set (misalnya, EXCEPTdalam beberapa varian SQL) adalah salah satu dari banyak operator dasar aljabar relasional. Namun, ada beberapa database yang tidak mendukung operator perbedaan set secara langsung, tetapi yang mendukung LEFT JOIN(semacam gabungan luar), dan dalam praktiknya ini dapat digunakan sebagai pengganti operasi perbedaan set untuk mencapai efek …
2
Mengapa titik tetap (lfp) paling tidak penting dalam analisis program
Saya mencoba untuk mendapatkan gambaran besar tentang pentingnya titik tetap (lfp) dalam analisis program. Misalnya interpretasi abstrak tampaknya menggunakan keberadaan lfp. Banyak makalah penelitian tentang analisis program juga sangat berfokus pada menemukan titik paling tidak tetap. Lebih khusus lagi, artikel ini di wikipedia: Knaster-Tarski Theorem menyebutkan bahwa lfp digunakan untuk …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.