计算机科学家的除法和取模 - 微软研究

H3:计算机科学文献和编程语言中存在多种 div 和 mod 函数的定义

  • 简要回顾了最常见的定义(截断除法、Knuth 的向下取整除法等)
  • 讨论了罕见但在数学上优雅的欧几里得除法
    H3:给出欧几里得除法的算法并证明其正确性
  • 给出了欧几里得除法的算法
  • 依据欧几里得定理证明该算法是正确的
阅读 14
0 条评论