Teoretyczne informatyka combinatory-logic

2

Czy rachunek lambda i logika kombinacyjna są takie same?

Obecnie czytam „ Lambda-Calculus and Combinators ” Hindleya i Seldina. Nie jestem ekspertem, ale zawsze interesowałem się rachunkiem lambda ze względu na zaangażowanie w programowanie funkcjonalne (zaczynając od Lisp i SICP, a teraz od R i Haskell). W „ Binary rachunek lambda i rachunek kombinatorów” , John Tromp stwierdza: CL …

26 combinatory-logic functional-programming lambda-calculus

2

Zwięzłe odwzorowanie obwodów grafów

Klasę złożoności PPAD (np. Obliczanie różnych równowag Nasha) można zdefiniować jako zbiór całkowitych problemów z wyszukiwaniem, które można zredukować do ZAKOŃCZENIA LINII : KONIEC LINII : Biorąc pod uwagę obwody S i P z n bitami wejściowymi i n bitami wyjściowymi takimi, że P (0 n ) = 0 n …

20 reference-request combinatory-logic graph-theory ppad

5

Czy można sprawdzić, czy liczba obliczalna jest wymierna czy całkowita?

Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane z faktem, że nie można sprawdzić, czy dwie …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

2

Najmniejszy możliwy uniwersalny kombinator

Szukam najmniejszego możliwego uniwersalnego kombinatora , mierzonego liczbą abstrakcji i aplikacji wymaganych do określenia takiego kombinatora w rachunku lambda . Przykłady uniwersalnych kombinatorów obejmują: rozmiar 23: λf.f (fS (KKKI)) K. rozmiar 18: λf.f (fS (KK)) K. rozmiar 14: λf.fKSK rozmiar 12: λf.fS (λxyz.x) rozmiar 11: λf.fSK gdzie S = λxyz.xz …

17 lo.logic computability lambda-calculus universal-computation combinatory-logic

1

W jaki sposób nieterminalne

Myślałem o tych pytaniach: Czy istnieje typowany rachunek lambda, który jest spójny i kompletny Turinga? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent i już teraz istnieją trudne odpowiedzi na powiązane pytania w nietypowym otoczeniu! Mówiąc dokładniej, jestem ciekawy, czy możemy odzyskać kompletność Turinga po rozwiązaniu umowy w następujący sposób: Pytanie: Biorąc pod uwagę (czysty) λλ\lambda term …

14 lambda-calculus combinatory-logic

1

Niekompletna podstawa kombinacji

Jest to inspirowane tym pytaniem. Niech będzie zbiorem wszystkich kombinacji, które mają tylko dwie powiązane zmienne. Czy kombinatorycznie kompletny?C.dodo\mathcal{C}dodo\mathcal{C} Uważam, że odpowiedź jest przecząca, jednak nie udało mi się znaleźć odniesienia do tego. Byłbym również zainteresowany referencjami na dowody kombinatorycznej niekompletności zestawów kombinatorów (rozumiem, dlaczego zestaw składający się z kombinatorów …

10 lo.logic lambda-calculus combinatory-logic

1

Na jakie „pytanie” stara się odpowiedzieć teoria języka programowania?

Od jakiegoś czasu interesowałem się różnymi tematami, takimi jak logika kombinacyjna, rachunek lambda, programowanie funkcjonalne i studiowałem je. Jednak w przeciwieństwie do „teorii obliczeń”, która stara się odpowiedzieć na pytanie „obliczalności”, tj. Rzeczy, które można / nie można obliczyć z różnymi ograniczeniami, staram się znaleźć analogię do „teorii programowania” Wikipedia …

10 soft-question pl.programming-languages lambda-calculus big-picture combinatory-logic

Pytania otagowane jako combinatory-logic