VIP会员
作者:CSDN
出版社:CSDN《程序员》
ISBN:1111111111117
VIP会员免费
(仅需0.8元/天)
¥ 40000.0
温馨提示: 价值40000元的1000本电子书,VIP会员随意看哦!
电子书推荐
-
[计算机科学与技术方法论].董荣胜.古天龙.扫描版 评分:
内容简介 《计算机科学与技术方法论》是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求,借鉴了数学 的公理化思想,对计算学科的主要内容进行了系统化、逻辑化的概括,并通过大量实例,深入浅出地阐明了计算学科中各主领域发展的基本规律,揭示了各主领域之间的内在联系,有助于 人们对计算学科的深入了解。 《计算机科学与技术方法论》的主要内容包括:计算机科学与技术方法论的构建,计算学科的历史、定义、根本问题,计算学科各主领域的基本问题,计算学科中的抽象、理论和设计3个 学科形态,计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题等。为了使读者能更好地理解和掌握书中的内容,在各章末还附有一定数量的思考题。 《计算机科学与技术方法论》是计算学科认知领域的一本学术专著,也可作为高等院校计算学科方法论、计算机导论等课程的教材或参考书,还可供相关专业的学生、教师和科技人员参考。 目录 第1章 绪论 1.1 计算机科学与技术方法论产生的历史背景 1.1.1 早期关于“计算机科学”名称的争论 1.1.2 《计算作为一门学科》报告的主要成果及其局限性 1.1.3 CC1991的主要成果 1.1.4 CC2001的主要成果 1.1.5 计算教育面临的3个重大问题 1.1.6 计算机科学与技术方法论的提出 1.2 计算机科学与技术方法论的建立 1.2.1 计算机科学与技术方法论的定义 1.2.2 计算学科二维定义矩阵 1.2.3 计算学科的本质问题归约为定义矩阵本质问题的说明 1.3 计算机科学与技术方法论作为一个理论体系的阐述 1.3.1 作为理论体系的科学技术方法论 1.3.2 作为理论体系的计算机科学与技术方法论 1.4 计算机科学与技术方法论研究的意义 思考题 第2章 计算学科中的科学问题 2.1 概述 2.1.1 科学问题的定义 2.1.2 科学问题的主要特征和方法论作用 2.2 计算的本质、计算学科的定义及其根本问题 2.2.1 计算本质的认识历史 2.2.2 康托尔的集合论和罗素悖论 2.2.3 希尔伯特纲领 2.2.4 图灵对计算本质的揭示 2.2.5 现代计算机的产生以及计算学科的定义 2.2.6 计算学科的根本问题 2.2.7 从计算的角度认知思维、视觉和生命过程 2.3 计算学科各主领域的基本问题 2.4 计算学科中的典型问题及其相关内容 2.4.1 哥尼斯堡七桥问题 2.4.2 梵天塔问题 2.4.3 算法复杂性中的难解性问题、P类问题和NP类问题 2.4.4 证比求易算法 2.4.5 P=?NP 2.4.6 旅行商问题与组合爆炸问题 2.4.7 生产者-消费者问题与“哲学家共餐”问题 2.4.8 GOTO语句的问题以及程序设计方法学 2.5 人工智能中的若干哲学问题 2.5.1 图灵测试 2.5.2 西尔勒的“中文屋子” 2.5.3 计算机中的博弈问题 思考题 第3章 计算学科中的3个学科形态 3.1 一个关于“学生选课”的例子 3.1.1 对“学生选课”例子的感性认识 3.1.2 对“学生选课”例子的理性认识 3.1.3 “学生选课”系统的工程设计 3.2 抽象形态 3.2.1 一般科学技术方法论中有关抽象形态的论述 3.2.2 计算学科中有关抽象形态的论述 3.2.3 例子中有关抽象形态的主要内容及其简要分析 3.3 理论形态 3.3.1 一般科学技术方法论中有关理论形态的论述 3.3.2 计算学科中有关理论形态的论述 3.3.3 例子中有关理论形态的主要内容及简要分析 3.4 设计形态 3.4.1 一般科学技术方法论中有关设计形态的论述 3.4.2 计算学科中有关设计形态的论述 3.4.3 例子中有关设计形态的主要内容及简要分析 3.5 3个学科形态的内在联系 3.5.1 一般科学技术方法论中有关3个学科形态内在联系的简要论述 3.5.2 计算学科中有关3个学科形态内在联系的论述 3.5.3 关系数据库领域中3个学科形态内在联系的有关内容 3.6 各主领域中3个学科形态的主要内容 3.7 计算机语言的发展及其3个学科形态的内在联系 3.7.1 自然语言与形式语言 3.7.2 图灵机与冯·诺依曼型计算机 3.7.3 机器指令与汇编语言 3.7.4 以虚拟机的观点来划分计算机的层次结构 3.7.5 高级语言 3.7.6 应用语言 3.7.7 自然语言 3.7.8 小结 思考题 第4章 计算学科中的核心概念 4.1 算法 4.1.1 算法的历史简介 4.1.2 算法的定义和特征 4.1.3 算法实例 4.1.4 算法的表示方法 4.1.5 算法分析 4.2 数据结构 4.2.1 数据结构的基本概念 4.2.2 常用的几种数据结构 4.2.3 树和二叉树 4.2.4 图 4.3 程序 4.4 软件 4.5 硬件 4.6 CC1991报告提取的核心概念 思考题 第5章 计算学科中的数学方法 5.1 数学的基本特征 5.2 数学方法的作用 5.3 计算学科中常用的数学概念和术语 5.3.1 集合 5.3.2 函数和关系 5.3.3 字母表、字符串和语言 5.3.4 布尔逻辑 5.3.5 定义、定理和证明 5.4 证明方法 5.4.1 直接证明法和间接证明法 5.4.2 反证法 5.4.3 归纳法 5.4.4 构造性证明 5.5 递归和迭代 5.5.1 递归 5.5.2 迭代 5.6 公理化方法 5.6.1 理论体系 5.6.2 公理化方法 5.6.3 实例 5.7 形式化方法 5.7.1 具体公理系统和抽象公理系统 5.7.2 形式化方法 5.8 一个实例-Armstrong公理系统* 5.8.1 预备知识 5.8.2 Armstrong公理系统 思考题 第6章 计算学科中的系统科学方法 6.1 系统科学的基本思想 6.1.1 系统科学的基本概念 6.1.2 系统科学遵循的一般原则 6.1.3 常用的几种系统科学方法 6.1.4 实例 6.2 结构化方法 6.2.1 结构化方法的产生和发展 6.2.2 结构化方法遵循的基本原则 6.2.3 结构化方法的核心问题 6.3 面向对象方法 6.3.1 面向对象方法的产生和发展 6.3.2 面向对象方法的基本思想 6.3.3 面向对象方法的核心问题 6.4 小结 思考题 第7章 形式化技术 7.1 形式化技术概述 7.2 形式化规格技术 7.2.1 形式化规格的定义及其分类 7.2.2 操作类规格技术 7.2.3 描述类规格技术 7.2.4 形式化规格技术的应用 7.3 形式化验证技术 7.3.1 模型检验 7.3.2 定理证明 思考题 第8章 社会和职业的问题 8.1 计算的历史 8.1.1 计算机史前史——1946年以前的世界 8.1.2 计算机硬件的历史 8.1.3 计算机软件的历史 8.1.4 计算机网络的历史 8.2 计算的社会背景 8.2.1 计算的社会内涵 8.2.2 网络的社会内涵 8.2.3 因特网的增长、控制和使用 8.2.4 有关性别的问题 8.3 道德分析的方法 8.3.1 道德选择 8.3.2 道德评价 8.3.3 道德选择中其他相关因素及道德选择过程 8.4 职业和道德责任 8.4.1 职业化的本质 8.4.2 软件工程师的道德准则及行为规范 8.4.3 检举政策 8.4.4 计算中的“可接受使用”政策 8.5 基于计算机系统的风险和责任 8.5.1 历史上软件风险的例子 8.5.2 软件的正确性、可靠性和安全性 8.5.3 软件测试 8.5.4 软件重用中隐藏的问题 8.5.5 风险评定与风险管理 8.6 知识产权 8.6.1 什么是知识产权 8.6.2 我国有关知识产权保护的现状 8.6.3 软件专利 8.6.4 有关知识产权的国际问题 8.7 隐私和公民自由 8.7.1 隐私保护的道德和法律基础 8.7.2 隐私保护的技术 8.7.3 电脑空间的言论自由 8.7.4 相关的国际问题和文化之间的问题 8.8 计算机犯罪 8.8.1 计算机犯罪及相关立法 8.8.2 黑客(Cracking/Hacking) 8.8.3 恶意计算机程序和拒绝服务攻击 8.8.4 防止计算机犯罪的策略 思考题 第9章 计算教育哲学 9.1 概述 9.2 计算教育哲学的第一个基本任务 9.3 计算教育哲学的第二个基本任务 9.3.1 如何定义一门学科 9.3.2 计算学科的本质、根本问题以及学科的未来 9.3.3 计算学科是“工科”还是“理科” 9.3.4 程序设计在计算学科中的地位 9.3.5 计算学科目前的核心课程能否培养学生计算方面的能力 9.3.6 在计算课程中如何做到理论与实践相结合 9.3.7 关于创新 9.3.8 关于能力的培养 9.4 计算教育哲学的第三个基本任务 9.4.1 技术的变化 9.4.2 文化的改变 9.4.3 制定教学计划的原则 9.4.4 未来计算教育的发展 思考题 附录 计算机科学知识体 参考文献
上传时间:2011-08 大小:1.88MB
- 2.98MB
计算机科学与技术方法论.董荣胜.古天龙
2011-11-07计算机科学与技术方法论,对于计算机科学与技术专业的历史角度去认识。
- 7.88MB
计算机科学导论--------思想与方法 董荣胜 (课件&课后习题答案)
2010-03-21计算机科学导论--------思想与方法 董荣胜(课件&课后习题答案)
- 56.64MB
vc++ 应用书籍包_23
2012-09-17[计算机科学与技术方法论].董荣胜.古天龙.扫描版.pdf 计算机科学与技术导论.pdf 搜索引擎-原理、技术与系统.pdf Solaris学习资料集合.zip Addison.Wesley.Eric.Steven.Raymond.The.Art.of.UNIX.programming.pdf
- 127B
计算机科学导论——思想与方法
2019-07-22资源名称:计算机科学导论——思想与方法内容简介: 本书综合考虑了教育部高等学校计算机类专业教学指导委员会、IEEE-CS和ACM对“计算机科学导论”课程的要求,以及教育部高等学校大学计算机教学指导委员会对“大学...
- 4.76MB
计算机科学导论课件+课后题答案.part1.rar
2009-12-12计算机科学导论课件+课后题答案.part1.rar计算机科学导论课件+课后题答案.part1.rar
- 2.96MB
2021年消防工程师技术实务背诵要点.pdf
2021-10-202021年消防工程师技术实务背诵要点.pdf
- 677KB
兄弟们别冲了准备投 SN _王荣胜1
2022-08-031. 问题分析 2. 数据预览和分析 3. 数据增强方法的选择和抛弃 4. 数据预处理准备训练 6. 模型训练(未过多调参,更多使用了自动学习率方法) 7. 模
- 21KB
我理解的计算思维
2018-07-01梅隆大学(CMU )周以真(Jeannette M.Wing)教授所撰写的《计算思维(Computational Thinking)》、中科院王跃飞教授所撰写的《从计算思维到计算文化》以及深圳大学陈国良院士和桂林电子科技大学董荣胜教授撰写的...
- 241KB
薜荔榕小蜂形态研究
2020-02-17薜荔榕小蜂形态研究,肖荣胜,吴敏霞,本文采用随机取样和取体长大小相近样本的方法对来源于薜荔和爱玉子传粉榕小蜂的薜荔传粉榕小蜂(Wiebesia pumilae)进行形态学上的研�
- 1.79MB
大民屯凹陷油气运聚史研究 (2005年)
2021-05-24运用油气组成非均质性,以大民屯凹陷丰富详实的分析测试资料为基础,“反演”了两大油气系统的油气主运聚方向。结果表明,大民屯凹陷油气总体组成非均质性、分子构成非均质性以及含氮...安福屯洼陷成藏稍早于荣胜堡洼
- 3.58MB
matlab中分段函数代码-image-triangulation:图像三角剖分
2021-05-28通过TRIM算法在图像上进行初始三角剖分,然后使用梯度下降网格移动方法将三角形网格与图像进一步对齐,以使近似误差最小。 可以在以下位置找到此代码的Windows端口:。 学分 复光镜: 修剪:荣胜CP,GPT Choi,K。...
- 1.62MB
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
2021-12-03(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打开),直观的数据处理部分是图片以及html文件,数据处理的是excel文件。不懂可以扫文件中二维码在微信里面问。
- 192KB
仿真电路以及操作方法
2020-12-20用一片通用四运放芯片LM324组成电路,实现以下功能:用低频信号源产生ui1=0.1sin2πft(V),f=500Hz的正弦波信号,加至加法器的输入端,加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量,选出f信号为uo2,uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输出电压uo3。用NI Multisim 打开即可,参数已调好。对应博客:https://blog.csdn.net/weixin_43723423/article/details/90761331
- 6.17MB
【纯干货啊】华为IPD流程管理(完整版).pptx
2020-06-01华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
- 11.57MB
可编程语言标准IEC61131-3中文版.pdf
2022-01-09可编程语言标准IEC61131-3中文版
- 6KB
OFDM完整仿真过程与教程.zip
2019-10-04辛苦写了关于OFDM的详细仿真,从产生信息流到最终解调,包含星座图,误码率图。包括了相关技术的详细解释,(信道编码,扩频,导频,信道估计等)。注:本段程序不包括射频传输部分,即载波调制,基带调制为QPSK。具体的教程可以参考我的相关文章。
- 10.80MB
信号与系统——保研复习资料.pdf
2020-09-16本文档为本人保研复习过程中撰写的信号与系统复习文档,参考书籍为吴大正老师主编的信号与线性系统分析(第四版),全文共43页,包含以下内容: 一、信号与系统(绪论) 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题(保研)
- 9.94MB
Landsat_WRS2.zip
2021-04-02本资源为WRS2全球条带号分幅情况SHP文件。WRS,即Worldwide Reference System,是Landsat系列卫星全球影像标记符号系统,用以区分全球各区域对应的Landsat系列卫星影像编号;其用“Path”与“Row”两个数值确定影像的编号与位置。其中,Landsat 1、2、3卫星对应编号系统为WRS-1,Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-2包括降轨Descending(白天星,也就是在当地时间的白天过境)与升轨Ascending(黑夜星,也就是在当地时间的黑夜过境)两种模式。
- 19.9MB
最全的Visio形状/图形库
2019-01-02从不同地方搜集整理出来的Viso图标,全部文件都是Visio图形库的标准格式:VSS格式,内含有51个文件,分别对应类别。内容比较全面,包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
- 580B
AxureRP9项目原型50套、案例20个、元件库1套.zip
2019-10-18AxureRP9项目原型50套、案例20个、元件库1套。非原创,其中一批比较好的案例值得参考,元件库直接可用,简洁美观。分享给需要的人。
- 281KB
北理工+成电+东南——通信/信号保研面试真题.pdf
2020-06-04本文档整理了本人在2019年推免过程中,面试老师问到的问题,本文具体包括以下三所院校:北京理工大学雷达技术研究所;电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所;东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题,我在面试结束后查阅书籍并给出了个人解答,仅供参考。
- 7.59MB
数字信号处理——保研复习资料.pdf
2020-09-16本文档为数字信号处理(DSP)复习文档,参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版,全文共33页,包含以下内容: 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换( DFT)及其快速算法( FFT) 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器( IIRDF)设计 八、FIR数字滤波器( FIRDF)设计 九、少量经典面试题(保研)
- 102KB
风电和储能并网Simulink模型
2022-01-17在MATLAB2017a中搭建了风电和储能并网Simulink模型,风机采用传统的双闭环矢量控制策略,电池储能系统采用的是PQ矢量控制策略,可以稳定的向电网传输功率,电压电流波形较好。
- 94.78MB
使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速
2022-02-17使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速,配套博客使用
- 6.42MB
COMSOL各个模块中文使用手册及教程,入门必备
2019-05-05第一款真正的任意多物理场直接耦合分析软件COMSOL Multiphysics 中文使用手册。 AC/DC模块(AC/DC Module) 声学模块(Acoustics Module) CAD导入模块(CAD Import Module) 化学工程模块(Chemical Engineering Module) 地球科学模块( Earth Science Module) 热传导模块(Heat Transfer Module) 材料库( Material Library) 微机电系统模块(MEMS Module) 射频模块( RF Module) 结构力学模块(Structural Mechanics Module) COMSOL脚本解释器(COMSOL SCRIPT) 反应工程实验室(Reaction Engineering LAB) 信号与系统实验室 (SIGNALS SYSTEMS LAB) 最优化实验室 (OPTIMIZATION LAB)
- 6.50MB
FMEA第五版(中文版)
2019-11-04FMEA第五版Draft中文版,FMEA第五版Draft中文版。。。
- 4.50MB
通信原理——保研复习资料.pdf
2020-09-16本文档为通信原理复习文档,使用于保研复习基本概念及常见保研面试的问答知识点,参考书籍为张辉老师主编的《现代通信原理与技术》第四版,全文共38页,包含以下内容: 一、绪论 二、随机过程 三、信道与噪声 四、模拟调制系统 五、数字基带传输系统 六、模拟信号的数字传输 七、数字频带传输系统
- 456KB
离散数学及其应用第八版偶数题答案
2021-03-21离散数学及其应用第八版偶数题答案(英文
- 222KB
xmind软件所需文件.7z
2019-07-21xmind教程所需文件