一般显示器设置在2.2到2.4之间的值都有近似效果,可以按自己喜好选择。. 2.4在暗部之外最准确,但是暗部会显得更暗,可能丢失细节, 2.2 则会显得比2.4明亮一些,但是暗部稍微亮一些。. 除此之外的 gamma值 都不推荐设置,计算机系统一般默认显示器gamma为2.2 ...
Share, comment, bookmark or report
其实这些名称是有误导性的。好像没有听说用weak induction的。通常分成mathematical induction 和 strong induction。根据Discrete Mathematics and Its Applications这本书讲的,strong induction也被叫做complete induction,而mathematical inducation对应地就叫做incomplete induction。但是都不能从字面 ...
Share, comment, bookmark or report
摸了几下 induction recursion,可以看到源头都指向这个是 Martion-Löf 他在设计 type theory 时的例子。. 搞 induction recursion 的原因是要 formulate universe,universe 大家都知道简单來讲是 type of types。. 引入 universe 的理由在 ITT 的原文是. To strengthen the language, we can add transfinite ...
Share, comment, bookmark or report
Share, comment, bookmark or report
区别. 思维的起点不同:归纳推理是从特殊性到一般的认识过程;演绎推理是从一般到特殊性的认识过程。. 案例3中(证明人都会死),我们是通过观察了很多特殊的个体,然后认识到了原来整个人类都是这样。. 案例2中(苏格拉底三段论),我们是从是人都会 ...
Share, comment, bookmark or report
Comments