检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

496 册 图书

馆藏范围

48 篇 电子文献
472 种 纸本馆藏

日期分布

学科分类号

448 篇 工学
- 390 篇 计算机科学与技术...
- 271 篇 软件工程
- 54 篇 仪器科学与技术
- 39 篇 机械工程
- 18 篇 建筑学
- 15 篇 电子科学与技术（可...
- 12 篇 信息与通信工程
- 8 篇 控制科学与工程
- 6 篇 网络空间安全
- 1 篇 力学（可授工学、理...
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程
254 篇 管理学
- 248 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
48 篇 艺术学
- 45 篇 设计学（可授艺术学...
- 2 篇 美术学
16 篇 经济学
- 7 篇 应用经济学
- 5 篇 理论经济学
11 篇 理学
- 7 篇 数学
- 2 篇 系统科学
- 1 篇 物理学
10 篇 文学
- 6 篇 外国语言文学
- 3 篇 新闻传播学
- 1 篇 中国语言文学
5 篇 教育学
- 5 篇 教育学
4 篇 法学
- 3 篇 社会学
- 1 篇 法学
- 1 篇 公安学
2 篇 哲学
- 1 篇 哲学

主题

375 篇 高等学校
332 篇 教材
182 篇 程序设计
80 篇 c语言
55 篇 电子计算机
33 篇 教学参考资料
32 篇 java语言
25 篇 关系数据库
23 篇 网页制作工具
21 篇 计算机网络
20 篇 basic语言
16 篇 关系数据库系统
14 篇 计算机辅助设计
14 篇 主页制作
13 篇 数据库系统
12 篇 数据库管理系统
9 篇 微型计算机
9 篇 autocad软件
9 篇 工业技术
8 篇 自动化技术、计算机...

机构

1 篇 医学工程技术学院

作者

8 篇 侯殿有
8 篇 崔晓利
7 篇 贾立红
7 篇 薛山
6 篇 宋耀文
6 篇 杨海如
6 篇 石磊
5 篇 俞俊甫
5 篇 蔡建平
5 篇 缪亮
5 篇 黄建华
5 篇 郑江超
5 篇 高禹
5 篇 卫琳
4 篇 刘韶涛
4 篇 蔡永华
4 篇 闪四清
4 篇 梁海英
4 篇 陈建伟
4 篇 万隆

语言

496 篇 中文

检索条件"丛书名=高等学校j计算机应用规划教材"

共 496 条记录，以下是191-200 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

数理逻辑

引用

丛书名：中国高等学校计算机科学与技术专业(应用型)规划教材

2013年

作者：张再跃张晓如

本书共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比... 详细信息

ISBN: (纸本)9787302331025

本书共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容；第2章介绍可计算性理论的基本知识，包括计算概念的形成与发展、算法的基本描述、计算概念的数学定义、可计算性函数的基本性质等；第3章～第5章是关于经典数理逻辑的内容，包括命题演算和谓词演算两个部分，重点介绍逻辑演算以及相关形式系统的基本性质，内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识；第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。在本书的附录中给出了全书的习题解答。

关键词：数理逻辑高等学校

来源：内蒙古大学图书馆图书评论

学校读者我要写书评