This topic created in 3954 days ago, the information mentioned may be changed or developed.
我觉得纯数学界的很多成果应该在编程领域潜力巨大
比如用OOP来套群的概念的话
那就是群的元素就是各个对象 群的运算就是这些个对象都Implement的Interface
诸如此类 不一而足
民那桑能不能就此谈谈想法?
比如用OOP来套群的概念的话
那就是群的元素就是各个对象 群的运算就是这些个对象都Implement的Interface
诸如此类 不一而足
民那桑能不能就此谈谈想法?
 |
1
ubinexy Jul 11, 2015
为什么要拿面向对象的概念来说明群的概念，完全不一样啊！
要说的话，SICP里提到的闭包的概念倒是有点像群。 |
 |
2
wy315700 Jul 11, 2015
群要满足封闭性、结合律、单位元和逆元。
一个class 衍生的所有对象倒是可以组成一个群 计算机本身到是可以套到群的概念里，因为计算机里所有的运算其实就是个有限域的运算，密码学里用的比较多。 |
 |
3
em70 Jul 11, 2015 via Android
计算机专业早期不是独立的，而是数学系大三选择的一个方向，现在数学系应该没有谁不会编程的吧
|
 |
5
ca1123 OP @wy315700 群这个概念比较老了 而且脱离不了映射 描述能力有限 现在搞Category Theory似乎描述能力提升了 听说Haskell有一些范畴论的东西 但是Haskell似乎没什么人用来着 为什么呢?
|
 |
8
crazyxin1988 Jul 11, 2015
数学系 C++ 都是必需课了
我记得貌似 C++的学分 和 高代 数分 一样 而且 有些专业课需要写代码 啊 比如 数值计算 偏微分方程 |
 |
9
nbndco Jul 11, 2015
你类比的群和对象的关系完全不对……
|
 |
10
googlefans Jul 11, 2015
一般到高级阶段 都会用到数学
|
 |
12
linxy Jul 12, 2015 via Android  1
建议学学函数式语言，比如haskell。
|
 |
13
theoractice Jul 12, 2015
群论是讨论定义了某种运算的集合的公有性质的，跟oop有神马关系。
生拉硬拽的话，oop更类似于柏拉图的 Theory of forms，也就是所谓“白马非马”之类的哲学观念。 |
 |
14
emdoe Jul 12, 2015 via Android
@crazyxin1988 起码我们和数分高代差的远…
|
 |
15
monnand Jul 12, 2015
这个早就有人在搞了吧。楼主搜范畴论 category theory，type theory这些一大堆，他们在haskell上玩得不亦乐乎。编译原理里面很多都需要抽象数学的知识，龙书里面的data flow analysis就讲这块呢。
简单说，programming language这个领域里很多都是搞纯数学的，比那些弄机器学习，人工智能的人还“纯”。想做抽象点的数学，在CS里大概也就是： - Programming language：各种语言设计的自洽性，完备性证明；程序正确性完备性证明；类型系统完备性自洽性证明；各种各样的编译器优化…… - computer graphics：计算几何 - Computational theory：这个就不说了…… |
|
17
ca1123 OP @theoractice 群作为一种抽象，离开了具体的结构，就没有讨论的意义了．．．不过 OOP 和 白马非马 是怎样的联系呢？
|
|
18
theoractice Jul 12, 2015
@ca1123 我的意思是，马和白马的关系类似于抽象类和派生类。。。
|
|
19
ca1123 OP @theoractice 我虽然在数学方面是个三脚猫 但是 代数里面有一个同态的概念 允许通过Kernel抛弃一部分细节 定义关系 似乎很有抽象类和派生类之间的神韵?
|
|
20
theoractice Jul 13, 2015
说到底数学就是抽象，那么涉及抽象以及抽象的抽象之类概念，都会有那么点神韵吧。
|
 |
21
foxkiller Sep 13, 2015 via iPhone
英国的计算机系数学学好多。。。
英国的数学系学的是物理。。。天天算流体力学什么的。。。 不要问我怎么知道的（捂脸 |
 |
22
Lumuy Dec 4, 2015 via Android
我觉得编程就是数学方法的具体实现，就像矩阵运算 9 一样
|
Select Language