Pytania otagowane jako terminology

Pytania o to, jak należy rozumieć określone pojęcia, a także konwencje zapisu.

2
Co to jest równoważność beta?
W skrypcie, który obecnie czytam na rachunku lambda, równoważność beta jest zdefiniowana następująco: ββ\beta -equivalence ≡β≡β\equiv_\beta jest najmniejszym równoważności, który zawiera →β→β\rightarrow_\beta . Nie mam pojęcia co to znaczy. Czy ktoś może to wyjaśnić w prostszy sposób? Może z przykładem? Potrzebuję go do lematu wynikającego z twierdzenia Church-Russer, mówiąc: ≡β≡β\equiv_\beta↠ …
7
Jakie jest znaczenie odwrotnej notacji polskiej?
Uczę informatyki dla 18-latków. Po wyjaśnieniu im odwrotnej notacji polskiej zapytano, dlaczego udział w publicznym egzaminie jest wystarczająco ważny. Wyjaśniłem historyczne znaczenie kalkulatorów z lat 70., ale tak naprawdę nie rozwiązało to problemu. Istnieją też praktyczne i teoretyczne zastosowania RPN.
5
Czym dokładnie jest obliczenie?
Wiem, czym jest obliczenie w jakimś niejasnym sensie (tak robią komputery), ale chciałbym bardziej rygorystyczną definicję. Dictionary.comDefinicje obliczeń, obliczeń, obliczeń i obliczeń są okrągłe, więc to nie pomaga. Wikipediadefiniuje obliczenia jako „każdy rodzaj obliczeń zgodny z dobrze zdefiniowanym modelem”. Definiuje obliczenia jako „zamierzony proces, który przekształca jeden lub więcej danych …
1
Kto ukuł termin „uczenie maszynowe”?
Próbuję dowiedzieć się, kto stworzył termin „uczenie maszynowe”. Dodatkowe pytanie brzmi: skąd Arthur Samuel cytował określenie „uczenia maszynowego” w 1959 r. Jako: dziedzina nauki, która daje komputerom możliwość uczenia się bez wyraźnego programowania ? W Internecie można znaleźć wiele odniesień do tej definicji, ale nie udało mi się wyśledzić źródła. …
6
Jak mogę powiedzieć naukowo, że „jeden komputer jest wolniejszy od drugiego”?
Piszę artykuł badawczy i muszę zasadniczo powiedzieć, że jeden mikrokontroler jest wolniejszy niż inny mikroprocesor. Martwię się jednak, że samo powiedzenie, że jest „wolniejsze”, nie byłoby właściwe w pracy badawczej. Czy mam rację? Czy można powiedzieć, że jeden procesor jest „wolniejszy”, czy muszę powiedzieć coś innego? Co jeszcze mogę powiedzieć? …
6
Czym różni się programowanie dynamiczne od siły Brute?
Czytałem o Programowaniu dynamicznym, kiedy natknąłem się na następujący cytat Algorytm programowania dynamicznego zbada wszystkie możliwe sposoby rozwiązania problemu i wybierze najlepsze rozwiązanie. Dlatego z grubsza możemy myśleć o programowaniu dynamicznym jako inteligentnej metodzie brutalnej siły, która pozwala nam przejść przez wszystkie możliwe rozwiązania, aby wybrać najlepsze . Jeśli zakres …
5
Punkt stały, co to znaczy w świecie informatyki
Ciągle natrafiam na odniesienia do stałego punktu w pytaniach i odpowiedziach na stackexchange i szukam znaczenia w Internecie, oczywiście znajdując odnośniki na stronach takich jak Wikipedia. Jednak żadne z odniesień tak naprawdę nie odpowiada na moje pytanie, co jest stałym punktem i co to znaczy w świecie informatyki.
3
Czy istnieje teoria hierarchii wyjątków?
Znam kilkanaście języków programowania, które w pewien sposób mają wyjątki, ale doszedłem do wniosku, że mam dwie „patologiczne” tendencje. Wydaje się, że nie ma wspólnego wzorca lub hierarchii wyjątków. Każdy język w zasadzie rozwija własną wersję, a jeśli wyjątki staną się standardem, wówczas wyjątki, które można znaleźć w standardzie, byłyby …
3
Jak czytać zasady pisania?
Zacząłem czytać coraz więcej prac naukowych dotyczących języków. Uważam to za bardzo interesujące i dobry sposób, aby dowiedzieć się więcej o programowaniu w ogóle. Zazwyczaj jednak pojawia się sekcja, z którą zawsze się zmagam (na przykład część trzecia tego ), ponieważ brakuje mi teoretycznego zaplecza informatycznego: Typ reguł. Czy są …
3
Jakie gwarancje faktycznie zapewniają „miękkie” systemy operacyjne w czasie rzeczywistym
Myślę, że wiem, czym jest „twardy” system operacyjny w czasie rzeczywistym. Jest to system operacyjny z harmonogramem, który zawiera umowę z programistą aplikacji. Aplikacja określa termin dla każdego wniosku o przydział zasobów. Jeśli żądania terminu są wykonalne , planista gwarantuje, że każdy zasób zostanie przydzielony do wnioskującej aplikacji przed upływem …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.