computer-science

10Ciepło

1Odpowiedz

Próbuję (klasycznie) udowodnić ~ (forall t : U, phi) -> exists t: U, ~phi w Coq. Próbuję to udowodnić w sposób przeciwny: 1. Assume there is no such t (so ~(exists t: U, ~phi)) 2. Choose arbitrary

22Ciepło

1Odpowiedz

Inne odniesienia do brutalnego optymalizowania kompilatora Stalina?

J.M. Siskind's research statement stanowi: Stalin jest kompilatora na schemacie, który wykonuje całego programu analizy statycznej i wykorzystuje wynik tej analizy generuje bardzo wydajnego kodu. Stal

23Ciepło

6Odpowiedz

Jakie są różnice między programem a aplikacją?

Jakie są różnice między programem a aplikacją? Próbuję to zrozumieć, aby stworzyć koncepcję w ontologii. Czy ktoś może wyjaśnić?

5Ciepło

2Odpowiedz

Korzystanie forall ciągu rekurencyjnej definicji funkcji

Próbuję użyć funkcji do definiowania rekurencyjną definicję użyciem środka, a ja dostaję błąd: Error: find_call_occs : Prod jestem delegowania cały kod źródłowy u u dołu, ale moja funkcja to: Wiem,

9Ciepło

2Odpowiedz

POMYLENIA czasowych i przestrzennych miejscowości w kodzie prawdziwym życiu

czytałem ten question, chciałem zapytać się więcej o kodzie że pokazał tj for(i = 0; i < 20; i++) for(j = 0; j < 10; j++) a[i] = a[i]*j; pytania są Rozumiem tymczasowa lokalność, myślę, ż

11Ciepło

2Odpowiedz

Jak ustalić, czy język jest rekurencyjny czy rekursywnie przeliczalny?

Muszę określić, czy język (na przykład L = {a^nb^mc^s | 0 < = n < = m < = s}) jest regularny, bezkontekstowy, rekursywny, rekurencyjnie wyliczalny lub żaden z nich . Wiem, jak ustalić, czy dany język

13Ciepło

2Odpowiedz

Książki do teorii systemów typu początkowego

Chcę uczyć się teorii systemów typu. Nie mam żadnego doświadczenia z teorią systemów typów, więc jestem mniej lub bardziej początkującą (z wyjątkiem artykułów, które przeczytałem na ten temat i które

12Ciepło

1Odpowiedz

Jak mogę spakować pliki .cs w plikach .xaml w Visual Studio 2010?

Jak mogę umieścić mój plik ViewModel (plik .cs) złożony w odpowiadającym mu pliku View file (a. Xaml file) jak na obrazku?

12Ciepło

3Odpowiedz

Dlaczego słowniki .Net zmieniają się na liczby pierwsze?

Zgodnie z this question słownik .Net zmienia wielkość przydzielonego miejsca na liczby pierwsze, które są co najmniej dwa razy większe od bieżącego. Dlaczego ważne jest używanie liczb pierwszych, a ni

16Ciepło

2Odpowiedz

Nieoczekiwany token w CSS podczas edycji w vnext

Kiedy próbuję napisać css za pośrednictwem Vnext lub Webmatrix v2 beta otrzymałem komunikat błędu, który nieoczekiwanie wyświetlił się: W pewnym momencie zmieniłem coś i otrzymałem błąd, że nieoczekiw