Często słyszę wyrażenia takie jak „semantyka prawdziwej współbieżności” i „równoważność prawdziwej współbieżności” bez żadnych odniesień. Co oznaczają te terminy i dlaczego są ważne? Jakie są przykłady prawdziwych odpowiedników współbieżności i jaka jest ich potrzeba? Np. W jakich przypadkach mają...
Robię prezentację na temat maszyn Turinga i chciałem przedstawić trochę informacji na temat FSM przed wprowadzeniem maszyn Turinga. Problem w tym, że tak naprawdę nie wiem, co BARDZO różni się od siebie. Oto, co wiem, że jest inaczej: FSM ma sekwencyjne stany w zależności od spełnienia...
Jeśli mam jakąś funkcję, której złożoność czasowa wynosi O ( mn ), gdzie m i n są wielkościami jej dwóch danych wejściowych, nazwalibyśmy jej złożoność czasową „liniową” (ponieważ jest liniowa zarówno m, jak i n ) lub „kwadratową” ( ponieważ jest to produkt dwóch rozmiarów)? Albo coś...
W niedawnym artykule CACM [1] autorzy przedstawiają implementację funkcji etapowych . Używają tego terminu, jakby był dobrze znany, i żadne z odniesień nie wygląda jak oczywiste wprowadzenie. Podają krótkie wyjaśnienie (zmieniono moje wyróżnienie i numer referencyjny; w oryginale jest 22) W...
Te terminologie mylą mnie. Jak rozumiem Solver SAT: decyduje o spełnianiu logiki zdań (za pomocą DPLL lub wyszukiwania lokalnego). Procedura decyzyjna to procedura decydująca o spełnieniu pewnej rozstrzygalnej teorii pierwszego rzędu. Solver SMT to solver SAT + procedura decyzyjna. Przysłowie...
To pytanie zostało przeniesione z Przepełnienia stosu, ponieważ można na nie odpowiedzieć na Computer Science Stack Exchange. Migrował 7 lat temu . Jestem nieco zdezorientowany pewną terminologią, którą napotkałem, dotyczącą złożoności problemów związanych z...
Wydaje mi się, że „implikacja” w języku angielskim nie oznacza tego samego, co operator logiczny „implikuje”, podobnie jak słowo „LUB” w większości przypadków oznacza „Wyłączne OR” w naszym codziennym użyciu języka. Weźmy dwa przykłady: Jeśli dzisiaj jest poniedziałek, jutro jest wtorek. To...
Przeczytałem te słowa w wielu publikacjach i chciałbym mieć kilka fajnych definicji tych terminów, które wyjaśniają, jaka jest różnica między wykrywaniem obiektu a segmentacją semantyczną a lokalizacją. Byłoby miło, gdybyś mógł podać źródła swoich
W teorii obliczalności funkcje obliczeniowe nazywane są również funkcjami rekurencyjnymi. Przynajmniej na pierwszy rzut oka nie mają one nic wspólnego z tym, co nazywasz „rekurencyjnym” w codziennym programowaniu (tj. Funkcjami, które same się nazywają). Jakie jest rzeczywiste znaczenie rekurencji...
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...
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...
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...
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...
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...
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...
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...
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...
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...
W moim kursie Algorytmy i struktury danych profesorowie, slajdy i książka ( Wstęp do algorytmów, wydanie trzecie ) używali tego słowaNIL aby na przykład określić dziecko węzła (w drzewie), które nie istnieje. Pewnego razu, podczas wykładu, zamiast powiedzieć NIL, powiedział mój kolega z klasy...
Jakie są różnice między wizją komputera a przetwarzaniem obrazu? Na przykład w rozpoznawaniu obiektów, jakie są role wizji komputerowej i przetwarzania