跳到主要内容

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

2007年1月24日

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

发布人:John Baez

本季度在我们的课程中经典计算与量子计算,我们的目标是修复范畴理论在计算中的通常应用中的一个漏洞,尤其是lambda-calculus及其量子推广。我们想谈谈计算的过程!为此,我们需要认真对待两个类别…

  • 第10周(1月18日)-对“类别”的概念进行分类,以获得“2-类别”的详细概念。

上周的笔记是在这里; 下周的笔记是在这里.

发布时间:2007年1月24日下午9:54 UTC

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

1条评论和1条回溯

主题:经典与量子计算(第10周)

我看到你在这里引入了符号(f) °“上学期的警告是”(f)’. 我想呼吁符号的一致性,同时允许人们使用自己喜欢的任何顺序。符号' °(f)“,由莱布尼茨(或至少是他的亲密追随者)引入,应该为莱布尼茨的订单保留,而符号”(f);“(我认为是从理论计算机科学派生出来的)应该用在相反的顺序上。最后,简化符号(f)“应该保持灵活性,用在你喜欢的地方,并加上解释以避免混淆。

发布人:托比·巴特尔斯2007年1月24日10:20 PM|永久链接|对此的答复
阅读帖子经典计算与量子计算(第11周)
网络日志:n类咖啡馆
摘录:有很多两类的例子!
已跟踪:2007年1月25日11:22 PM

发布新评论