Informatyka

Pytania i odpowiedzi dla studentów, naukowców i praktyków informatyki

8
W jaki sposób komputer określa typ danych bajtu?
Na przykład, jeśli komputer 10111100zapisał jeden konkretny bajt pamięci RAM, w jaki sposób komputer może interpretować ten bajt jako liczbę całkowitą, znak ASCII lub coś innego? Czy dane typu są przechowywane w sąsiednim bajcie? (Nie sądzę, aby tak się stało, ponieważ spowodowałoby to użycie podwójnej ilości miejsca na jeden bajt.) …
7
Czy istnieje związek między problemem zatrzymania a entropią termodynamiczną?
Alan Turing zaproponował model maszyny (Maszyna Turinga, TM), który oblicza (liczby, funkcje itp.) I udowodnił twierdzenie Haltinga . TM to abstrakcyjna koncepcja maszyny (lub silnika, jeśli chcesz). Twierdzenie Haltinga jest wynikiem niemożliwości. Silnik Carnota (CE) to abstrakcyjna koncepcja silnika cieplnego, a Carnot udowodnił twierdzenie Carnota , kolejny wynik niemożliwości związany …
8
Czy bycie programistą bez wiedzy o złożoności obliczeniowej jest problemem?
Na moim uniwersytecie przydzielono mi ćwiczenie. Zabrałem go do domu i próbowałem zaprogramować algorytm, aby go rozwiązać, było to coś związanego z grafami, znajdowaniem połączonych komponentów, tak myślę. Potem zrobiłem najbardziej trywialną rzecz, która przyszła mi do głowy, a następnie pokazałem jej wykładowcowi. Po krótkiej obserwacji zauważył, że złożoność środowiska …
4
Co to jest niezwykle podstawowy szyfr asymetryczny, który mogę przedstawić w pubie?
Próbuję wyjaśnić rodzicom podstawy Bitcoin. Jednym z podstawowych elementów bitcoinów jest podpisywanie transakcji, aby upewnić się, że nie można podszyć się pod Twoją tożsamość, a zatem potrzeba wyjaśnienia uproszczonego szyfru asymetrycznego. Jaki jest niezwykle prosty szyfr asymetryczny, którego mogę użyć jako przykładu? Jak można wykorzystać ten uproszczony szyfr do podpisywania?
5
Znaczenie: „Jeśli faktoring dużych liczb całkowitych jest trudny, to złamanie RSA jest trudne,” nie jest udowodnione ”
Czytałem CLRS i powiedziano: Jeśli faktoring dużych liczb całkowitych jest łatwy, to złamanie kryptosystemu RSA jest łatwe. Ma to dla mnie sens, ponieważ dzięki znajomości ppp i qqq łatwo jest stworzyć tajny klucz, który jest znajomością klucza publicznego. Wyjaśnia jednak odwrotne stwierdzenie, którego nie do końca rozumiem: Przeciwnie, stwierdzenie, że …
1
Tabele skrótów a drzewa binarne
Podczas implementacji słownika („Chcę wyszukiwać dane klientów według ich identyfikatorów klienta”), typowymi stosowanymi strukturami danych są tabele skrótów i drzewa wyszukiwania binarnego. Wiem na przykład, że biblioteka STL C ++ implementuje słowniki (nazywają je mapami) przy użyciu (zrównoważonych) drzew wyszukiwania binarnego, a platforma .NET używa tabel mieszania pod maską. Jakie …
2
W jaki sposób powiązane są języki programowania i podstawy matematyki?
Zasadniczo mam świadomość trzech podstaw matematyki Ustaw teorię Teoria typów Teoria kategorii Więc w jaki sposób języki programowania i podstawy matematyki są powiązane? EDYTOWAĆ Pierwotne pytanie brzmiało: „Języki programowania oparte na podstawach matematyki” z dodanym paragrafem I implementacje teorii 1. Teoria typów w Coq 2. Teoria zbiorów w SETL 3. …
2
Nie wszystkie drzewa czerwono-czarne są zrównoważone?
Intuicyjnie „zrównoważone drzewa” powinny być drzewami, w których lewe i prawe podgrzewa w każdym węźle muszą mieć „w przybliżeniu taką samą” liczbę węzłów. Oczywiście, gdy mówimy o zrównoważeniu czerwono-czarnych drzew * (patrz definicja na końcu), faktycznie mamy na myśli, że są one zrównoważone wysokościowo iw tym sensie są zrównoważone. Załóżmy, …
1
Twierdzenie Rice'a o właściwościach nie semantycznych
Twierdzenie Rice'a mówi nam, że jedynymi właściwościami semantycznymi Maszyn Turinga (tj. Właściwościami obliczonymi przez maszynę), o których możemy decydować, są dwie trywialne właściwości (tj. Zawsze prawdziwe i zawsze fałszywe). Ale istnieją inne właściwości Maszyn Turinga, których nie można rozstrzygać. Na przykład właściwość, że istnieje stan nieosiągalny w danej maszynie Turinga, …
2
Jak funkcjonalne programowanie reaktywne i model aktora odnoszą się do siebie?
FRP dotyczy przesyłania strumieniowego zdarzeń i zachowań za pomocą czystych funkcji. Model aktora - przynajmniej taki, jak zaimplementowany w Akce - dotyczy przesyłania strumieniowego niezmiennych komunikatów (które można uznać za zdarzenia dyskretne) przez potencjalnie nieczyste obiekty, zwane aktorami. Na pozór wydają się spokrewnione. Co jeszcze możemy powiedzieć o ich związku? …
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.