Questions tagged «education»

有关学习计算机科学学科和CS教育的一般问题

7
年轻人的计算机科学书
此问题是从理论计算机科学堆栈交换迁移而来的,因为可以在计算机科学堆栈交换上回答。 迁移 7年前。 对于15岁的年轻人来说,什么是一本好的初学者计算机科学书籍?我想开始使用CS,但是不知道从哪里开始。我在编程方面的经验有限。

7
反向抛光符号的意义是什么?
我向18岁的孩子教授计算机。在向他们解释了反波兰符号后,有人问为什么它足够重要才能参加公开考试。我解释了70年代计算器的历史意义,但这未能真正解决这个问题。RPN也有并发的实际或理论应用。

3
正式方法之路
看到学生只有有限的数学和计算机科学方面的背景才开始攻读博士学位的情况并不少见。显然,这样的学生很难成为理论计算机科学家,但如果他们能够精通使用形式方法和阅读包含形式方法的论文,那将是很好的。 初学博士学位的学生可以遵循一条良好的短期途径来获得所需的曝光度,以使他们阅读涉及形式方法的论文并最终撰写使用这种形式方法的论文? 在上下文方面,我在理论B和形式验证方面的思考更多,是他们应该学习的东西,而且还涉及传统的TCS主题,例如自动机理论。

4
不了解TCS的策略
我是一名正在学习计算理论课程的研究生,一旦被要求,我在制作内容方面存在严重的困难。我能够按照教科书(Michael Sipser的计算理论简介)和讲座进行学习;但是,当被要求证明某件事或提出特定TM的正式描述时,我只是cho之以鼻。 在这种情况下我该怎么办?我想我的问题是完全理解抽象概念,以至于我可以实际使用它们。是否有一种结构化的方法来处理新的抽象概念并最终建立直觉?


4
Quicksort向孩子们解释
去年,我读了一篇有关“幼儿园量子力学”的精彩论文。这不是件容易的事。 现在,我想知道如何用最简单的词来解释quicksort。我如何证明(或至少是手波)平均复杂度为,对于幼儿园班级,最佳和最差情况是什么?还是至少在小学?Ø (ñ日志n )Ø(ñ日志⁡ñ)O(n \log n)

6
线性代数的哪些部分在计算机科学中使用?
我一直在阅读《线性代数及其应用》以帮助理解计算机科学材料(主要是机器学习),但我担心很多信息对CS毫无用处。例如,除非您尝试编写新的方程式求解器,否则了解如何有效地求解线性方程式系统似乎没有什么用。此外,这本书还讨论了跨度,线性相关性和独立性(矩阵有逆的时候)以及它们之间的关系,但是我想不出它在CS中的任何应用。那么,CS中使用线性代数的哪些部分?

6
在一个间隔中找到两个数字的最大异或:我们能做得比二次更好吗?
lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r 天真的算法只检查所有可能的对。例如在红宝石中,我们有: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ j end end end max end 我感觉到,我们可以做得比二次。是否有针对此问题的更好算法?

1
实践中的通用哈希
如果 ,则哈希函数族是通用的 您可以在此Wikipedia 文章中找到有关通用哈希的更多信息。HHH^ h :ü→ { 0 ,… ,M− 1 }H:ü→{0,…,中号-1个}h: U \rightarrow \{0,\ldots,M-1\}∀ X , ÿ∈ ü,x ≠ y⇒ 镨ħ ∈ ħ[ h (x )= h ( y)] ≤ 1中号∀X,ÿ∈ü,X≠ÿ⇒镨H∈H[H(X)=H(ÿ)]≤1个中号\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} 现在,通用哈希的概念已成为本科生数据结构课程的标准部分。能够激励学生认识通用哈希在工业应用中的重要性。所以我的问题是: 哈希函数通用族的构造在实践中重要吗?如果答案是肯定的,请您分享一些您所看到的有趣的工业应用程序吗?

4
计算机科学自学
我是16岁的男性,最近被我的一个朋友赠送给计算机科学大百科全书。我通常对计算机和技术不那么感兴趣,但是计算机科学开始让我着迷。但是,我确实打算学习物理和/或数学而不是CS,所以我的问题是,进行计算机科学自学会有用吗?我当然不是在学BSc,而是CS的基础知识(这是一本约600页的百科全书)。

1
使用实时编码的教学技巧
我参加了第一年的编程和算法课程。在最近的一次演讲中,我决定使用实时编码来介绍这些资料,这实际上意味着我坐在键盘后面,编写代码并使用emacs对其进行评估,以对其进行评估。 这是相当成功的,学生们评论了他们对这种(互动式)互动形式的欣赏程度。因为这是我第一次尝试使用这种教学格式,所以我知道它运行得并不完美。有些问题与对emacs的了解不尽如人意有关,而其他问题则与允许学生提出的问题使我离脚本太远了。我知道我可以做得更好。 使用现场编码讲座进行讲座(和其他演示)的一些准则是什么? 有哪些陷阱要避免?

1
推断优化类型
在工作中,我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式,如下所示: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始,并试图推断出更具体的类型,因此自然的选择是精简类型。例如,条件运算符返回其真假分支类型的并集。在简单的情况下,它效果很好。 但是,在尝试推断以下类型时遇到了障碍: function …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 


1
TCS专业数学
我正在寻找理论计算机科学专业;特别是,我对复杂性理论和概率自动机理论感兴趣。在我即将毕业的一年中,您认为接下来的两个学期中,哪些数学高级课程(例如伽罗瓦理论或谐波分析)对您有用?为什么?

7
TCS入门书籍列表,供那些对TCS不太了解的人使用[关闭]
按照目前的情况,这个问题并不适合我们的问答形式。我们希望答案得到事实,参考或专业知识的支持,但是这个问题可能会引起辩论,争论,民意调查或扩展讨论。如果您认为此问题可以解决并且可以重新提出,请访问帮助中心以获取指导。 8年前关闭。 如果您必须向希望在入门级学习更多有关TCS的人推荐书籍,例如自动机理论,算法学,复杂性理论等,那么您会为那些有兴趣并想了解更多信息的人推荐什么书? TCS,但没有接触过它吗?
10 education 

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.