Informatyka terminology

7

Jestem na kursie informatyki i złożoności i nie jestem w stanie zrozumieć, co oznaczają te terminy. Wiem tylko, że NP to podzbiór NP-zupełny, który jest podzbiorem NP-trudnym, ale nie mam pojęcia, co one właściwie oznaczają. Wikipedia też nie jest zbyt pomocna, ponieważ wyjaśnienia są wciąż trochę za wysokie.

247 complexity-theory terminology complexity-classes p-vs-np reference-question

3

Skąd wiadomo, jakiego zapisu analizy złożoności czasu użyć?

W większości klas algorytmów wprowadzających wprowadzane są notacje takie jak (Big O) i , a uczeń zazwyczaj uczy się korzystania z jednej z nich w celu znalezienia złożoności czasowej.ΘOOOΘΘ\Theta Istnieją jednak inne oznaczenia, takie jak , i . Czy są jakieś konkretne scenariusze, w których jedna notacja byłaby lepsza od …

90 algorithms terminology asymptotics landau-notation reference-question

12

Dlaczego jednostka rozmiaru obrazu nie jest Pixel²?

Jeśli obliczysz powierzchnię prostokąta, wystarczy pomnożyć wysokość i szerokość i odzyskać jednostkę do kwadratu. Przykład: 5 cm * 10 cm = 50 cm² W przeciwieństwie do tego, obliczając rozmiar obrazu, mnożymy również wysokość i szerokość, ale zwracamy jednostkę - Piksel - dokładnie tak, jak była to jednostka wysokości i szerokości …

79 terminology

2

Co oznacza „Lambda” w „rachunku Lambda”?

Czytałem ostatnio o rachunku Lambda, ale o dziwo nie mogę znaleźć wyjaśnienia, dlaczego nazywa się on „Lambda” lub skąd pochodzi to wyrażenie. Czy ktoś może wyjaśnić pochodzenie tego terminu?

73 terminology computation-models lambda-calculus history

2

Co to jest koindukcja?

Słyszałem o indukcji (strukturalnej). Pozwala budować struktury skończone z mniejszych i zapewnia zasady dowodowe dla uzasadnienia takich struktur. Pomysł jest wystarczająco jasny. A co z koindukcją? Jak to działa? Jak można powiedzieć coś rozstrzygającego o nieskończonej strukturze? Są (przynajmniej) dwa kąty, którymi należy się zająć, a mianowicie koindukcja jako sposób …

67 terminology logic proof-techniques formal-methods coinduction

6

Przetwarzanie rozproszone a równoległe

Często słyszę ludzi mówiących o obliczeniach równoległych i obliczeniach rozproszonych , ale mam wrażenie, że nie ma wyraźnej granicy między tymi dwoma, a ludzie dość łatwo mylą to, podczas gdy uważam, że jest zupełnie inaczej: Obliczenia równoległe są ściślej powiązane z wielowątkowością lub tym, jak w pełni wykorzystać pojedynczy procesor. …

60 terminology distributed-systems parallel-computing

3

Typy zależne a typy wyrafinowania

Czy ktoś mógłby wyjaśnić różnicę między typami zależnymi a typami wyrafinowania? W moim rozumieniu typ uściślenia zawiera wszystkie wartości typu spełniającego predykat. Czy istnieje cecha typów zależnych, która je odróżnia? Jeśli to pomoże, natknąłem się na typy rafinowane za pośrednictwem projektu Liquid Haskell, a typy zależne za pośrednictwem Coq i …

57 terminology programming-languages type-theory functional-programming dependent-types

4

Dlaczego czas wielomianowy nazywany jest „wydajnym”?

Dlaczego w informatyce jakakolwiek złożoność, która jest co najwyżej wielomianowa, jest uważana za wydajną? Dla każdego praktycznego zastosowania (a) algorytmy o złożoności są znacznie szybsze niż algorytmy działające w czasie, powiedzmy n 80 , ale pierwszy jest uważany za nieefektywny, a drugi jest wydajny. Gdzie jest logika ?!nlognnlog⁡nn^{\log n}n80n80n^{80} (a) …

50 algorithms complexity-theory terminology efficiency

2

Jakie jest znaczenie

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology asymptotics mathematical-analysis landau-notation

5

Różnica między programowaniem równoległym i równoległym?

Patrząc na programowanie współbieżne, powszechnie stosuje się dwa terminy, tj. Współbieżny i równoległy. Niektóre języki programowania w szczególności twierdzą, że obsługują programowanie równoległe, takie jak Java . Czy to oznacza, że programowanie równoległe i współbieżne faktycznie się różni?

44 terminology parallel-computing concurrency

4

Jak nazywa się klasa funkcji opisanych przez O (n log n)?

W „Big O” popularne notacje mają wspólne nazwy (zamiast mówić „Och jakiegoś stałego czynnika”): O (1) to „Stała” O (log n) to „Logarytmiczny” O (n) oznacza „liniowy” O (n ^ 2) jest „kwadratowe” O (n * log n) to ??? Czy to po prostu „n log n”, czy ma specjalną …

40 terminology asymptotics

1

Jaka jest różnica między algorytmem, językiem i problemem?

Wygląda na to, że na tej stronie ludzie często korygują innych za mylące „algorytmy” i „problemy”. Jakie są między nimi różnice? Skąd mam wiedzieć, kiedy powinienem rozważać algorytmy i problemy? A jak odnoszą się one do pojęcia języka w formalnej teorii języka?

40 algorithms complexity-theory formal-languages terminology reference-question

7

Jaka jest definicja informatyki i czym jest nauka w informatyce?

Podejmuję studia licencjackie w dziedzinie informatyki, ale jestem na wczesnym etapie i jestem prawie pewien, że będę zadowolony z mojego wyboru, biorąc pod uwagę, że wydaje się to być elastyczną edukacją akademicką i zawodową. To powiedziawszy, wydaje się, że istnieje wiele definicji tego, czym tak naprawdę jest informatyka w odniesieniu …

39 terminology history

5

Czym dokładnie (i dokładnie) jest „skrót”?

Słyszałem, że słowo „hash” jest używane w różnych kontekstach (w całym świecie komputerów) o różnych znaczeniach. Na przykład w książce Learn Python the Hard Way w rozdziale o słownikach jest powiedziane: „Python nazywa je„ dyktandami ”.„ Inne języki nazywają je „hashe”. ” Innym powszechnym użyciem tego słowa jest szyfrowanie. Słyszałem …

38 terminology hashing

2

Zakłopotany twierdzeniem Rice'a

Podsumowanie: Zgodnie z twierdzeniem Rice'a wszystko jest niemożliwe. A jednak cały czas robię to , jak się wydaje, rzeczy niemożliwe ! Oczywiście twierdzenie Rice'a nie mówi po prostu „wszystko jest niemożliwe”. Mówi coś bardziej szczegółowego: „Każda właściwość programu komputerowego jest niepoliczalna”. (Jeśli chcesz podzielić włosy, każdą właściwość „nietrywialną”. To znaczy …

37 terminology computability undecidability rice-theorem

Pytania otagowane jako terminology