«induction» etiketlenmiş sorular

1
Giriş dizesinin uzunluğunda indüksiyon kullanarak nasıl bir kanıt yazabilirim?
Hesaplama Teorisi dersimde, sorunlarımızın birçoğu, sonlu otomata hakkında ifadeleri kanıtlamak için giriş dizesinin uzunluğuna indüksiyon kullanmayı içerir. Matematiksel tümevarımı anlıyorum, ancak dizeler çaldığında gerçek açıldım. Birisi adım adım böyle bir kanıt yapma sürecinden geçerse gerçekten çok memnun olurum. İşte bir örnek problem (Hopcroft ve Ullman 3rd Edition'dan Egzersiz 2.2.10): Aşağıdaki …

3
Yol indüksiyonu yapıcı mıdır?
İçinden okuyorum HOTT kitapta ve yol indüksiyon ile zor anlar var. I bölümünde tip baktığımızda 1.12.1 : bunun ne anlama geldiğini anlamada bir sorunum yok (bunu kontrol etmek için türü bellekten yazdım).ind=bir: ∏C: ∏x , y: A( x =biry) → U( ( ∏x : AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} …

3
“Tümevarımsal” ve “özyineli olarak” çok benzer anlamları var mı?
"Endüktif" ve "özyinelemeli" çok benzer mi demek? Örneğin, belirlenen ilk k bileşenlerine dayanarak ilk k + 1 bileşenlerini belirleyerek n-dim vektörünü belirleyen bir algoritma varsa ve ilk bileşenle başlatılırsa, özyinelemeli mi yoksa indüktif olarak mı çalıştığını söyler misiniz? Ben "özyinelemeli" kullanıyorum, ama bugün birisi "endüktif" dedi.

1
İndüksiyon-indüksiyon nedir?
Ne indüksiyon-indüksiyon ? Bulduğum kaynaklar: HoTT kitabı , bölüm 5.7'nin sonunda. nLab'ın makalesi adı verilen bir kağıt Endüktif endüktif tanımlar bu blog yazısı ayrıca tümevarımsal-tümevarımcı türlerden de bahseder İlk iki referans benim için çok kısa, son iki referans ise çok teknik. Herkes layman'ın terimiyle açıklayabilir mi? Agda kodu varsa daha …

3
Bu Quicksort Düzeltme kanıtını anlamaya çalışmak
Bu kanıt, tümevarımın kanıtıdır ve aşağıdaki gibi devam eder: P (n) "Quicksort, n uzunluğundaki her girdi dizisini doğru bir şekilde sıralar." Temel durum: 1 uzunluktaki her giriş dizisi zaten sıralanmıştır (P (1) tutar) Endüktif adım: n => 2'yi düzeltin. N uzunluğunda bir girdi dizisini düzeltin. Gösterilmesi gereken: P (k) tüm …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.