Robin Milner 는 전기 를 그래프와 같은 구조를 가지지 만 노드가 중첩 될 수있는 그래픽 구조 유형으로 정의 했습니다 . 그들은 CCS 등 공정 결석 일반화 -calculus,하지만 밀 너는 그들에게 훨씬 더 일반적으로 사용하기위한 것으로 보인다 다음 세미나 노트를 곧 그의 죽음의 세부 최근 개발하기 전에.ππ\pi Milner의 2009 교과서 The …
내가 찾고 있어요: Michael O. Rabin, "함수 계산의 어려움과 재귀 집합의 부분 순서 정도", 히브리 대학교, 예루살렘, 1960 요약: “우리는 주어진 계산 가능한 (재귀) 함수를 계산하는 작업에 내재 된 작업량을 측정하려고합니다. 컴퓨팅의 난이도에 대한 개념이 소개되고 연구됩니다. 이 개념은 문제의 기능을 계산하는 데 사용되는 이상적인 컴퓨터 (Turing Machines)와 독립적이라는 의미에서 …
나는 직관적 인 유형 이론 (ITT)을 읽었으며 이해가됩니다. 그러나 내가 이해하기 위해 고군분투하는 것은 "왜"그것이 처음에 만들어 졌는가? 직관적 인 논리 (IL)와 단순 유형 미적분 (STLC) 및 유형 이론은 일반적으로 Martin-Löf 자신의 존재를 앞두고 있습니다! ITT에서 할 수있는 STLC에서 모든 것을 할 수있는 것 같습니다 (잘못되었지만 적어도 그렇게 느낍니다). λλ\lambda …
이 두 용어의 역사에 대해 알고 싶습니다 : " 효율적인 ", " 가능한 " 누가 처음으로 계산 / 알고리즘에 대해 사용 했습니까? (이러한 용어의 의미에서, 즉 20 세기). 그들은 어떻게 주류가 되었습니까? 이 두 용어는 어떻게 동의어로 사용되기 시작 했습니까? 나는 Cobham 이 다항식 시간 계산 성과 관련된 그의 논문 …
동기식 논리 회로를 사용하여 FSM을 구현하는 방법을 가르치면서 이론적 인 CS 세계와 전기 공학 세계에서 "상태"는 일반적으로 (및 상태 공간 Q )로 표시됩니다. 먼저 EE.sx에 대해 질문 했지만이 주제를 조금 연구하면서 Turing의 원본 1936 논문 에서도 q 1을 사용 한다는 것을 알았습니다 . . 튜링 기계의 상태를 나타 내기 위해 …
-calculus 가 무엇인지, 왜, 어떻게 사용되는지에 대해 머리를 감싸려고 했지만 "왜 작동합니까?"를 이해하지 못했습니다.λλ\lambda "직관적으로"나는 Turing Machines (TM)의 계산 모델을 얻는다. 그러나이 -abstraction은 나를 혼란스럽게합니다.λλ\lambda TM이 존재하지 않는다고 가정합시다. 그러면 계산법이라는 개념을 포착하는 -calculus의 능력에 대해 어떻게 "직관적으로"확신 할 수 있을까요? 모든 기능과 그 기능에 대한 많은 기능을 갖는 것이 …
반다이 크 언어 는 다음의 문법에 의해 정의되는 S → S S를Dyck(k)Dyck(k)\mathsf{Dyck}(k) 심볼들의 세트를 통해 { ( 1 , ... , ( K , ) 1 , ... , ) (K) } . 직관적으로 Dyck 언어는 k 가지 종류의 균형 괄호 언어입니다. 예를 들어, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …
첫 번째 용어는 힐버트가 그의 1928 년 작품에서 사용했지만, 고델 의 후기 작품에서도 같은 의미를 Unvollständigkeitssatz ( "불완전 성 정리")라고합니다. 오늘날의 독일 CS 연구자들에게, Unvollständigkeitssatz 가 더 일반적으로 사용되는 것 같고 Entscheidungsproblem ( "결정 문제")은 여전히 이해되지만 das Halteproblem ( Touring 의 automata에 대한 튜링의 작업 이후에 더 일반적 임) …
내가 알고있는 모든 컴퓨터 관련 박물관과 전시회는 컴퓨팅 기계의 역사만을 다루는 것 같지만 컴퓨터 과학에 관한 주제는 없습니다. 귀하는 다양한 컴퓨팅 / 컴퓨터 과학 / 통신 / 수학 주제에 대해 일반 대중을 교육하고, 즐겁게하며, 영감을주기 위해 새로운 전산 박물관을 설립하는 데 참여하고 있습니다. 역사와 유명인이 전시회의 일부가 될 수 있지만 …
Charles Babbage의 분석 기계는 현대 Von Neumann 아키텍처와 매우 유사한 아키텍처를 가지고 있음이 잘 알려져 있습니다. 또한 Babbage의 분석 기계 ( http://www.fourmilab.ch/babbage/figures/menat3.png ) 및 von Neumann의 작업 (예 : http://library.ias.edu )에 대한 프로그램을 나타내는 표가 주목할 만합니다. /files/pdfs/ecp/planningcodingof0103inst.pdf )는 매우 유사합니다. von Neumann이 Babbage의 작업에 대해 어느 정도까지 알고 있었는지, …
내가 올바르게 이해한다면, 그 문제를 증명하기 위해 ㅏAA NP가 어렵습니다. 가능한 모든 문제를 선택해야합니다. 비나는BiB_{i} 그것은 NP에 있고 그들이 ㅏAA 다항식 시간 계산 기능을 사용하여 각 인스턴스를 매핑합니다. 비나는BiB_{i} 의 인스턴스 ㅏAA. 첫 번째 NP 하드 문제를 찾으면 축소를 사용하여 다른 많은 문제가 NP Complete 또는 NP Hard라는 것을 알 …
(이것이 잘못되거나 너무 광범위하면 사과드립니다. 나는 그것을 어떻게 재구성해야하는지 제안 할 수 있습니다.) max-flow 알고리즘의 "고대"기록과 이산 최적화 알고리즘을 추적하는 데 관심이 있습니다. 포드 풀 커슨은 출발점의 밀짚 꾼입니다. 그 이전의 중요한 발전은 무엇입니까? 누군가가 최대 흐름을 연구하고 있다는 합리적인 주장을 할 수있을 때 얼마나 멀리 갈 수 있습니까? 그래프 …