«lambda-calculus» etiketlenmiş sorular

λ-hesabı fonksiyonel programlamanın matematiksel temelini oluşturan fonksiyon tanımı, fonksiyon uygulaması ve özyineleme için resmi bir sistemdir.

2
Y birleştiricisi “Lambda matematiği tutarsızlığını” nasıl örneklemektedir?
Sabit Nokta Kombinatorleri için Wikipedia sayfasında oldukça gizemli metinler yazılmıştır. Y birleştiricisi, Lambda hesabını tutarsız kılanın bir örneğidir. Bu yüzden şüphe ile kabul edilmelidir. Bununla birlikte, Y birleştiricisini yalnızca matematik mantığında tanımlandığı zaman düşünmek güvenlidir. Bir çeşit casus romanına girdim mi? Dünyada “ calculus ” un “tutarsız” olduğu ve “şüphe …
2
Kuantum lambda taşı
Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır. Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. …
2
Lambda Calculus tamamen sözdizimsel midir?
Birkaç haftadan beri Lambda Calculus hakkında okudum, ancak henüz mevcut matematiksel işlevlerden maddi olarak farklı olan bir şey görmedim ve bunun sadece bir gösterim meselesi olup olmadığını veya herhangi bir yeni olup olmadığını bilmek istiyorum. Her matematiksel fonksiyon için geçerli olmayan lamda matematiği aksiyomları tarafından yaratılan özellikler veya kurallar. Örneğin, …
2
Sendika tipi olan lamda terimlerinin karakterizasyonu
Birçok ders kitabı lambda-matemindeki kesişim tiplerini kapsar. Kavşak için yazım kuralları aşağıdaki gibi tanımlanabilir (basit bir şekilde alt tipleme ile yazılan lambda hesabının üstüne): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} {\Gamma \vdash M …
5
-calculus yansıması
Çalışan programların iç içe geçmesi ve manipülasyonu gibi yansıma mantığını destekleyen basit bir hesabı arıyorum . Birinin λ- termleri sözdizimsel olarak manipüle edilebilecek ve daha sonra değerlendirilebilecek bir forma dönüştürmesini sağlayan türetilmemiş bir hesabı uzantısı var mı?λλ\lambdaλλ\lambda Analizin iki ana ek terimi olduğunu hayal ediyorum: : alır v ve bir …
5
İşlevsel diller neden Turing tamamlandı?
Belki de konuyla ilgili sınırlı bir anlayışım yanlıştır, ancak şu ana kadar anladığım şey bu: İşlevsel programlama, Alonzo Church tarafından formüle edilen Lambda Calculus'a dayanmaktadır. Zorunlu programlama, Church'un öğrencisi Alan Turing tarafından yapılan Turing makine modeline dayanmaktadır. Lambda hesabı, Turing Makinası gibi güçlü ve muktedir olduğunu onlar hesaplama kapasitesiyle eşdeğerdir …
5
Lambda hesabı fonksiyonel programlama dışında mı?
Ben bir üniversite öğrencisiyim ve şu anda Lambda Calculus üzerinde çalışıyoruz. Ancak, bunun neden benim için yararlı olduğunu anlamakta hala zorlanıyorum. İşlevsel programlamanın birçoğunu yaparsanız bunun yararlı olabileceğini anlıyorum, ancak fonksiyonel programlamayı öğrenmek için gerçekten gerekli olmadığını düşünüyorum, ne düşünüyorsunuz? İkincisi, Lambda Calculus'un Bilgisayar Bilimi alanında ama işlevsel programlama dillerinin …
2
Beta denkliği nedir?
Şu anda lambda hesabı üzerinde okuduğum senaryoda beta eşdeğerliği şu şekilde tanımlanıyor: ββ\beta -denklik ≡β≡β\equiv_\beta içeren en küçük denklik olduğunu →β→β\rightarrow_\beta . Bunun ne anlama geldiği hakkında hiçbir fikrim yok. Birisi daha basit bir şekilde açıklayabilir mi? Belki bir örnekle? Kilise-Russer teoreminden sonra bir lemmaya ihtiyacım var, ≡β≡β\equiv_\beta↠ β↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta
2
Birleştirici hesabı için temel kümeler
S ve K birleştiricilerinin, diğer tüm birleştiricilerin kendileri cinsinden ifade edilebileceği anlamında, birleştirici hesabı için bir temel oluşturduğu iyi bilinmektedir. Aynı özelliğe sahip Curry's B, C, K, W temeli de vardır. Sonsuz sayıda bu tür üsler olmalı, ama başka birini bilmiyorum. Iota birleştirici ve Fokker tarafından inşa edilen / gözden …
4
Lambda hesabında fonksiyonların anonim olması neden önemlidir?
Jim Weirich'in ' Fonksiyonel Programlamada Maceralar ' başlıklı dersini izliyordum . Bu derste, esas olarak yüksek dereceli fonksiyonlar için sabit noktayı bulan Y-birleştiriciler kavramını tanıtır. Motivasyonlarından biri, söylediği gibi, lambda hesabı kullanarak özyinelemeli fonksiyonları ifade edebilmektir, böylece Kilise tarafından teori (etkili bir şekilde hesaplanabilir olan her şey lambda hesabı kullanılarak …
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.