当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0295秒）
为您推荐： 破案科学 侦查逻辑与经验 办案研究丛书 破案科学 侦查逻辑与经验 侦查讯问研究述评 原理与 实务丛书 侦查监督办案规范手册 侦查监督规范办案一本通 科学鉴定与刑事侦查
-
-
-
-
系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法
应国光著2017 年出版171 页ISBN：9787010181097“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...
-
-
逻辑与演绎科学方法论导论
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译2017 年出版259 页ISBN：9787100005203本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN：703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
学科分类