computability

16Ciepło

4Odpowiedz

Czy istnieje metoda czarnej skrzynki do wykrywania, czy algorytm sortowania jest stabilny?

W języku JavaScript (w pewnym sensie używanym gdzie indziej), w którym nie wiesz, do jakiej implementacji docelowej wykorzystywany jest twój kod, czy istnieje sposób na wykrycie, czy podstawowy algory

javascript sorting computer-science computability 2013-05-10

---

5Ciepło

1Odpowiedz

Funkcja Ackermanna kontra n zagnieżdżonych pętli

Pracuję na swój sposób w książce o obliczeniach (Minksy 1967) i mam trudność z powiązaniem funkcji rekursywnej z funkcją zdefiniowaną w kategoriach pętli. W szczególności pyta znalezienie relacji międ

python computer-science computability 2010-10-24

---

8Ciepło

2Odpowiedz

Turing kompletność rachunku lambda?

W jaki sposób argumentujesz, że rachunek lambda jest ukończony przez Turinga (w najprostszy możliwy sposób)?

theory turing-machines turing-complete computability 2012-03-08

---

5Ciepło

1Odpowiedz

Rozstrzygalność i rekursywna enumerability

Powiedzmy, że istnieją maszyny Turinga M1, M2, M3, języki, które uznają, odpowiednio, L (M1), L (M2) i L (M3). Następujący język L = {(M1, M2, M3): L (M1), L (M2) i L (M3) nie są równe} Czy język jest

computer-science theory turing-machines computability 2012-03-10

---

6Ciepło

1Odpowiedz

Czy PI jest numerem obliczalnym?

AFAIK, numery obliczalne są liczbami, których i-ten indeks może być zwrócony przez maszynę Turinga. Tak więc liczba niecałkowita byłaby czymś w rodzaju liczby, której decymalne punkty zostaną ustalone

numbers turing-machines computability 2010-11-09

---