Algebra 为什么被翻译成「代数」？ - 知乎
2018年2月1日 · 关于Algebra翻译成“代数”这件事，我也很好奇，然后我就百度了一下。比较普遍的说法是，“1859年，我国数学家李善兰首次把‘algebra’译成’代数‘，并且和伟烈亚力一起翻译了 …
代数数据类型是什么？ - 知乎
真正的algebraic data type需要一个语法检查叫做strict positivity condition，在Coq的refman有解释 [1]。 在Haskell，这个检查不存在的，你可以出现negative occurrence或者non-strict positive …
Simulinkモデルのシミュレーション中に、’代数ループ (algebraic ...
Simulinkモデルのシミュレーション中に、’代数ループ(algebraic loop)’に関する警告が出力されました。代数ループとは何ですか？また、その回避方法はありますか？ (警告メッセージ) …
抽象代数中，正规闭包和代数闭包有什么区别？ - 知乎
An algebraic closure of F is an algebraic extension of F that is algebraically closed. 通俗的讲，F的algebraic closure就是F添上所有F上的多项式的所有的根组成的最小的域。 K is a …
Lurie 的 derived algebraic geometry 有多重要？ - 知乎
回忆其实algebraic geometry研究的是一个交换环的spectrum在Zariski topology下的geometry，这应该给你一点关于derived algebraic geometry的基本想法了。 对derived algebraic geometry …
学习代数拓扑哪本教材好？ - 知乎
上面有人提到Algebraic Topology from a Homotopical Viewpoint这本书，那我也说几句，这本书观点很现代很新颖，很早就开始讲Eilenberg-Maclane space这些分类空间了，但是假如你是一 …
如何评价 Goertz 和 Wedhorn 的代数几何教材 ？ - 知乎
之前看hartshorne 看不下去老师推了之本书。2345章仔细学，习题也基本都做了，67章匆匆看了个定义。 我看之前学过交换代数和classic algebraic geometry (shafaverich's 和 harris')。有了对 …
代数几何的入门教材哪一本比较好？（研究生一年级） - 知乎
Reid的《Undergraduate Algebraic Geometry》[Rei88]也是一本不错的教材，尽管标题中的本科生指的是英国的本科生，他们开始专注数学的年龄比美国同行早。 Reid从平面曲线开始，展示 …
协程（coroutine）与代数效应（Algebraic Effects）有什么关系？
那是不是coroutine和algebraic effect可以互换呢？只要限定成algebraic effect只能调用一次就可以拿corutine来做模拟。可以看到下面这篇论文就这么搞了 最后，这两者虽然都和控制流有关， …
如何评价 Bott 和 Tu 写的代数拓扑？ - 知乎
觉得前面很多人没有说清楚一个问题：Bott 和Tu写的书全名叫做：《differential forms in algebraic topology》，Hatcher的，一般指的是他那本《algebraic topology》。切入点是不一样的，内容呢