Pytania oznaczone «terminology»

pytania dotyczące definicji, terminów i nazw zwyczajowych w informatyce teoretycznej.

30
Geneza i zastosowania teorii A vs. teorii B?

W kilku ostatnich pytaniach ( q1 q2 ) omawiano „Teorię A” vs. „Teorię B”, najwyraźniej w celu uchwycenia podziału między nauką logiki i języków programowania a badaniem algorytmów i złożoności. Ta terminologia była dla mnie nowa, a szybkie wyszukiwanie w Internecie nie przyniosło żadnych...

14
Czy eta-równoważność funkcji jest zgodna z sekwencją Haskella?

Lemat: Zakładając, że równoważność eta istnieje (\x -> ⊥) = ⊥ :: A -> B. Dowód: ⊥ = (\x -> ⊥ x)przez eta-równoważność i (\x -> ⊥ x) = (\x -> ⊥)redukcję pod lambda. Raport Haskell 2010, rozdział 6.2 określa seqfunkcję na podstawie dwóch równań: seq :: a -> b -> b seq ⊥ b =...

11
Co to jest „pseudo-czas” w porównaniu z semaforami

Obecnie słucham przemówienia Alana Kaysa „Czy to naprawdę skomplikowane, czy tylko skomplikowaliśmy?” ( Https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), w którym mówi, że „semafory były złym pomysłem i nie było coś, co nazywa czas pseudo że była lepsza” (at 51:40 na połączonego materiału...

9
Złożoność rodzaju ślepego?

Wszyscy wiemy, że minimalną złożonością algorytmu sortowania opartego na porównaniu są porównania . Próbuję wykonać sortowanie w ciemno , tzn. Biorąc pod uwagę liczbę wyjdź z obwodu (z bramkami logicznymi, arytmetycznymi i „porównawczymi”), który sortuje listę elementów.Ω ( n logn...