Pertanyaan yang diberi tag «induction»

Dalam kursus Teori Komputasi saya, banyak masalah kami melibatkan penggunaan induksi pada panjang string input untuk membuktikan pernyataan tentang automata terbatas. Saya mengerti induksi matematika, namun ketika string mulai dimainkan, saya benar-benar tersandung. Saya akan sangat menghargai jika seseorang akan melalui proses pembuatan bukti setahap demi setahap. Inilah contoh masalah …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Saya membaca buku HoTT dan mengalami kesulitan dengan induksi jalur. Ketika saya melihat jenis di bagian 1.12.1 : saya tidak punya masalah memahami apa artinya (saya baru saja menulis jenis dari memori, untuk memeriksa itu).ind=SEBUAH: ∏C: ∏x , y:A( x =SEBUAHy) → U( ( ∏x :AC( x , x ,reflx) …

17 induction  dependent-types  homotopy-type-theory 

Apakah "secara induktif" dan "secara rekursif" berarti sangat mirip? Misalnya, jika ada algoritma yang menentukan vektor n-dim dengan menentukan komponen k +1 pertama berdasarkan komponen k pertama yang telah ditentukan, dan diinisialisasi dengan komponen pertama, akankah Anda menyebutnya bekerja secara rekursif atau induktif? Saya telah menggunakan "secara rekursif", tetapi hari …

11 algorithms  terminology  recursion  induction 

Apa itu induksi-induksi ? Sumber daya yang saya temukan adalah: buku HoTT , di akhir bab 5.7. Artikel nLab sebuah makalah yang disebut definisi induktif-induktif posting blog ini juga menyebutkan tipe induktif-induktif Dua referensi pertama terlalu singkat untuk saya, dan dua yang terakhir terlalu teknis. Adakah yang bisa menjelaskannya dalam …

11 type-theory  induction  inductive-datatypes 

Bukti ini adalah bukti melalui induksi, dan berlaku sebagai berikut: P (n) adalah pernyataan bahwa "Quicksort dengan benar mengurutkan setiap larik input dengan panjang n." Kasus dasar: setiap larik input dengan panjang 1 sudah diurutkan (P (1) berlaku) Langkah induktif: fix n => 2. Perbaiki beberapa larik input dengan panjang …

10 correctness-proof  induction  quicksort