Ilmu Komputer

11
Contoh Tingkat Kesehatan & Kelengkapan Inferensi

Apakah contoh berikut ini benar tentang apakah algoritma inferensi suara dan lengkap ? Misalkan kita memiliki jarum a, b, c di tumpukan jerami, dan juga memiliki algoritma inferensi yang dirancang untuk menemukan jarum. sound - Hanya jarum a, b dan c yang diperoleh. complete - Jarum a, b dan c...

11
himpunan bagian dari set rekursif tak terbatas

Pertanyaan ujian baru-baru ini adalah sebagai berikut: adalah himpunan enumerable rekursif tak terbatas. Buktikan bahwa A memiliki subset rekursif tak terbatas.SEBUAHAASEBUAHAA Biarkan menjadi bagian rekursif tak terbatas A . Haruskah C memiliki subset yang tidak dapat dihitung berulang...

11
Sebuah

Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

11
Apakah

Jadi saya punya pertanyaan ini untuk membuktikan pernyataan: ...O ( n ) ⊂ Θ ( n )O(n)⊂Θ(n)O(n)\subset\Theta(n) Saya tidak perlu tahu bagaimana membuktikannya, hanya saja dalam pikiran saya ini tidak masuk akal dan saya pikir itu seharusnya lebih dari itu .Θ ( n ) ⊂ O ( n...