《离散数学(修订版)》课后答案

大小：630 KB
类型：离散数学
格式：PDF
出版：高等教育出版社
作者：耿素云、屈婉玲
更新：2021-03-22 09:48:05

给大家带来的是关于离散数学相关的课后习题答案下载，介绍了关于离散数学方面的内容，由巴欣嘉网友提供，本资源目前已被800人关注，高等院校离散数学类教材综合评分为：8.5分

本书第一版于1998年出版,是教育部高等学校"九五"规划教材和面向21世纪课程教材。此次修订在保持原有四部分内容(数理逻辑、集合论、代数结构和图论)的基础上,增加了相当数量的难度不同的练习题,并结合教学需要引入了一部分新的应用实例。本书被列为普通高等教育"十五"国家级规划教材。与本书配套设计的网络课程、电子教案和习题辅导用书即将陆续推出。它们的有机配合可以满足不同教学环节的需求,构成全新的立体化系列教材。本书可作为普通高等学校计算机及其他相关专业本科生离散数学课程的教材,也可供其他专业学生和工作人员阅读和参考。

第一部分数理逻辑
第一章命题逻辑基本概念
1.1 命题与联结词
1.2 命题公式及其赋值
习题一
第二章命题逻辑等值演算
2.1 等值式
2.2 析取范式与合取范式
2.3 联结词的完备集
习题二
第三章命题逻辑的推理理论
3.1 推理的形式结构
3.2 自然推理系统户
习题三
第四章一阶逻辑基本概念
4.1 一阶逻辑命题符号化
4.2 一阶逻辑公式及解释
习题四
第五章一阶逻辑等值演算与推理

相关资源

数据通信与计算机网络(第2版) 课后答案

数据通信与计算机网络（第2版）是由毛迪林，高传善，曹袖编，2007年高等教育出版社出版。本书自2000年出版以来已被许多学校采用为教材，并获2002年全国普通高等学校优秀教材一等奖。新版教材的编写重点虽然仍在数据通信与计算机网络的基础理论和技术，但简缩或删除了相对陈旧的内容，增加了对通信和网络新技术的介绍，如PPP、虚拟局域网（VLAN）、万兆以太网、光纤网络、高速交换技术、无线网络、组播、IPv6、XML、病毒与防范、多媒体网络技

大小：9.17 MB数据通信课后答案
《量化交易学习指南：基于R语言》配套代码

编辑推荐长期以来，量化分析师面临着诸多挑战，但相应的待遇也很好丰厚，行业里有名的公司和投资银行都在积极争夺相关人才。假如你想让自己掌握相关技能，并学会应用流行的R语言来解决量化金融世界中真实涌现的各式难题，那么本书就是为你量身定制的宝贵资源。本书基于R语言进行讲解，循序渐进地教读者如何构建量化金融模型，如何通过R编程高效地解决金融难题，同时还将机器学习算法、时间序列分析、预测建模、风险分析等重要技术点

大小：12.74 MB量化交易配套资源
C语言程序设计（第3版）课后答案

面向程序设计初学者。特别适合将C语言作为门程序设计课程的高校学生。分类设置教学实例。部分实例后提供具有扩展性、启发性的思考题，以助于深入掌握相关知识。主教材与实验指导合二为一。每章均设有实验指导，分为基础实验和综合实验两部分，与理论教学内容密切衔接、相辅相成。教学课件、程序源代码、试题库等教学资源配套齐全。目录 ●章程序设计概述 1.1程序设计语言 1.2算法 1.2.1算法概念与算法描述 1.2.2算法的逻辑结构 1.2.3算法的

大小：2.3 MBC语言课后答案
C++ 17 标准手册

这里提供 C++ 17 标准手册：Working Draft, Standard for Programming Language C++ 和 C ++17 STL Cookbook 下载，包含 C++17 标准 ISOIEC 14882 2017 官方pdf文档，需要的朋友可下载试试！ C++17 是继 C++14 之后，C++ 编程语言 ISO/IEC 标准的下一次修订的非正式名称。ISO C++ 委员会正式发布了 C++ 17 标准，官方名称为 ISO/IEC 14882:2017 基于 C++

大小：30.3 MBC++
《CSS世界》配套资源

编辑推荐 -茫茫星海中鲸鱼永不犯错的航行， -那是因为有星辰的指引； -芸芸CSS世界中想要不断突破瓶颈， -需要有本书的指引。 CSS入门简单深入难，无数人遇到天花板，本书是打破能力上升瓶颈之作。前端开发行业潜心近10年一直研究看似简单的CSS的人可谓是凤毛麟角，作者从2009年开始写原创技术文章，现在其博客已经成为国内访问量巨大的个人前端博客之一，可以说众多前端初学者是看着作者的博客成长的。本书几乎所有内容都是经过作者自我思

大小：5.39 MBCSS配套资源
《人力资源管理实操从入门到精通》配书资源

编辑推荐 365天，每天学习一个知识点，天天都有新进步涵盖HR工作各项技能解决HR日常工作难题理论、案例与图表相结合HR案头工具书人力资源经理在日常工作中需要掌握的各项实操技能，如人力资源规划、员工招聘与试用管理、员工培训与激励管理、员工考勤与考核管理、员工薪资与福利管理、员工离职与调动管理、员工身心健康管理、劳动关系管理、用工风险防范、人力资源成本控制、员工职业生涯规划等。《人力资源管理实操从入门到精通》把上

大小：6 GB人力资源管理配套资源
计算机操作系统(第2版) 课后答案

《计算机操作系统/21世纪高等学校计算机规划教材名家系列（第2版）》全面、系统地阐述了现代操作系统的基本原理、主要功能及实现技术，重点论述多用户、多任务操作系统的运行机制，系统资源管理的策略和方法，操作系统提供的用户界面。书中讨论了现代操作系统采用的并行处理技术和虚拟技术，且以Linux系统为实例，剖析了其特点和具体的实现技术。同时《计算机操作系统/21世纪高等学校计算机规划教材名家系列（第2版）》还阐述了UNIX文件系

大小：8.62 KB操作系统课后答案
《中文版AutoCAD 2008基础培训教程》配套资源

内容简介本书主要讲解AutoCAD绘图基础、绘图前的准备、绘制简单图形、绘制特殊图形、修改图形、分层管理图形对象、运用图块快速绘图、快速设置图形特性与图案填充、为图形标注说明、为图形对象标注尺寸、绘制三维图形、创建与编辑三维实体、打印输出图形等方面的知识，并通过机械设计与建筑设计的综合实例讲解如何将所学知识应用于工作实际。本书内容翔实，结构清晰，图文并茂，基本每一课均以课前导读、课堂讲解、上机实战、常见疑难

大小：192.52 MBAutoCAD配套资源