«soft-question» 태그된 질문

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

5
문제 교육 계산 성
계산 함수의 개념을 가르치는 데 어려움이 있습니다. Hilbert / Ackermann / Godel / Turing / Church / ...와 같은 연구원들이 왜 '계산 성'이라는 개념을 발명했는지에 대한 아이디어를 개발하려고 노력했습니다. 학생들은 즉시 물었습니다 : "계산은 무엇을 의미합니까?" 튜링 머신을 가르치지 않으면 대답 할 수없고 "튜링 머신이 계산하면 함수를 계산할 수 있습니다"라고 …
5
1 인칭 단수로 단일 저자로 논문 작성
나는 이론적이지 않은 컴퓨터 과학으로 논문을 쓰고 있는데 때때로 익명이 아닌 단일 저자가되었습니다. 이전에는 다음과 같은 논문에서 1 인칭 복수형을 사용했습니다. 복잡성 클래스 X와 Y가 일치 함을 보여줍니다. 나는 영어를 모국어로 사용하는 사람도 아니고 영어를 능숙하게 구사하지도 않습니다. 최근에 나는 영어를 모국어로 사용하는 사람 (과학에 있지만 컴퓨터 과학자는 아니지만)으로부터 1 …
4
무료 또는 저렴한 언어 및 오토마타 교과서?
다음 학기에는 언어와 오토마타에 관한 표준 학부 수업을 진행할 것이며 합법적 인 무료 또는 저렴한 텍스트를 사용하는 것을 선호합니다. 어떤 제안? 나는 Sipser 텍스트를 좋아하지만 최신 버전은 196 달러이며 무료 코스의 시대에 똑바로 말하기가 어렵습니다.
1
이론적 컴퓨터 과학 분야에서 박사 학위가 필요없는 직업은 무엇입니까?
저는 학부생이며 최근 이론적 인 컴퓨터 과학에 대한 연구를 수행 할 지식이 없거나 박사 과정에 입학하여 이수 할 수 없다는 사실에 동의합니다. 그러나 나는 여전히 이론적 컴퓨터 과학에 관심이 있다는 것을 알고 싶습니다. 지금까지 내가 생각할 수있는 박사 학위를 요구하지 않는 이론적 컴퓨터 과학 분야의 유일한 직업은 일부 대학의 이론 …
3
비 결정적 계산을 누가 도입 했습니까?
두 가지 역사적 질문이 있습니다. 누가 비 결정적 계산을 처음 설명했습니까? Cook은 NP-complete 문제를 설명했으며 Edmonds는 P 알고리즘이 "효율적"또는 "좋은"알고리즘이라고 제안했습니다. 이 위키피디아 기사를 검색 하고 "계산의 복잡성 알고리즘"을 훑어 보았지만 비결정론 적 계산이 처음 논의 된 시점에 대한 언급을 찾을 수 없었습니다. NP 클래스에 대한 첫 번째 참조는 무엇입니까? …
5
협업을위한 버전 관리 (단어 수준 차이)?
대부분의 논문은 현재 공동으로 작성되며 공동 작업자는 종종 다른 장소에 있습니다. 필자는 항상 문서와 코드에 버전 제어 시스템을 사용해 왔으며 공동 작업 소프트웨어 프로젝트에 버전 제어가 중요하다는 사실을 발견했지만 이론적으로 많은 연구원들이 공동 논문 작성에 사용하지 않는 것 같습니다. 공동 작업자에게 버전 관리 (개정 제어)가 함께 작업하기에 좋은 아이디어임을 확신시키기 …
3
현재 및 향후 고성능 컴퓨터를위한 알고리즘을 설계하는 데 적합한 이론적 모델은 무엇입니까
이 질문은 알고리즘 및 데이터 구조를 설계하기 위해 컴퓨터의 이론적 모델이 무엇인지에 대한 일반적인 질문 과 유사합니다 . 여기서는 현재 고성능 컴퓨터 (예 : Top 500으로 나열된 컴퓨터 ) 또는 심지어 다가오는 슈퍼 컴퓨터. 이 컴퓨터는 일반적으로 거대한 데이터 세트 (일부 사람들은 주로 결합 된 메인 메모리를 가지고 있기 때문에 …
4
이론적 인 컴퓨터 과학자들을위한 추상 대수
나는 합리적인 학부 수학 교육을 받았지만 추상 대수학 (그룹, 반지, 분야 등의 수학)에 100 % 편안하지 않았습니다. 나는 이것이 CS가 아닌 물리학에서 응용 프로그램과 응용 프로그램을 보는 데 필요한 부분이라고 생각합니다. 내 관심사가 실제로 CS이기 때문에 CS 응용 프로그램의 관점, 특히 알고리즘 / 이론의 관점에서 추상적 대수학을 다루는 자료 (온라인 …
5
CS 이론에서 교직원 채용 공고를 어디서 찾을 수 있습니까?
CS 이론에서 교수직에 대한 채용 공고를 찾는 데 가장 적합한 리소스는 무엇입니까? 특히 포괄적 인 웹 사이트 나 메일 목록이 있습니까? 현재 종합적인 전 세계 채용 공고 목록을 얻으려면 다양한 리소스를 사용해야한다는 인상을 받았습니다. 이 경우입니까? 이 질문은 관련이 취업을하는 방법 내가 여기 부탁 해요 질문이 있지만, 당신은 어떻게합니까, 에 …
1
게임 이론을 사용하여 연구 주제 선택
이 최근의 게임 이론 질문 은 제가 생각하게 만들었습니다 (물론 이것은 탄젠트입니다) : 게임 이론을 사용하여 연구 할 연구 질문을 선택하기위한 개인 전략을 효율적으로 최적화 할 수 있습니까? 질문을 공식화하기 위해 다음과 같은 (비공식적으로) 가정합니다. 나는 "당신이 좋아하는 것을하십시오!"의 "부드럽고 (정확한!) 답변을 피하기 위해 내가 할 수있는 특정 문제를 똑같이"즐긴다 …
5
AI 연구에서“고급 수학”은 어느 정도까지 필요 / 유용합니까?
저는 현재 수학을 공부하고 있습니다. 그러나 나는 미래에 전문 수학자가되고 싶지 않다고 생각합니다. 인공 지능 연구를 위해 수학 지식을 적용하려고합니다. 그러나, 얼마나 많은 수학 과정을 따라야하는지 잘 모르겠습니다. (그리고 어떤 CS 이론 과정을 따라야합니까.) Quora에서 저는 Linear Algebra, Statistics and Convex Optimization 과목 이 기계 학습과 가장 관련이 있다는 것을 …
3
이론에 대해 말하는 방법
나는 이것이 논쟁의 여지가있는 질문 일지 모른다는 것을 알고 있지만, 이것은 물어볼만한 곳인 것 같았다. 그렇지 않은 경우 리디렉션하십시오. 배경은 제가 "실무자"(PhD 학생, CS 이론을 공부하지 않음)이지만 학부 알고리즘과 수학에 대한 합리적인 기초를 가지고 있다는 것입니다. 그럼에도 불구하고, 이론가들과의 토론은 마치 내가 겁에 질 때 나에게 수학 용어를 사용하는 것을 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.