进一步学习：1.具体数学2.离散数学3.布尔代数4.Matroid5.（逻辑学）你需要学会的技能：解最值不等式严格弱序Ithastobeantisymmetric.Thismeansthatforoperator<:Ifx
《离散数学》第三章：命题逻辑（第一部分）
Sɪʟᴇɴᴛ໊ོ235
离散数学离散数学
3.1什么是命题3.1.1命题和非命题注意：数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位。定义：具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”，称为真值。真值只有“真”和“假”两种，分别用“T”(或“1”)和“F”(或“0”)表示。注意：一切没有判断内容的句子，如命令句(或祈使句)、感叹句、疑问句、二义性的陈述句等都不能作为命题
世界顶级名校计算机专业，都在用哪些书当教材？(文末送书)
小尘要自信
java开发语言数据库算法赠书计算机组成
目录01《深入理解计算机系统》02《算法导论》03《计算机程序的构造和解释》04《数据库系统概念》05《计算机组成与设计：硬件/软件接口》06《离散数学及其应用》07《组合数学》08《斯坦福算法博弈论二十讲》参与规则清华、北大、MIT、CMU、斯坦福的学霸们在新学期里要学什么？今天我们来盘点一下那些世界名校计算机专业采用的教材。01《深入理解计算机系统》原书第3版）作者：兰德尔E.布莱恩特大卫R.
离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告
weixin_39951396
离散数学c语言实验报告
离散数学实验报告专业班级：12级计算机本部一班姓名：鲍佳珍学号：1016实验成绩：1．【实验题目】命题逻辑实验一2．【实验目的】熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。3．【实验内容】从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。(A)4、【实验要求】C或C＋＋语言编程实现5
离散数学上机作业
lgt23456
c++c语言
集合的运算任务1、利用搜索法进行并、交、差、补运算设U={0,1,…,9},A={0,1,2,3,4},B={1,3,5,7,9}请参考“任务1.cpp”中的代码，使用C语言编写程序，分别输出A∩B、A-B、B-A、A、B、A∪B、AB的所有元素，代码及运行结果截图。要求：通过搜索(查找)的方式输出符合条件的元素，不允许输出重复元素。任务2、集合的模拟位表示法设U={0,1,…,9},A={0,1
离散数学截图
simplesin
笔记
二元运算及其性质二元运算中的特殊元半群和独异点代数系统的同态与同构下确界是最大的下界，而在4、5、6三个下界里面，4和5都比6大。可4和5之间没办法分出大小，所以这个哈斯图没有下确界
C++ QT结合FFmpeg实战开发视频播放器-16音视频采样编码的基本原理
虚坏叔叔
QTQT音视频采样编码转换
作者：虚幻私塾博客：https://xuhss.com早餐店不会开到晚上，想吃的人早就来了！一、音视频采样编码的基本原理这节课主要讲解音视频采样，编解码到最后播放的大致过程。大家都知道，平常传感器采集的音视频是模拟信号。类似于这幅图：这幅图学过高中数学就应该了解它类似于三角函数的曲线它每一个点的数据是平滑的大学学过一门课程是离散数学，采样的过程就是取其中平滑的曲线上的一个一个离散的点，它实际上是将
2018-04-15六项精进打卡
Tonychen2018
姓名：陈峰企业名称：上海孚因流体动力设备股份有限公司组别：谦虚一组第361期，孚因--努力组打卡第27天【知~学习】《六项精进》2遍,共80遍《大学》1遍，共27遍【经典名句分享】抱最大的希望，为最大的努力，做最坏的打算。生命太过短暂，今天放弃了明天不一定能得到【行~实践】一、修身：（对自己个人）1.看专升本的视频离散数学2.多运动，晚上少吃饭二、齐家：（对家庭和家人）1.跟家里人打电话三、建功（
添加个规划
睡不醒的年代
最近，在思索学点什么。莫名其妙的，一个人，难的有点清闲的时间，没什么正儿八经的事；就给自己规划了下。离散数学怎么说呢，突然，想起来，前端时间的考试离散数学不怎么样？就把它加到个人规划里了。毕竟，数学，是一门不错的学科，加进来，利远远大于弊。课程地址：https://www.bilibili.com/video/BV1BW411n7gw，大约应该是北大的一门课。每节课时间没有那么长，不像现在的随便一
笔记：离散数学
ITS_Oaij
笔记：数学数学
第一章命题逻辑1-1命题及其表示法命题——定义联结词1-2联结词简单命题可以用大写字母表示复合命题由若干个连结词、标点符号及原子命题复合构成的命题六个逻辑联结词逻辑联结词可以看成是运算，因为有运算结果其运算的对象是命题运算规则是每个联结词的真值表1-3命题公式与翻译注意：命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题带入时，才得到一个命题1-4真值表与等价公式1-5重言式与蕴含式第三
离散数学——图论（笔记及思维导图）
kaixin_啊啊
离散数学学习图论笔记离散数学思维导图
离散数学——图论（笔记及思维导图）目录大纲内容参考大纲内容参考笔记来自【电子科大】离散数学王丽杰
考研数据结构中的代码如何写——线性表的顺序存储
haodi_wang
数据结构c语言
提起数据结构这门学科，相信绝大多数学计算机的同学对此门课程并不陌生，很多人对程序的定义是：程序=构数据结+算法，可见数据结构的重要性，想要写出好的程序，数据结构是一门必须要掌握的学科。然而，很多人却把数据结构这门课学成了“离散数学”，只是初步的掌握了其中的手动模拟过程，真正要上手写代码的时候，往往感觉无从下手，这不是个例，而是一种通病。数据结构在考研中同样占据着举足轻重的地位，无论是国家统一命题的
离散数学习题1.2 命题逻辑的应用 ＜小学智商测试题＞
梅头脑_
#离散数学笔记离散数学
图源：文心一言离散数学习题记录，仅节选习题。标题就是我做完这节题目的心声，建议路过的小学老师傅们码住，另外，家里有娃的程序员也可以酌情考虑收藏~因为个人的蜗牛刷题速度与紧张时间，每个类型的题目我随机仅挑选1-2道解答~这些习题主要用于自我巩固。由于是自学，答案难免有误，非常欢迎各位小伙伴指正与讨论！第1版：自己的解题~编辑：梅头脑审核：——题源：黑书《离散数学》原书第8版KennethH.Rose
Redis -- set集合
niceffking
Redisredis
挑战自己，每天进步一点点，成就将属于不停止脚步的你。目录Redis集合？集合基本命令saddsmemberssismemberscardspopsrandmembersmovesrem集合间操作sintersinterstoresunionsdiffsdiifstoreRedis集合？集合就是把一些有关的数据放在一起，你可以思考一下数学中的集合，离散数学中的集合里面的元素是不区分顺序的。不同于li
离散数学_代数系统
先生先生393
考研
代数系统目录代数系统1.1二元运算及其性质1.2二元运算中的特殊元素幂等元幺元（单位元恒等元）零元逆元可消去元1.3代数系统的概念1.4代数系统的性质编辑编辑编辑2.1半群2.2群与子群2.3子群及其证明子群的陪集2.4循环群：生成元编辑编辑循环群的子群1.1二元运算及其性质性质在这里减法不封闭，因为减法可能得出负数通过看是否以主对角线元素对称1.2二元运算中的特殊元素幂等元幺元（单位元恒等元）零
【晨间日记】2021年1月14日
语瞳SAMA
2021年1月14日天气：晴【90天践行目标】（221/300）①每日冥想②坚持运动③写晨间日记【昨日践行】①昨日冥想已完成②Keep平板支撑③晨间日记已完成【今日青蛙】①复习离散数学②背诵web习题③放平心态，迎接不完美的自己*昨日三只青蛙已达成【反思日志】考完了Java，整个人从概率论的愉悦高峰一瞬跌入低谷。听着季总乃至其他同学对试题的激烈讨论，不禁有些疑惑自己这学期到底是浪费了多少时间才有了
离散数学——命题逻辑、谓词逻辑、集合与关系知识点
D D D D C
离散数学笔记
一、命题逻辑一、命题及其表示法命题的定义：具有确定真值的陈述句。二、联结词（简单不做赘述）1.否定：¬2.合取：∧3.析取：∨4.条件：→5.双条件：↔三、命题公式与翻译四、真值表与等价公式1.真值表：根据命题公式的真值可简单构建，示例：构造¬P∨Q的真值表如下PQ¬P¬P∨QTTFTTFFFFTTTFFTT2.等价公式：对合律：¬¬P⇔P；幂等律：P∨P⇔P，P∧P⇔P；结合律：（P∨Q)∨R⇔
离散数学第二版计算机系,离散数学 第2版
weixin_39793576
离散数学第二版计算机系
图书简介获奖情况：“十一五”国家级规划教材、国家级精品课配套教材配套资源：电子课件、教学思路流程图作者简介：王元元，解放军理工大学教授，国家级教学名师，中国人工智能学会离散数学专业委员会主任委员。执教30多年，先后出版专著12部、主编教材60余本，主编的《计算机科学中的逻辑学》教材获全国优秀教材奖，《离散数学》课被评为国家精品课程。本书特色：★书中每个知识点都配有相应练习题。★依据给出的教学思路流
跨考大连理工大学计算机考研,如何备战大连理工大学的计算机考研_跨考网
weixin_39893728
跨考大连理工大学计算机考研
大家应该首先把历年的专业课考题弄到手，以下的这些东西便一目了然。1、离散数学(1)第一、二章逻辑部分:翻看历年试题可以看到，本部分都要考一道这样的题，首先符号化某一命题，然后证明命题的正确性。涉及的是第二章最后一节的内容。(2)第三章集合论部分:06年以前的试题都是要考一道等价关系的题目，但是06年考了一道偏序关系。(3)第四章函数部分:本部分的题目完全来自课后题，06年同样不例外。注意，大家不可
校学 离散数学主析取合取范式 做题心得
九歌问天
笔记其他
看上去很简单，为什么做题要做哭了……难点：等价推演，三法：真值表肯定前件、否定后件等价推演（非P）==（P或非P）==（P与非P）细节：P条件非Q==非P析取非Q（别把非Q的非漏了！）等价推演心得从外到内转化顺序：条件、双条件先，非其次，利用分配律转为目标形式最后整体思想：A析取（B合取C）==（A析取C）合取（A析取B）//ABC都可以是复杂命题主析取合取范式转换：真值表：0~2^n-1，主析取
【晨间日记】2020年10月4日
语瞳SAMA
2020年10月4日天气：阴【90天践行目标】（119/120）①5：30早起②22：30早睡③写晨间日记【昨日践行】①5：57起床②22：39入睡③晨间日记已达成【今日青蛙】①概率论和离散数学的预习②阅读确定性的丧失③午间冥想*昨日三只青蛙完成两只【反思日志】①午间跟着母亲回老家拜访外公外婆，中午和舅舅、舅妈们齐聚一堂吃了一顿丰盛的午餐，餐桌上其乐融融地拉家常的氛围让我感受到了“家”的温暖，每一
离散数学期末复习（3）：关系
cx努力编程中
离散数学复习学习拓扑学
目录9.1RelationsandTheirProperties(关系及其性质)1.二元关系（binaryrelation）（1）基本概念：（2）自反（reflexive）（3）对称（symmetric）（4）反对称（antisymmetric）编辑（5）传递性（transitive）2.复合关系9.3RepresentingRelations(关系的表示)1.矩阵如何表示关系2.矩阵运算（1）并
离散数学期末复习（2）: 集合、函数、序列、矩阵
cx努力编程中
离散数学复习学习拓扑学
目录2.1Sets(集合)1.特殊集合2.一些概念2.2SetOperations(集合运算)一.集合间的概念1.并集（Union）2.交集（Intersection）3.补集（Complement）4.差集（Difference）二.定律三.多重集1.概念2.多重集的并集3.多重集的交集4.多重集的差集5.多重集合集2.3Functions(函数)1.函数的三种理解2.单射（injection）
[黑洞与暗粒子]没有光的世界
comsci
无论是相对论还是其它现代物理学,都显然有个缺陷,那就是必须有光才能够计算
但是,我相信,在我们的世界和宇宙平面中,肯定存在没有光的世界....
那么,在没有光的世界,光子和其它粒子的规律无法被应用和考察,那么以光速为核心的
&nbs
jQuery Lazy Load 图片延迟加载
aijuans
jquery
基于 jQuery 的图片延迟加载插件，在用户滚动页面到图片之后才进行加载。
对于有较多的图片的网页，使用图片延迟加载，能有效的提高页面加载速度。
版本：
jQuery v1.4.4+
jQuery Lazy Load v1.7.2
注意事项：
需要真正实现图片延迟加载，必须将真实图片地址写在 data-original 属性中。若 src
使用Jodd的优点
Kai_Ge
jodd
1. 简化和统一 controller ，抛弃 extends SimpleFormController ，统一使用 implements Controller 的方式。
2. 简化 JSP 页面的 bind, 不需要一个字段一个字段的绑定。
3. 对 bean 没有任何要求，可以使用任意的 bean 做为 formBean。
使用方法简介
jpa Query转hibernate Query
120153216
Hibernate
public List<Map> getMapList(String hql,
Map map) {
org.hibernate.Query jpaQuery = entityManager.createQuery(hql);
if (null != map) {
for (String parameter : map.keySet()) {
jp
Django_Python3添加MySQL/MariaDB支持
2002wmj
mariaDB
现状
首先，
[email protected] 中默认的引擎为 django.db.backends.mysql 。但是在Python3中如果这样写的话，会发现 django.db.backends.mysql 依赖 MySQLdb[5] ，而 MySQLdb 又不兼容 Python3 于是要找一种新的方式来继续使用MySQL。 MySQL官方的方案
首先据MySQL文档[3]说，自从MySQL
返回做IO数目最多的50条语句以及它们的执行计划。
select top 50
(total_logical_reads/execution_count) as avg_logical_reads,
(total_logical_writes/execution_count) as avg_logical_writes,
(tot
spring UnChecked 异常 官方定义！
7454103
spring
如果你接触过spring的 事物管理！那么你必须明白 spring的 非捕获异常！ 即 unchecked 异常！ 因为 spring 默认这类异常事物自动回滚！！
public static boolean isCheckedException(Throwable ex)
{
return !(ex instanceof RuntimeExcep
mongoDB 入门指南、示例
adminjun
javamongodb操作
一、准备工作
1、 下载mongoDB
下载地址：http://www.mongodb.org/downloads
选择合适你的版本
相关文档：http://www.mongodb.org/display/DOCS/Tutorial
2、 安装mongoDB
A、 不解压模式：
将下载下来的mongoDB-xxx.zip打开，找到bin目录，运行mongod.exe就可以启动服务，默
CUDA 5 Release Candidate Now Available
aijuans
CUDA
The CUDA 5 Release Candidate is now available at http://developer.nvidia.com/<wbr></wbr>cuda/cuda-pre-production. Now applicable to a broader set of algorithms, CUDA 5 has advanced fe
Essential Studio for WinRT网格控件测评
Axiba
JavaScripthtml5
Essential Studio for WinRT界面控件包含了商业平板应用程序开发中所需的所有控件，如市场上运行速度最快的grid 和chart、地图、RDL报表查看器、丰富的文本查看器及图表等等。同时，该控件还包含了一组独特的库，用于从WinRT应用程序中生成Excel、Word以及PDF格式的文件。此文将对其另外一个强大的控件——网格控件进行专门的测评详述。
网格控件功能
1、
java 获取windows系统安装的证书或证书链
bewithme
windows
有时需要获取windows系统安装的证书或证书链，比如说你要通过证书来创建java的密钥库 。
有关证书链的解释可以查看此处 。
public static void main(String[] args) {
SunMSCAPI providerMSCAPI = new SunMSCAPI();
S
NoSQL数据库之Redis数据库管理(set类型和zset类型)
bijian1013
redis数据库NoSQL
4.sets类型
Set是集合，它是string类型的无序集合。set是通过hash table实现的，添加、删除和查找的复杂度都是O(1)。对集合我们可以取并集、交集、差集。通过这些操作我们可以实现sns中的好友推荐和blog的tag功能。
sadd：向名称为key的set中添加元
异常捕获何时用Exception，何时用Throwable
bingyingao
用Exception的情况
try {
//可能发生空指针、数组溢出等异常
} catch (Exception e) {
【Kafka四】Kakfa伪分布式安装
bit1129
kafka
在http://bit1129.iteye.com/blog/2174791一文中，实现了单Kafka服务器的安装，在Kafka中，每个Kafka服务器称为一个broker。本文简单介绍下，在单机环境下Kafka的伪分布式安装和测试验证 1. 安装步骤
Kafka伪分布式安装的思路跟Zookeeper的伪分布式安装思路完全一样，不过比Zookeeper稍微简单些(不
Project Euler
bookjovi
haskell
Project Euler是个数学问题求解网站，网站设计的很有意思，有很多problem，在未提交正确答案前不能查看problem的overview，也不能查看关于problem的discussion thread，只能看到现在problem已经被多少人解决了，人数越多往往代表问题越容易。
看看problem 1吧：
Add all the natural num
Java-Collections Framework学习与总结-ArrayDeque
BrokenDreams
Collections
表、栈和队列是三种基本的数据结构，前面总结的ArrayList和LinkedList可以作为任意一种数据结构来使用，当然由于实现方式的不同，操作的效率也会不同。
这篇要看一下java.util.ArrayDeque。从命名上看
读《研磨设计模式》-代码笔记-装饰模式-Decorator
bylijinnan
java设计模式
声明： 本文只为方便我个人查阅和理解，详细的分析以及源代码请移步 原作者的博客http://chjavach.iteye.com/
import java.io.BufferedOutputStream;
import java.io.DataOutputStream;
import java.io.FileOutputStream;
import java.io.Fi
Maven学习(一)
chenyu19891124
Maven私服
学习一门技术和工具总得花费一段时间，5月底6月初自己学习了一些工具，maven+Hudson+nexus的搭建，对于maven以前只是听说，顺便再自己的电脑上搭建了一个maven环境，但是完全不了解maven这一强大的构建工具，还有ant也是一个构建工具，但ant就没有maven那么的简单方便，其实简单点说maven是一个运用命令行就能完成构建，测试，打包，发布一系列功
[原创]JWFD工作流引擎设计----节点匹配搜索算法(用于初步解决条件异步汇聚问题) 补充
comsci
算法工作PHP搜索引擎嵌入式
本文主要介绍在JWFD工作流引擎设计中遇到的一个实际问题的解决方案，请参考我的博文"带条件选择的并行汇聚路由问题"中图例A2描述的情况(http://comsci.iteye.com/blog/339756),我现在把我对图例A2的一个解决方案公布出来，请大家多指点
节点匹配搜索算法(用于解决标准对称流程图条件汇聚点运行控制参数的算法)
需要解决的问题：已知分支
Linux中用shell获取昨天、明天或多天前的日期
daizj
linuxshell上几年昨天获取上几个月
在Linux中可以通过date命令获取昨天、明天、上个月、下个月、上一年和下一年
# 获取昨天
date -d 'yesterday' # 或 date -d 'last day'
# 获取明天
date -d 'tomorrow' # 或 date -d 'next day'
# 获取上个月
date -d 'last month'
#
我所理解的云计算
dongwei_6688
云计算
在刚开始接触到一个概念时，人们往往都会去探寻这个概念的含义，以达到对其有一个感性的认知，在Wikipedia上关于“云计算”是这么定义的，它说：
Cloud computing is a phrase used to describe a variety of computing co
YII CMenu配置
dcj3sjt126com
yii
Adding id and class names to CMenu
We use the id and htmlOptions to accomplish this. Watch.
//in your view
$this->widget('zii.widgets.CMenu', array(
'id'=>'myMenu',
'items'=>$this-&g
设计模式之静态代理与动态代理
come_for_dream
设计模式
静态代理与动态代理
代理模式是java开发中用到的相对比较多的设计模式，其中的思想就是主业务和相关业务分离。所谓的代理设计就是指由一个代理主题来操作真实主题，真实主题执行具体的业务操作，而代理主题负责其他相关业务的处理。比如我们在进行删除操作的时候需要检验一下用户是否登陆，我们可以删除看成主业务，而把检验用户是否登陆看成其相关业务
【转】理解Javascript 系列
gcc2ge
JavaScript
理解Javascript_13_执行模型详解
摘要: 在《理解Javascript_12_执行模型浅析》一文中,我们初步的了解了执行上下文与作用域的概念，那么这一篇将深入分析执行上下文的构建过程，了解执行上下文、函数对象、作用域三者之间的关系。函数执行环境简单的代码:当调用say方法时，第一步是创建其执行环境，在创建执行环境的过程中，会按照定义的先后顺序完成一系列操作:1.首先会创建一个
Subsets II
hcx2013
set
Given a collection of integers that might contain duplicates, nums, return all possible subsets.
Note:
Elements in a subset must be in non-descending order.
The solution set must not conta
Spring4.1新特性——Spring缓存框架增强
jinnianshilongnian
spring4
目录
Spring4.1新特性——综述
Spring4.1新特性——Spring核心部分及其他
Spring4.1新特性——Spring缓存框架增强
Spring4.1新特性——异步调用和事件机制的异常处理
Spring4.1新特性——数据库集成测试脚本初始化
Spring4.1新特性——Spring MVC增强
Spring4.1新特性——页面自动化测试框架Spring MVC T
shell嵌套expect执行命令
liyonghui160com
一直都想把expect的操作写到bash脚本里,这样就不用我再写两个脚本来执行了,搞了一下午终于有点小成就,给大家看看吧.
系统:centos 5.x
1.先安装expect
yum -y install expect
2.脚本内容:
cat auto_svn.sh
#!/bin/bash
Linux实用命令整理
pda158
linux
0. 基本命令 linux 基本命令整理
1. 压缩 解压 tar -zcvf a.tar.gz a #把a压缩成a.tar.gz tar -zxvf a.tar.gz #把a.tar.gz解压成a
2. vim小结 2.1 vim替换 :m,ns/word_1/word_2/gc
独立开发人员通向成功的29个小贴士
shoothao
独立开发
概述：本文收集了关于独立开发人员通向成功需要注意的一些东西,对于具体的每个贴士的注解有兴趣的朋友可以查看下面标注的原文地址。
明白你从事独立开发的原因和目的。
保持坚持制定计划的好习惯。
万事开头难，第一份订单是关键。
培养多元化业务技能。
提供卓越的服务和品质。
谨小慎微。
营销是必备技能。
学会组织，有条理的工作才是最有效率的。
“独立
JAVA中堆栈和内存分配原理
uule
java
1、栈、堆
1.寄存器：最快的存储区, 由编译器根据需求进行分配,我们在程序中无法控制.2. 栈：存放基本类型的变量数据和对象的引用，但对象本身不存放在栈中，而是存放在堆（new 出来的对象）或者常量池中（字符串常量对象存放在常量池中。）3. 堆：存放所有new出来的对象。4. 静态域：存放静态成员（static定义的）5. 常量池：存放字符串常量和基本类型常量（public static f
