跳到主要内容

注:这些页面广泛使用了最新的XHTML和CSS标准。在任何符合标准的现代浏览器中,它们都应该看起来很棒。不幸的是,它们在较旧的浏览器(如Netscape 4.x和IE 4.x)中可能看起来很糟糕。此外,许多帖子使用MathML,目前只有Mozilla支持。我最好的建议(你会的感谢当我在网上浏览越来越多使用新标准的网站时,我是要升级到最新版本的浏览器。如果这不可能,考虑转向标准兼容和开源Mozilla公司浏览器。

2007年1月5日

经典计算与量子计算(第9周)

John Baez发布

以下是关于经典计算与量子计算。本季度,我们将开始对上次所做的一切进行分类!

  • 第9周(1月4日)-简要回顾类别和计算:对象作为数据类型,形态作为程序的等价类。为什么我们必须对目前为止的工作进行分类,以将计算视为一个过程。分类策略。对“幺半群”的概念进行分类,得到“幺半类”的概念。对“类别”概念进行分类,得到“(弱)2-类别”(也称为“双类别”)的概念。

上周的笔记是在这里.

下周不会有任何研讨会,因为其中一些将在高级类别及其应用在多伦多。我们将在下个星期继续。

发布于2007年1月5日12:18 AM UTC

此条目的TrackBack URL:https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1011网址

0条评论和1条回溯

阅读帖子经典计算与量子计算(第8周)
网络日志:n类咖啡馆
摘录:Curry的不动点定理如何与Cantor的对角线论点相关。
跟踪:2007年1月5日12:56 AM

发布新评论