没有合适的资源?快使用搜索试试~
我知道了~
文库首页
行业
教育
计算机科学中的现代逻辑学
计算机科学中的现代逻辑学
需积分: 16
16 下载量
194 浏览量
2016-07-24
10:10:17
上传
评论
收藏
11.16MB
PDF
举报
温馨提示
立即下载
计算机科学中的现代逻辑学王元元,非常经典
资源推荐
资源评论
计算机中的逻辑学
浏览:119
课程《计算机中的逻辑学》,结课论文。摘要:近年来, 随着计算机技术的不断发展, 计算机科学的发展日新月异。在计算机科学巨大成就的背后, 逻辑学在计算机科学中的作用是巨大的。本文将从逻辑学在计算机科学中的应用问题进行分析, 阐述逻辑学在计算机产生和发展中奠定基础及对计算机发展所起的促进作用。
计算机科学中的现代逻辑学王元元
浏览:19
3星 · 编辑精心推荐
计算机科学中的现代逻辑学王元元,适合研究生博士生学习
计算机科学致远荣誉计划课程设置一览表.pdf
浏览:115
辅修须选修计算机科学导论、数据结构、电路与电子学、集合论与数理逻辑。 专业类 必修课 须修满全部 程序设计A与程序设计B必须至少选1门。主修须修满全部;辅修须选修计算机科学导论、数据结构、电路与电子学、集合...
计算机图形学基础-pdf.zip
浏览:146
1.1计算机图形学及其相关概念 1.2计算机图形学的发展 1.2.1计算机图形学学科的发展 1.2.2图形硬件设备的发展 1.2.3图形软件的发展 1.3计算机图形学的应用 1.3.1计算机辅助设计与制造 1.3.2计算机辅助...
计算机基础课后练习.docx
浏览:52
正确答案: AB 2阿兰 麦席森 图灵(Alan Mathison Turing)对计算机科学的发展做出了巨大贡献,下列说法正确的是( ) A、图灵是著名的数学家、逻辑学家、密码学家,被称为计算机科学之父。 B、图灵最早提出关于...
逻辑的引擎 一本非常经典的书
浏览:58
4星 · 用户满意度95%
本书作者马丁·戴维斯是计算机科学发展史上的先区人物,曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解,并且...
论文研究 - 通过基于非物理学家不确定性的MATLAB程序MATLAB解决涉及复杂性的系统问题的新解决方案
浏览:182
现代科学已经通过逻辑解代数解决了涉及复杂性的系统动力学问题,例如复杂系统,例如从基于确定性的代数统计中得出的旧混沌理论。 对我们来说这是非常模糊和困难的。 此外,现代科学根据确定性将系统动态问题视为逻辑...
计算机的未来展望.doc
浏览:12
在法国秀丽的阿尔卑斯山上举行了 首届生物计算机国际会议,来自世界各地的生物学家、化学家、物理学家、医学家、遗 传学家、分子生物学家、微电子学家和计算机科学家们会聚一堂,探讨生物计算机的发 展前景....
离散数学学习ppt教案
浏览:84
5星 · 资源好评率100%
离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础...
人工智能和机器人科学小报手抄报简报.docx
浏览:35
人工智能之父人工智能之父艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。1931年图灵进入剑桥大学国王学院,毕业后到美国...
计算机文化基础-基础知识.pptx
浏览:112
在现代计算机模型中,任何需要处理的数据,包括计算机的程序,必须经过转换后以统一的二进制形式存储. 3. 存储程序 程序和数据都是以二进制形式存储在同一个存储器中. 计算机文化基础-基础知识全文共74页,当前为第13...
数字逻辑课程设计报告
浏览:113
5星 · 资源好评率100%
城市交通控制系统是用于城市交通数据监测、交通信号灯控制与交通疏导的计算机综合管理系统,它是现代城市交通监控指挥系统中最重要的组成部分。,然而,随着交通量的快速增长和缺乏对高速道路的系统研究和控制,如何...
计算机基础知识和计算机基本操作.pptx
浏览:176
它是一种能自动对各种信息进行高速处理和存储的电子设备,它是现代科学技术发展的必然产物 计算机的发展突飞猛进,在短短50年间,已经历了电子管、晶体管、集成电路和大规模集成电路等四代: 计算机基础知识和...
-现代电子系统设计综合实习.docx
浏览:194
1.2设计的背景及目的 随着计算机科学与技术的飞速发展,计算机的应用已经渗透到国民经济与人们生活的各个角落,正在日益改变着传统的人类工作方式和生活方式,而单片机技术又作为计算机技术中的一个独立分支,有着性价...
自考计算机基础应用-0018.docx
浏览:37
以电子计算机为代表的现代计算机在发展过程中,根据所使用的关键器件又分为了四个时代: (1)第一代:电子管计算机时代,使用机器语言和汇编语言进行操控。 (2)第二代:晶体管计算机时代,内存采用磁芯存储器,...
离散数学试题
浏览:41
它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等...
计算机应用基础基础知识.doc
浏览:21
科学及过程计算计算机、工业控制计算机和数据计算机 「解析」巨型计算机体积大,速度快、存储容量大,而微型计算机相对而言体积小、 处理速度、容量均小,我们工作学习中使用的计算机均属于微型计算机,又称为个人计...
离散数学速成课(期末必过)(速成视频)
浏览:153
离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础...
《计算机应用基础》知识点.doc
浏览:120
第一章 计算机基础知识 1.1 概述 1.1.1 计算机的发展 世界上第一台计算机的诞生: 世界上第一台计算机是由美国宾夕法尼亚大学莫尔学院的物理学家莫克利(John Mauchly)和其它工程技术人员一起,首次使用电子管...
计算机应用.doc
浏览:138
计算机网络己在现代企业 的管理中发挥着越来越重要的作用,如银行系统、商业系统、交通运输系统等。 4.智能化 计算机人工智能的研究是建立在现代科学基础之上。智能化是计算机发展的一个重 要方向,新一代计算机,将...
离散数学1.ppt
浏览:32
离散数学在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学...
国家开放大学计算机应用基础终结性考试(大作业)
浏览:138
5星 · 资源好评率100%
计算机应用基础大作业,已按题目要求做好,word与ppt在压缩包里,下载后解压,以下信息需各人填写:更改文件名,填写word封面信息,声明页的手写签名拍照插入
离散数学知识点整理(超级全面详细!)
浏览:84
5星 · 资源好评率100%
通过对网上的离散数学的网课进行的知识点归纳整理,非常全面详细,可用于离散数学自学或计算机考研复试!相信我!非常全面详细!
《科研伦理与学术规范》期末考试文档2(40题)
浏览:196
5星 · 资源好评率100%
粉丝下载免费,为了方便小伙伴们学习《科研伦理与学术规范》,希望能帮助到大家,特此分享出来,有需要的可以进行下载。
Word2Recite 桌面单词
浏览:133
免费的桌面背单词软件
2021全国及分省市县行政区划矢量图层shp文件.rar
浏览:58
2021年省份、地级市和县级矢量数据文件,数据都是从阿里云的DATAV.GeoAtlas抓取的json文件进行转化得到shp,数据坐标系为CGS_WGS_1984,数据获取日期为2021.10.13,有需要可下载
Revit 各版本官方族库及项目样板下载和安装方法,2016-2021族库离线包下载.rar
浏览:48
Revit安装完没有族库和样板文件的解决方法,基本上目前常用的版本都是一样的解决办法。
38000词汇思维导图(1-50词根)β版.rar
浏览:184
38000词汇思维导图β版。 适合各个阶段的英语学习者,不适合英语纯纯纯小白。 内容包括1456个词根的思维导图:每个单词内容有(单词、音标、词频、等级、释义、笔记、例句) β版特点: 优:内容丰富,相当于一本小型词典;排版较α版好很多; 缺:还在努力更新中。
博士“申请-考核制”面试——英文提问问题/答案模板
浏览:45
5星 · 资源好评率100%
博士“申请-考核制”面试——英文提问问题/答案模板
Zotero及常用插件
浏览:11
Zotero及常用插件
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
盐荒Mark
粉丝: 6
资源:
14
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于PT的低内顾占用调度器
MySQL安装配置教程及功能优势详解.docx
js导出excel封装【原生、配置式】 示例
C语言文件读写操作详解及开发优势分析.docx
Netty Future-Listener 机制.pdf
ZH00170推荐U9集团财务与业务管控(391页)5月新增.rar
永宏PLC例程源码永宏PLC-台达VFD-B变频通讯
Linux常用命令大全及系统优势详解.docx
TCP/UDP网络调试助手
永宏PLC例程源码永宏PLC部分案例分享
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功