推理理论推理的形式结构—问题的引入推理的形式结构判断推理是否正确的方法例题推理定律——重言蕴涵式推理规则构造证明之一——直接证明法构造证明之二——附加前提证明法构造证明之三——归谬法(反证法)第一章结束了/(ㄒoㄒ)/~~
命题逻辑等值演算等值式基本等值式等值演算与置换规则应用举例——证明两个公式等值应用举例——证明两个公式不等值应用举例——判断公式类型再次吐槽，学离散数学真的好枯燥(手动哭)~
命题符号化及联结词命题与真值命题:判断结果惟一的陈述句命题的真值:判断的结果真值的取值:真与假真命题:真值为真的命题假命题:真值为假的命题注意感叹句、祈使句、疑问句都不是命题。陈述句中的悖论以及判断结果不惟一确定的也不是命题。习题下列句子中那些是命题？命题的分类简单命题(原子命题)：简单陈述句构成的
终端环境下直接运行MySQL8.0容器如果本地没有MySQL8.0镜像会自动去Dockerhub拉取。[root@VM_0_7_centos~]#dockerrun-d--namemysql8-p3306:3306-v/home/mysql/datadir:/var/lib/mysql-eMYSQL
背景最近docker学的也差不多了。准备使用Dockerfile部署一个Python的flask项目。前提准备本次部署需要提前去阿里云控制台配置安全组规则，开放一个端口(比如7000)用于宿主机和docker容器中的flask项目的5000端口做映射。阿里云ECS防火墙也需要开放7000端口。本次部
背景最近学习了docker的基础知识，需要实战演练一下。今天就来介绍下，在阿里云服务器中通过docker部署ApacheTomcat并配置公网可以访问。docker学习教程部署tomcat阿里云服务器上docker环境配置详见本文中的第3和第4点阿里云控制台配置安全组规则因为tomcat默认端口是8
统计每位测试人员执行用例的总数[root@aliyun~]$catcase.log2019-08-1412:20:58INFO小花Pass手机号2019-08-1412:20:57INFO小花Pass邮箱2019-08-1412:20:51ERROR小刚Pass手机号2019-08-1412:20:
背景自从搞了个博客网站后，老是有人想通过ssh登陆我的服务器。就下边这些IP(第三列)全都是。[root@wenbin-aliyun~]#lastbrooasdadssh:notty106.37.187.193WedJul811:20-11:20(00:00)rooasdadssh:notty106
