当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0370秒)
为您推荐: 南京工学院计算机科学与工程系 中国岩石力学与工程学会 数值计算及模型试验专业委员会编 中国航天系统科学与工程研究院 计算机科学技术与应用 辑部 计算机研究与发展 编辑部编辑 教育部高等学校计算机科学与技术教学指导委员会制
-
-
-
-
-
信息与计算科学丛书 扩散方程计算方法
袁光伟等著2015 年出版276 页ISBN:9787030463883本书介绍扩散方程的计算方法,重点介绍作者近十年来取得的研究进展。内容包括:简要介绍扩散方程几类常见的有限体积方法;扭曲网格上扩散方程的多种高精度有限体积格式,其中包括具有保正性的格式和保持离散极值原...
-
国外计算机科学教材系列 可计算性与数理逻辑
(美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...
-
-
-
-
集论与逻辑 面向计算机科学
沈恩绍著2003 年出版198 页ISBN:703011047121世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧,对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
学科分类