比浏览器更快的访问！
7 关系: 奥卡姆剃刀，奥卡姆的威廉，交談循序程式，Concurrent computing，程序編程，東尼·霍爾，指令式編程。
奥卡姆剃刀
奥卡姆剃刀（Occam's Razor, Ockham's Razor），又称“奥坎的剃刀”，拉丁文为lex parsimoniae，意思是简约之法则，是由14世纪逻辑学家、圣方济各会修士奥卡姆的威廉（William of Occam，约1287年至1347年，奥卡姆（Ockham）位于英格兰的萨里郡）提出的一个解决问题的法则，他在《箴言书注》2卷15题说“切勿浪费较多东西，去做‘用较少的东西，同样可以做好的事情’。”换一种说法，如果关于同一个问题有许多种理论，每一种都能作出同样准确的预言，那么应该挑选其中使用假定最少的。尽管越复杂的方法通常能做出越好的预言，但是在不考虑预言能力（即結果大致相同）的情况下，假设越少越好。 所罗门诺夫的归纳推理理论是奥卡姆剃刀的数学公式化：Induction: From Kolmogorov and Solomonoff to De Finetti and Back to Kolmogorov JJ McCall - Metroeconomica, 2004 - Wiley Online Library.
新！!: Occam和奥卡姆剃刀 · 查看更多 »
奥卡姆的威廉
奧卡姆的威廉（William of Ockham/Occam，約1285年－1349年），又譯為奧坎、奧康，出生於英格蘭的薩里郡奧卡姆（Ockham），在大學註冊為奧卡姆的威廉。14世紀邏輯學家、聖方濟各會修士。 奧坎早年就加入了方濟會。据记载，他于1309－1321年间在牛津大學学习神学，但一直未获得硕士（Master）学位（相当于现在的学士）。之后，又在巴黎大學求學，能言善辯，被人稱為“駁不倒的博士”。 1322年左右他發表一些言論，主张教會不應擁有私人財產，與當時的羅馬教廷不合，被教皇約翰二十二世宣称为“异端”，1324年囚禁在法國的亚威农教皇監獄。教会聘請六位神学家专门研究其著作，有51篇被判为“异端邪说”。1328年5月他在夜裡越獄，逃往意大利比萨城。神圣罗马帝国皇帝路易四世收留他，作為回報威廉撰書支持路易四世擁有控制所有在神聖羅馬帝國內的教會和領土的權利。 後定居慕尼黑。 1347年路易四世死後，教會與他和解，此時欧洲爆發黑死病，奥坎病死。 他在《箴言書注》2卷15題說「切勿浪費較多東西去做用較少的東西同樣可以做好的事情。」因为他是英国奥卡姆人，人们就把这句话称为「奥卡姆剃刀」（Occam's razor）。主要著作有《箴言書注》、《邏輯大全》、《辯論集7篇》等。.
新！!: Occam和奥卡姆的威廉 · 查看更多 »
交談循序程式
交--談循序程式（Communicating sequential processes，縮寫為CSP），又譯為通--信顺序进程、交換訊息的循序程式，一種形式語言，用來描述並行性系統間進行互動的模式。最早起源於東尼·霍爾在1978年發表的論文。交談循序程式高度影響了Occam的設計，也影響了如Limbo與Go等程式語言。.
新！!: Occam和交談循序程式 · 查看更多 »
Concurrent computing
#重定向 并发计算.
新！!: Occam和Concurrent computing · 查看更多 »
程序編程
#重定向 过程式编程.
新！!: Occam和程序編程 · 查看更多 »
東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（Sir Charles Antony Richard Hoare，縮寫為C.
新！!: Occam和東尼·霍爾 · 查看更多 »
指令式編程
指令式編程（Imperative programming），是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是指令式的；幾乎所有電腦的硬體都是設計來執行機器碼，使用指令式的風格來寫的。較高階的指令式編程語言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電腦程式，但與指令式編程有相似的風格：每步都是指令，有形的世界控制情況。因為指令式編程的基礎觀念，不但概念上比較熟悉，而且較容易具體表現於硬體，所以大部分的編程語言都是指令式的。 大部分的高级语言都支援四種基本的語句：.
新！!: Occam和指令式編程 · 查看更多 »
