技术栈
计算机理论
爱思德学术
1 个月前
算法
·
计算机理论
·
计算机逻辑
中国计算机学会（CCF）推荐学术会议-A（计算机科学理论）：LICS 2026
The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26.
Js.Tx
1 年前
线性代数
·
行列式
·
具体数学
·
递归问题
·
计算机理论
【具体数学 Concrete Mathematics】1.1 递归问题 讲义
本节(1.1、1.1.1-1.1.3)主要围绕《具体数学》第一章 递归问题（Recurrent Problems）讲义部分的三个问题展开，分别是汉诺塔、平面上的直线以及约瑟夫问题。下面简单介绍一下递归问题和数学归纳法，做一个简单的导入，具体的递归应用可以在三个例子（1.1.1-1.1.3）中获得更好的体现：
我是有底线的