Informatyka

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

1
Znajdź wielomian w dwóch lub trzech zapytaniach
Czarna ramka oznacza, że ​​mogę ocenić wielomian w dowolnym punkcie.f(x)f(x)f(x)f(x)f(x)f(x) Dane wejściowe : czarne pole wielomianu monicznego stopnia .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Wydajność: W współczynniki wielomianu .dddf(x)f(x)f(x) Mój algorytm: let f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 Oszacuj wielomian w wielu punktach za pomocą czarnej skrzynki …
2
Poprawność programu, specyfikacja
Z Wikipedii: W informatyce teoretycznej poprawność algorytmu jest stwierdzana, gdy mówi się, że algorytm jest poprawny w odniesieniu do specyfikacji. Problem polega jednak na tym, że uzyskanie „właściwej” specyfikacji nie jest trywialnym zadaniem i nie ma 100% poprawnej metody (o ile wiem), aby uzyskać właściwą, to tylko oszacowanie, więc jeśli …
4
Jak system operacyjny może działać na tym samym układzie, którym ma zarządzać?
Z moich odczytów na temat systemów operacyjnych (czytanie podstawowych materiałów na Wikipedii, stronach technicznych itp.) Dowiedziałem się, że system operacyjny to program, który pozwala programom i aplikacjom na interakcję ze sprzętem w wydajny i bezpieczny sposób. Jestem jednak zdezorientowany, w jaki sposób system operacyjny nadzoruje działanie komputera, gdy sam musi …
4
Znajdowanie pary nie nakładających się wektorów bitowych
Daję ci listę wektorów bitowych o szerokości . Twoim celem jest zwrócenie dwóch wektorów bitowych z listy, które nie mają wspólnych 1, lub zgłoszenie, że taka para nie istnieje.n nnkkk Na przykład, jeśli dam ci wówczas jedynym rozwiązaniem jest . Alternatywnie, wejście nie ma rozwiązania. Każda lista zawierająca całkowicie zerowy …
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 …
3
Czy indukcja ścieżki jest konstruktywna?
Czytam poprzez książki hott i mam trudności z indukcją ścieżki. Kiedy patrzę na typ w sekcji 1.12.1 : nie mam problemu ze zrozumieniem, co to znaczy (właśnie napisałem typ z pamięci, aby to sprawdzić).ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), Mam problem z następną samą instrukcją: moje pierwsze wrażenie …
3
Czy istnieje baza TM, która zatrzymuje się na wszystkich danych wejściowych, ale tej właściwości nie da się udowodnić?
Czy istnieje maszyna Turinga, która zatrzymuje się na wszystkich wejściach, ale z jakiegoś powodu ta właściwość nie jest możliwa do udowodnienia? Zastanawiam się, czy to pytanie zostało zbadane. Uwaga: „nie do udowodnienia” może oznaczać „ograniczony” system dowodowy (który w słabym sensie uważa, że ​​odpowiedź musi być twierdząca). Jestem oczywiście zainteresowany …
8
Jakie problemy programowania proceduralnego rozwiązuje OOP w praktyce?
Przestudiowałem książkę „C ++ Demystified” . Teraz zacząłem czytać „Object-Oriented Programming in Turbo C ++ pierwsze wydanie (1. wydanie)” Roberta Lafore'a. Nie mam żadnej wiedzy o programowaniu, która wykracza poza te książki. Ta książka może być nieaktualna, ponieważ ma 20 lat. Mam najnowsze wydanie, używam starego, ponieważ mi się podoba, …
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.