«soft-question» 태그된 질문

간단한 질문은 이론적 인 컴퓨터 과학의 질문이 아닌 이론적 인 컴퓨터 과학의 분야에 대한 질문입니다.

7
연구 데이터 조직
이것은 당신이 무엇을했는지, 왜했는지, 왜 안되는지 추적하는 것이 중요하다고 대답 한이 질문의 정신에 관한 질문입니다 . 개인적으로 노트북을 사용하지만 몇 가지 단점이 있습니다. 먼저 저장 공간이 많이 필요합니다. 두 번째로 여행 할 때 데이터에 액세스 할 수 없으며 마지막으로 공동 작업이 아닙니다. 그러나 노트북은 실험 실용 노트북과 동일하게 사용할 수 …
2
이론적 컴퓨터 과학이 무엇인지 더 배울 수있는 곳은?
저는 수학을 전공하는 대학원생이며 이론적 인 컴퓨터 과학은 주제에 대해 잘 읽을 수 없었기 때문에 그것이 무엇인지 이해하지 못하는 영역입니다. 이 도메인이 실제로 어떤 주제인지, 어떤 주제에 관심이 있는지, 어떤 필수 구성 요소가 필요한지 등을 알고 싶습니다. 지금은 알고 싶습니다. 이론적 인 컴퓨터 과학에 대한 좋은 입문서는 무엇입니까? 그런 것이 …
2
(어떻게) 튜링 계산 모델이 없을 때 NP 문제를 발견 / 분석 할 수 있습니까?
순전히 추상적 인 수학 / 계산 추론 관점에서 3-SAT, 부분 집합, 출장 세일즈맨 등과 같은 문제를 어떻게 발견하거나 추론 할 수 있을까요? 기능적인 관점 만으로도 의미있는 방식으로 그들에 대해 추론 할 수 있을까요? 가능할까요? 나는 람다 미적분학 계산 모델 학습의 일환으로 자체 질문의 관점에서 순수 하게이 질문에 궁리했습니다. 나는 그것이 …
1
논리에서“바운드 변수”를 제거하는 Schönfinkel의 작업이 중요한 이유는 무엇입니까?
AFAIK, 고차 함수 사용에 대한 첫 번째 증거는 Schönfinkel의 1924 년 논문 인 "수학적 논리의 빌딩 블록에 관한 것"으로 되돌아갑니다. 흥미로운 것 같습니다. 그러나 그의 작업 (및 Curry의 확장 기능)에 대해 읽은 모든 것은 어떤 형태 또는 다른 형태로 한 가지를 암시하는 것처럼 보입니다. [고차 함수] ... 이것은 바운드 변수의 …
5
TCS의 페더 트리의 예
Larry Wasserman은 최근 "p-value police"에 대해 이야기하는 게시물을 가지고 있습니다. 그는 흥미로운 점 (모든 강조점) (내가 추가 한 이탤릭체의 전제와 그 아래의 그의 반응)을 만듭니다. 가장 일반적인 불만은 물리학 자와 언론인이 p- 값의 의미를 잘못 설명한다는 것입니다. 예를 들어, p- 값이 0.000001 인 경우 "신호가 진짜라는 99.9999 %의 신뢰도가 있습니다"와 …
1
의 순서 목록을 유지
주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
1
알고리즘 설계 및 복잡성-그 '길'에서 생각하는 방법?
내 질문은 일반적인 것입니다. 알고리즘 디자인 및 복잡성 측면에서 어떻게 생각을 시작합니까? 알고리즘 디자인에서 대학원 과정을 밟을 것입니다. 나는 일찍 등록했지만 그것을 따라갈 수 없어서 나중에 떨어 뜨렸다. 이 과정을 요구 사항으로 이수해야합니다. 이런 식으로 생각하는 '트릭'이 있습니까? 나는 이것이 상당히 조잡한 것이라는 것을 알고 있지만 때로는 새로운 관점은 주제에 …
10
물리학의 원리로서 NP- 완전 문제의 난이도?
나는 항상 P 대 NP 문제에 대한 실험 수학의 수치 적 증거가 부족하다는 것에 흥미를 느낀다. Riemann 가설은 수치 검증을 통해 뒷받침되는 증거가 있지만 P 대 NP 문제에 대한 비슷한 증거는 알지 못합니다. 또한, 결정 불가능한 문제 (또는 계산할 수없는 기능의 존재)의 존재로 인한 직접적인 물리적 세계 결과에 대해 알고 …
2
복잡한 이론 연구에서 증거 보조 사용법?
STOC와 같은 컨퍼런스에서 다루는 주제를 고려할 때 알고리즘이나 복잡성 연구원이 COQ 또는 Isabelle을 적극적으로 사용하고 있습니까? 그렇다면 연구에서 어떻게 사용하고 있습니까? 나는 증거가 너무 낮기 때문에 대부분의 사람들이 그러한 도구를 사용하지 않을 것이라고 가정합니다. 좋은 보충이 아닌 연구에 중요한 방식 으로이 증거 보조자를 사용하는 사람이 있습니까? 나는 그러한 도구 중 …
4
프로그래머를위한 이론적 컴퓨터 과학자가 학습 자료
저는 꽤 능숙한 소프트웨어 엔지니어이지만 많은 이론을 모릅니다. 더 많은 이론을 배우고 싶습니다. 내가 관심이있는 특정 주제는 계산 복잡성, 형식 언어 및 유형 이론입니다. 그러나 나는이 분야들에 대해 배우기 시작하는 방법에 대해 잃어 버렸습니다. 자율 학습을 통해 더 많은 이론을 배우고 싶은 사람에게 어떤 자료를 추천 하시겠습니까? 소프트웨어 엔지니어를위한 이론적 …
2
더 많은 컴퓨터 과학을 배우기를 희망하는 수학자들을위한 자료
배경 : 수학 석사 학위를 마치고 8 월에 논리 박사 학위를 시작할 것입니다. 더 많은 논리를 연구할수록 이론과 컴퓨터 이론에 더 많이 노출됩니다. 나의 주요 관심 분야 (집합 이론 및 범주 이론)에도 컴퓨터 과학 분야의 응용 프로그램이 있지만, 지금까지 순수 수학의 관점에서만 연구했습니다. 문제: 컴퓨터 과학에 대한 배경 지식이 부족하여 …
7
수학적 분석과 계산의 복잡성?
계산 복잡성에는 많은 양의 조합론과 수 이론, 확률론의 일부 무분별 함, 새로운 대수학이 포함됩니다. 그러나 저는 분석 분야이기 때문에이 분야에 분석을 적용 할 수 있는지 아니면 분석에서 영감을 얻은 아이디어가 있는지 궁금합니다. 이것에 약간 일치하는 것은 유한 그룹의 푸리에 변환입니다. 도와주세요?
1
Martin-Löf가 왜 직관적 인 유형 이론을 만들 필요가 있었습니까?
나는 직관적 인 유형 이론 (ITT)을 읽었으며 이해가됩니다. 그러나 내가 이해하기 위해 고군분투하는 것은 "왜"그것이 처음에 만들어 졌는가? 직관적 인 논리 (IL)와 단순 유형 미적분 (STLC) 및 유형 이론은 일반적으로 Martin-Löf 자신의 존재를 앞두고 있습니다! ITT에서 할 수있는 STLC에서 모든 것을 할 수있는 것 같습니다 (잘못되었지만 적어도 그렇게 느낍니다). λλ\lambda …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.