- 博客(4)
- 问答 (3)
- 收藏
- 关注
RSS订阅原创 离散数学 第四篇 图论01 图的基本概念
1. 无序积用符号(a,b)(a,b)(a,b)来表示，与序偶类似，但是序偶是有顺序的，就是有方向的，而无序积是无向的2. 图的表示2.1 图的集合表示G={<V,E>}G={<V,E>}G=\left\{ \right\}2.2 图的图形表示2.3 邻接矩阵第iii个点到第jjj个点有一条边，则邻接矩阵第iii行jjj元素...
2018-06-10 20:52:41
3343
1
原创 离散数学 第三篇 数理逻辑02 谓词逻辑
基本概念全称量词存在量词作用变量辖域谓词合式公式约束变元自由变元约束变元的改名规则自由变元的代入规则合式公式的解释合式公式的分类基本等价公式改名规则 量词转换律 辖域扩收律 量词分配律公式的标准型——范式前束范式定理： 任何一个公式都有对应的前束范式，但前束范式不唯一...
2018-06-10 20:46:48
1087
原创 离散数学 第三篇 数理逻辑01 命题逻辑
命题连接词注意： 合取与析取不要搞混了 善意推定： 1→11→11 \rightarrow 1,然而，如果前件为0 0→1(or)0→00→1(or)0→00 \rightarrow 1 (or)0 \rightarrow 0均为真优先级：在上图中，优先级顺序为命题公式永真公式永假公式可满足公式**即： ¬¬\neg永假↔↔\leftrig...
2018-06-10 20:41:22
2097
原创 Ubuntu16.04 cuda8.0+cudnn6.0+python3.5 配置tensorflow-gpu 1.4.0
机子情况win10+ubuntu16.04双系统 cpu:intel i7-7700 gpu:GTXI060 6G EVGA 在ubuntu16.04上想配置GPU版的tensorflow 备注： 我原来系统是win10，后来用u盘制作启动盘安装了ubuntu16.04 LTS安装驱动先去官网下自己显卡型号对应的驱动，不赘述卸载掉原有驱动sudo apt-...
2018-06-10 20:27:12
438
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人