謂詞演算
1 篇文章・ 0 位粉絲
常用關鍵字
所有文章
熱門文章
由新到舊
由舊到新
日期篩選
由新到舊 由舊到新 日期篩選
選擇年份
2020年
選擇月份
3月

數學妙用
・2020/03/28
戴克斯特拉最初主修理論物理，但在家人與長官的支持之下，轉而投入計算機科學的研究，貢獻良多，遂在1972年榮獲圖靈獎。而且我們也可以從手稿中發現，戴克斯特拉不只是數學家、計算機科學家，還是一位充滿人文氣質的教育家。
圖靈獎 戴克斯特拉 演算法 程式設計 謂詞演算
6
1
繁 简