离散数学公理系统（马殿富pdf版本）下载

weixin_39821746 2019-05-08 01:30:16

离散数学公理系统（马殿富pdf版本）
离散数学公理系统（马殿富pdf版本）
相关下载链接：//download.csdn.net/download/alexanderwkw/2129552?utm_source=bbsseo

...全文

105 回复打赏收藏转发到动态举报

写回复

回复

切换为时间正序

请发表友善的回复…

发表回复

├ 断定符(公式在L中可证)╞ 满足符(公式在E上有效，公式在E上可满足)┐ 命题的“非”运算∧ 命题的“合取”(“与”)运算∨ 命题的“析取”(“或”，“可兼或”)运算→ 命题的“条件”运算A<=>B 命题A 与B 等价关系A=>B 命题 A与 B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算( “与非门” )↓ 命题的“或非”运算(...

离散数学是现代数学的一个重要分支，计算机科学与技术一级学科的核心课程，是整个计算机学科的专业基础课。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。离散数学是随着计算机科学的发展而逐步建立的，它形成于七十年代初期，是一门新兴的工具性学科。关于Discrete Mathematics更多讨论与交流，敬请关注本博客和新浪微博songzi_tea.

学习的时候发现最基础的集合定义没有一丝印象重新找资料理了一遍 ZF公理系统 https://baike.baidu.com/item/ZF公理系统/8403593

离散数学分成三部分：1、集合论和图论2、代数结构与组合数学3、数理逻辑课程简介：一、现代数学的特点二、离散数学与计算机科学一、现代数学的特点（1）高度抽象和统一数学历史学科内容时间算数算数运算几千年小代数大代数一次方程、二次方程高次方程、线性方程组 1千年 16-19世纪高等代数抽象代数

3.1高级概念：k-core，k-truss，k-clique，k-club，p-cohesion，k-edge/vertex connected，k-shell。同态核，像同态定理（单：甲是乙的一个子群，满：甲的一个商群是乙，非单非满：甲的一个商群是乙的一个子群，双：甲就是乙）2.一阶逻辑基本概念：个体词（常项，变项，约束，自由。假言推理、附加、化简、拒取、假言三段论、析取三段论、构造性二难、破坏性二难、合取引入。2.基本概念：点、边、邻域（前驱、后继）、关联边、端点、相邻边、割、桥。

下载资源悬赏专区

13,655

社区成员

12,586,975

社区内容

发帖

与我相关

我的任务

其他技术论坛（原bbs）

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章