10 2020 档案

可计算性理论与复杂性介绍
摘要：原文：An Introduction to Computability Theory and Complexity 作者： MEHMET BAJIN An Introduction to Computability Theory and Complexity MEHMET BAJIN With ex 阅读全文
posted @ 2020-10-31 22:07 hjlweilong 阅读(399) 评论(0) 推荐(0) 编辑
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
摘要：作者：ZS Chen链接：https://www.zhihu.com/question/410152789/answer/1370365745来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 (抛砖引玉, 想到什么写什么, 段落之间并没有什么特别联系) 我在TA的时候喜 阅读全文
posted @ 2020-10-31 21:54 hjlweilong 阅读(1406) 评论(0) 推荐(0) 编辑
notebook 快捷键
摘要：1、shitf+enter：执行结果 2、Tab：字母联想 3、shitf+Tab：查看方法描述，如果连续按两次Tab则可以看到详细的方法描述 4、ctr+?：将选中的全部注释，再次就是全部取消注释 阅读全文
posted @ 2020-10-16 20:41 hjlweilong 阅读(378) 评论(0) 推荐(0) 编辑
发表文章不需要版面费的期刊
摘要：http://cb.cnki.net/journal/Search.aspx?key= 期刊名称 审稿费 版面费 稿费 是否EI期刊源 计算机工程与科学 无 无 http://manu46.magtech.com.cn/ces/CN/1007-130X/home.shtml 数值计算与计算机应用 h 阅读全文
posted @ 2020-10-12 11:28 hjlweilong 阅读(348) 评论(0) 推荐(0) 编辑
命题演算、集合论和布尔代数之间的关系是什么？
摘要：命题演算、集合论和布尔代数之间的关系是什么？ 命题逻辑中的连接词∧（连接）与集合论中的∩（交集）本质上是相同的，如果我们认为“假”是“非成员”，“真”是“成员”。德摩根定律、交换定律、幂等定律适用于其中的三种。真值表存在于命题逻辑和布尔代数中——隶属表存在于集合论中。为什么？ 是不是因为这些系统中的 阅读全文
posted @ 2020-10-12 10:49 hjlweilong 阅读(1060) 评论(0) 推荐(0) 编辑
如何理解佛经中“黄叶止啼”的故事
摘要：因缘法 弘扬儒释道等传统文化 推荐于2017-11-23 关注 2113净空法师开示： 诸佛如来说法度众生有个5261比喻，这比喻是佛说的，如4102什么？如1653「黄叶止啼」。小孩在哭、在叫、在闹，佛说法就是什么？地上捡一片落叶，树上秋天树叶掉下来黄色的，告诉小孩，这是黄金，很值钱，拿去买糖吃， 阅读全文
posted @ 2020-10-03 17:07 hjlweilong 阅读(1200) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示