专栏首页arxiv.org翻译专栏计算原理(CS.CC;CS.GT)
原创

计算原理(CS.CC;CS.GT)

这些是计算理论课程的笔记。目的是向学生介绍计算理论的基本概念,并激发他们继续学习的兴趣。依赖模型的效应被系统地忽略了。具体的计算问题只作为一般原理的图解来考虑。这些笔记可以供设计课程的老师使用,也可以供那些既熟悉教材又想要更新记忆的学生使用,或者是那些特别聪明的学生,他们可以向老师提问。每个小节大约需要一个星期的课程。

原文题目:Fundamentals of Computing

原文:These are notes for a Theory of Computation course. The goal is to introduce the undergraduates to basic concepts of Theory of Computation and to provoke their interest in further study. Model-dependent effects are systematically ignored. Concrete computational problems are considered only as illustrations of general principles. The notes can be used by an instructor designing a course or by students who either know the material and want to refresh the memory or are exceptionally bright and have access to an instructor for questions. Each subsection takes about a week of the course.

原文作者:Leonid A. Levin

原文地址:https://arxiv.org/abs/2005.06436

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 释义与参照:同一枚硬币的两面(CS.CL)

    我们研究了两种不同的NLP任务之间的潜在协同作用,这两种任务都面临词汇变异性:识别谓词释义和事件共引用解析。首先,我们使用来自事件共参考数据集的注释作为远程监控...

    用户7236395
  • 连续博弈近似纳什均衡的计算算法及其在连续Blotto中的应用(CS.GT)

    已有成功的算法用于计算各种有限对策类的纳什均衡。然而,解决连续游戏——其中纯策略空间(可能不可数)是无限的——则更具挑战性。尽管如此,许多现实世界的领域都有连续...

    用户7236395
  • 证明战略性拍卖网络(CS.GT)

    最优拍卖在买方的个人理性和策略证明的前提下,使卖方的期望收益最大化。迈尔森1981年开创性的作品解决了一件物品的拍卖案件;然而,随后几十年的工作在单一物品的基础...

    用户7236395
  • 用schemaSpy制作数据库文档

    Schemaspy是一款Java开发的数据库文档生成工具,是开源的。生成的数据库文档非常的漂亮,实用。最近探索了两天终于会使用这个工具了。我接触到这个工具是在开...

    张善友
  • 用于推断开放式工作场所浓度的环境物理系统(CS CY)

    开放式工作区中的核心挑战之一是确保劳动者在执行任务时集中精力。因此,能够推断出劳动者的集中度将使建筑设计师,经理和劳动者能够估计不同的开放式布局将产生什么影响并...

    小童
  • RequestParam与RequestBod等参数注解简析

    该注解常用来处理Content-Type: 不是application/x-www-form-urlencoded和multipart/form-data编码的...

    汐楓
  • C++核心准则ES.84:不要定义无名局部变量

    ES.84: Don't try to declare a local variable with no name

    面向对象思考
  • 4篇前沿强化学习论文

    HIERARCHICAL VISUOMOTOR CONTROL OF HUMANOIDS

    用户1908973
  • 涡轮增压树有界贝叶斯网络结构学习(CS AI)

    本文提出了一种学习树型有界贝叶斯网络结构的新方法。该方法的关键是应用精确的方法(基于MaxSAT)局部地提高启发式计算BN的分数。这种方法将精确方法的功能(目前...

    用户7454091
  • 谷歌tacotron端到端的文本转语音合成模型实践

    虽然谷歌tacotron已经推出了两个版本了,但是本实践主要还是针对第一个实践的。

    sparkexpert

扫码关注云+社区

领取腾讯云代金券