«teaching» 태그된 질문

나는 계산을 위해 재미를 위해 계산 이론을 수정 해 왔으며이 질문은 잠시 동안 잔소리가났다. "왜"정확히 결정 론적 및 비결정론 적 유한 오토마타 (DFA / NFA)를 연구 하는가? 그래서 다음은 독백 후에 나왔지만 여전히 'aha'순간에 대한 전반적인 기여를 보지 못한 답변입니다. 그들이 무엇이며 제한이없는 것을 연구하기 위해 왜? 그것들은 이론적 계산의 …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

이 사이트의 첫 번째 질문입니다. 나는 계산 이론에 대한 석사 과정을 밟고 있습니다. 10 세 어린이에게 P = NP 문제를 어떻게 설명하고 왜 그에 대한 금전적 보상이 있습니까? 당신의 테이크? 머리가 명확 해지면 질문을 업데이트하겠습니다.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Chomsky (–Schützenberger) 계층은 이론적 컴퓨터 과학 교과서에 사용되지만 전체 복잡도 동물원 다이어그램 과 비교했을 때 공식 언어 (REG, CFL, CSL, RE)의 아주 작은 부분 만 포함합니다 . 계층 구조가 더 이상 현재 연구에서 어떤 역할을합니까? cstheory.stackexchange에서 Chomsky에 대한 언급은 거의 없었으며 Complexity Zoo 에서는 Chomsky와 Schützenberger라는 이름이 전혀 언급되지 않았습니다. …

44 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

나는 종종 부서에서 컴퓨터 과학의 더 수학적 요소에 대해 말을하는 고등학교 학생들에게 대화를하도록 요청받습니다. TCS에서 관심을 불러 일으킬 수있는 주제를 선택하기 위해 최선을 다하지만 (주로 Halting 문제와 관련이 있음) 다른 사람들의 아이디어 / 성공 / 실패를 듣고 싶습니다. 이 과정은 괜찮은 대학에서 CS 학사 학위를 신청하는 학생들이지만 수학이나 다른 과학에 …

38 soft-question  teaching 

이론적 인 컴퓨터 과학과 관련된 주제에 응용하는 방법은 항상 있습니다. 그러나 교과서와 학부 과정은 일반적으로 오토마타 이론이 중요한 주제 인 이유와 여전히 실제 응용 프로그램이 있는지 여부를 설명하지 않습니다. 따라서 학부생들은 오토마타 이론의 중요성을 이해하는 데 어려움을 겪고 더 이상 실용적이지 않다고 생각할 수 있습니다. 오토마타 이론은 여전히 ​​실용적입니까? 학사 …

37 soft-question  fl.formal-languages  automata-theory  teaching 

이 질문은 교사, 학생 비서, 교사 등 문제를 할당하는 사람들을 대상으로합니다. 이것은 12 년 동안 교수로서 몇 번이나 일어났던 일입니다. 저는 서둘러 "이것이 좋아 보인다"고 생각하는 글에서 몇 가지 문제를 배정했습니다. 그런 다음 나중에 해결할 수 없다는 것을 깨달았습니다. 더 부끄러운 일이 거의 없습니다. 최근 예는 다음과 같습니다. "그래프 에 …

36 soft-question  teaching 

우리는 표준 교과서, 또는 전통을 따를 때, 우리 대부분은 알고리즘 클래스의 처음 몇 강의에 큰 오 표기법의 다음과 같은 정의를 가르쳐 : 에프= O ( g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). …

35 ds.algorithms  soft-question  teaching 

이 질문은 일반적인 질문이 아닌 것 같지만이 청중에게 의미있는 방식으로 명확하게 전달 된 자료를 보았는지 궁금합니다.

34 soft-question  teaching 

고급 알고리즘 과정을 가르치고 학생들이 관심을 가질만한 머신 러닝 관련 주제를 포함시키고 싶습니다. 결과적으로 머신 러닝에서 현재 가장 흥미롭고 가장 큰 알고리즘 결과에 대한 사람들의 의견을 듣고 싶습니다. 잠재적으로 까다로운 제약은 학생들이 선형 대수학 또는 기계 학습의 다른 주요 주제에 대한 특정 사전 지식을 갖지 못한다는 것입니다. 이는 실제로 주제에 …

30 ds.algorithms  machine-learning  teaching 

방금 대학원 알고리즘 수업에서 Karger-Stein randomized mincut 알고리즘 을 가르쳤습니다 . 이것은 진짜 알고리즘 보석 내가 할 수 있도록 하지 가르쳐,하지만 주요 기술의 다른 응용 프로그램을 모르기 때문에 항상 나를 좌절 떠난다. (그래서 요점을 운전하는 숙제를 할당하는 것은 어렵습니다.) Karger와 Stein의 알고리즘은 Karger의 이전 알고리즘을 개선 한 것으로, 그래프에 꼭짓점이 …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

계산 함수의 개념을 가르치는 데 어려움이 있습니다. Hilbert / Ackermann / Godel / Turing / Church / ...와 같은 연구원들이 왜 '계산 성'이라는 개념을 발명했는지에 대한 아이디어를 개발하려고 노력했습니다. 학생들은 즉시 물었습니다 : "계산은 무엇을 의미합니까?" 튜링 머신을 가르치지 않으면 대답 할 수없고 "튜링 머신이 계산하면 함수를 계산할 수 있습니다"라고 …

22 soft-question  computability  turing-machines  teaching 

현재 저는 보안의 논리적 인 방법에 관한 작은 코스 (마스터 레벨에서 2 시간의 4 시간 강의)를 가르치지 만, 보안의 공식적인 방법 이라는 제목 은 더 적합 할 수 있습니다. 다음 주제에 대해 간략하게 설명합니다 (관련된 논리적 방법 사용). 디지털 권한 관리 및 정책 시행 (일반 형식화, 모달 논리, 자동 제어를 …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

다음 학기에는 언어와 오토마타에 관한 표준 학부 수업을 진행할 것이며 합법적 인 무료 또는 저렴한 텍스트를 사용하는 것을 선호합니다. 어떤 제안? 나는 Sipser 텍스트를 좋아하지만 최신 버전은 196 달러이며 무료 코스의 시대에 똑바로 말하기가 어렵습니다.

21 soft-question  teaching  books 

나는 합리적인 학부 수학 교육을 받았지만 추상 대수학 (그룹, 반지, 분야 등의 수학)에 100 % 편안하지 않았습니다. 나는 이것이 CS가 아닌 물리학에서 응용 프로그램과 응용 프로그램을 보는 데 필요한 부분이라고 생각합니다. 내 관심사가 실제로 CS이기 때문에 CS 응용 프로그램의 관점, 특히 알고리즘 / 이론의 관점에서 추상적 대수학을 다루는 자료 (온라인 …

19 soft-question  algebra  teaching 

나는 새로운 TCS 고등학교 프로그램을 가르치라는 제안을 받았는데, 커리큘럼을 구성해야합니다. 이에 대한 의견과 제안을 듣고 싶습니다. 첫째, TCS 프로그램이 성공적으로 (또는 성공적으로) 가르쳐 진 고등학교에 대해 아는 사람이 있습니까? 이 아이디어는 우수 학생을위한 3 주 프로그램 (10-12-12 학년, 16-18 세), 매주 약 8 시간이며, 이는 요구가 많거나 요구되는 것을 의미합니다. …

16 teaching