«terminology» 태그된 질문

나는 컴퓨팅 과 복잡성 에 대해 배우고 있는데 , 이러한 용어의 의미를 이해할 수 없습니다. 내가 아는 것은 NP가 NP-complete의 하위 집합이며 NP-hard의 하위 집합이라는 것이지만, 그것이 실제로 무엇을 의미하는지 전혀 모른다. 설명이 여전히 너무 높기 때문에 Wikipedia 도별로 도움이되지 않습니다.

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

대부분의 입문 알고리즘 클래스에는 (Big O) 및 와 같은 표기법 이 도입되며 일반적으로 학생은이 중 하나를 사용하여 시간 복잡성을 찾는 방법을 배웁니다.Θ영형OOΘΘ\Theta 그러나 , 및 와 같은 다른 표기법이 있습니다 . 한 표기법이 다른 표기법보다 선호되는 특정 시나리오가 있습니까?Ω ω영형ooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

사각형의 면적을 계산하면 높이와 너비를 곱하고 단위를 제곱으로 되돌립니다. 예 : 5cm * 10cm = 50cm² 반대로 이미지의 크기를 계산하면 높이와 너비도 곱하지만 곱하기 전의 높이와 너비의 단위와 마찬가지로 픽셀 단위로 돌아갑니다. 예 : 실제로 계산하는 것은 다음과 같습니다. 3840 Pixel * 2160 Pixel = 8294400 Pixel 내가 기대하는 것은 …

79 terminology 

나는 최근에 Lambda 미적분학에 대해 읽었지만 이상하게도 왜 "Lambda"라고 불리는 지 또는 표현의 유래에 대한 설명을 찾을 수 없습니다. 누구든지 용어의 기원을 설명 할 수 있습니까?

73 terminology  computation-models  lambda-calculus  history 

나는 (구조적) 유도에 대해 들었습니다. 작은 구조에서 유한 구조를 만들 수 있으며 그러한 구조에 대한 추론에 대한 증명 원칙을 제공합니다. 아이디어는 충분히 분명하다. 그러나 공동화는 어떻습니까? 어떻게 작동합니까? 무한 구조에 대해 결정적인 것을 어떻게 말할 수 있습니까? 해결해야 할 두 가지 각도, 즉 사물을 정의하는 방법과 증명 기법으로 공동화가 있습니다. …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

나는 사람들이 병렬 컴퓨팅과 분산 컴퓨팅 에 대해 이야기하는 것을 종종 듣는다 . 그러나 나는 둘 사이에 명확한 경계가 없으며 사람들은 그것을 매우 쉽게 혼동하는 경향이있다. 병렬 컴퓨팅은 멀티 스레딩 또는 단일 CPU를 최대한 활용하는 방법에 더 밀접하게 연결되어 있습니다. 분산 컴퓨팅은 분할 및 정복이라는 개념을 말하며, 다른 시스템에서 하위 …

61 terminology  distributed-systems  parallel-computing 

누군가가 종속 유형과 개선 유형의 차이점을 설명 할 수 있습니까? 내가 이해하는 것처럼 구체화 유형에는 조건자를 충족시키는 유형의 모든 값이 포함됩니다. 그것들을 구별하는 의존 타입의 기능이 있습니까? 도움이된다면 Liquid Haskell 프로젝트를 통해 Refined 유형과 Coq 및 Agda를 통해 종속 유형을 발견했습니다. 즉, 이론이 어떻게 다른지에 대한 설명을 찾고 있습니다.

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

컴퓨터 과학에서 가장 다항식 인 복잡성이 효율적인 것으로 간주되는 이유는 무엇입니까? 실용적인 응용 프로그램 (a)의 경우 복잡도가 알고리즘은 과 같이 시간에 실행되는 알고리즘보다 훨씬 빠르지 만 첫 번째 알고리즘 은 비효율적 인 것으로 간주되지만 후자는 효율적입니다. 논리는 어디에 있습니까?!nlognnlog⁡nn^{\log n}n80n80n^{80} (a) 예를 들어 우주의 원자 수는 약 합니다.1080108010^{80}

50 algorithms  complexity-theory  terminology  efficiency 

이것은 기본적인 질문이지만, 이 과 같다고 생각합니다. 무한대로 갈수록 더 큰 항이 지배해야합니까? 또한 O (\ min (m, n)) 과는 다릅니다 . 맞습니까? 특히 그래프 알고리즘을 논의 할 때이 표기법을 계속보고 있습니다. 예를 들어, 일반적으로 O (| V | + | E |)를 참조 하십시오 (예 : 여기 참조 ).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| …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

동시 프로그래밍을 볼 때 일반적으로 동시 및 병렬이라는 두 가지 용어가 사용됩니다. 그리고 일부 프로그래밍 언어는 특히 Java 와 같은 병렬 프로그래밍 지원을 요구합니다 . 이것은 병렬 및 동시 프로그래밍이 실제로 다르다는 것을 의미합니까?

44 terminology  parallel-computing  concurrency 

"Big O"에서 공통 표기법에는 "일정한 요인이 아니라"라는 공통 이름이 있습니다. O (1) 은 "일정합니다" O (log n) 는 "로그"입니다. O (n) 은 "선형"입니다 O (n ^ 2) 는 "Quadratic"입니다 O (n * log n) 는 ??? 그냥 "n log n"입니까 아니면 위와 같은 특별한 이름이 있습니까?

40 terminology  asymptotics 

이 사이트에서 사람들은 종종 "알고리즘"과 "문제"를 혼동하기 위해 다른 사람들을 수정하는 것 같습니다. 이것들의 차이점은 무엇입니까? 알고리즘을 고려하고 문제를 고려해야하는시기를 어떻게 알 수 있습니까? 그리고 이것이 공식 언어 이론의 언어 개념과 어떤 관련이 있습니까?

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

나는 컴퓨터 과학 학사 학위를 추구하고 있지만, 초기 단계에 있으며 학업 및 직업 융통성있는 교육을 추구하는 것처럼 보이면 내 선택에 만족할 것이라고 확신합니다. 그러나 컴퓨터 과학이 학계, 민간 부문 및 "컴퓨터 과학"의 실제 "과학"과 관련하여 실제로 무엇인지에 대한 다양한 정의가있는 것처럼 보입니다. (또는 공유 숙고) 컴퓨터 과학 교육을 적용 할 …

39 terminology  history 

나는 "해시"라는 단어가 다른 의미 (다른 모든 컴퓨팅 환경 내)에서 다른 의미로 사용되는 것을 들었습니다. 예를 들어, 『Python the Hard Way』책 에서 사전 에 대한 장에서 "Python은"dicts "라고합니다. 다른 언어에서는"hashs "라고합니다. 해시 사전입니까? 단어의 다른 일반적인 사용법은 암호화와 관련이 있습니다. 또한 높은 수준의 프로그래밍에서 "해시"라는 단어를 특정 기능으로 사용하는 사람들도 …

38 terminology  hashing 

요약 : 라이스 정리에 따르면 모든 것이 불가능합니다. 그럼에도 불구하고, 나는 어떻게 이 가정으로 불가능한 것들에게 모든 시간을! 물론 라이스 정리는 단순히 "모든 것이 불가능하다"고 말하는 것은 아닙니다. "컴퓨터 프로그램의 모든 속성은 계산할 수 없습니다." (모발을 나누려면 모든 "사소하지 않은"속성입니다. 즉, 모든 프로그램이 있거나 프로그램이 없는 속성은 간단하게 계산할 수 …

37 terminology  computability  undecidability  rice-theorem