摘要：
1.公式定义：十个等价公式，推理理论十个原则，等价式、量词的消去和引入 2.方法论：真值表、等式演算、自然规则推理 3.求主析取范式和主合取范式：主析取范式由多个小项的析取组成，主合取范式由多个大项的合取组成（析取m0、mi，成真赋值；合取M0Mi，成假赋值） 4.推理理论： 5.谓词逻辑：任意量词 阅读全文
posted @ 2020-06-22 16:58
小酷蛙
阅读(1848)
评论(0)
推荐(0)
摘要：
以前在学python的时候由于之前没有接触过面向对象，所以对这方面存在不理解，现在对面向对象有一个大概的理解勒，所以就做下笔记吧。 首先当我们创建一个新的对象时，系统会自动执行两件事，1.为新的对象分配空间；2.自动执行该对象所来自的类的初始方法，init，因此当我们在__init__中编写一个pr 阅读全文
posted @ 2020-11-05 21:45
小酷蛙
阅读(874)
评论(0)
推荐(0)
摘要：
1.首先需要把新用户创建出来 sudo useradd -m(为新用户添加主组否则即使新用户创建也不能显示出来) -g（将创建的新用户归属到哪组所需的参数） 组名 用户名 这里的组名是你想要将新用户绑定到哪一个组并将这个组作为这个新用户的主组，如果此前没有这个组名需要先创建这么一个组，接下来的用户名 阅读全文
posted @ 2020-10-27 16:21
小酷蛙
阅读(8548)
评论(0)
推荐(0)
摘要：
https://blog.csdn.net/yawei_liu1688/article/details/107997730 https://developer.51cto.com/art/201906/597961.html 阅读全文
posted @ 2020-10-03 16:19
小酷蛙
阅读(104)
评论(0)
推荐(0)
摘要：
1.当一个盒子设置了宽度时，再对其内边距设置距离时不会对盒子的尺寸有任何变化 2.块元素有：div hr p h1~h6 ul ol dl form table 行内元素有：span a i em 阅读全文
posted @ 2020-09-29 11:10
小酷蛙
阅读(97)
评论(0)
推荐(0)
摘要：
常用的选择器有：元素选择器（以标签名为名）、类选择器（class），伪类选择器（：）、ID选择器、行内样式以及！important语句，权重依次提高。 text文本格式：包括对齐方式、文本修饰（主要用来去标签a产生的下画线以及为部分文字提高下划线）、文本缩进（text-indent，拥有简写方式即多 阅读全文
posted @ 2020-09-26 17:03
小酷蛙
阅读(253)
评论(0)
推荐(0)
摘要：
首先用vim创建一个后缀为.py的文件 然后python 文件名即可 阅读全文
posted @ 2020-09-14 19:52
小酷蛙
阅读(1455)
评论(0)
推荐(0)
摘要：
在c语言中，我们偶尔会因为某些需求需要用到随机数。那怎么样勒？ 头文件：#include <stdlib.h> 函数： int ra = rand(); 注意可以对rand函数进行操作，如%51，即对随机数的值进行限定，此处限定在050范围之内，rand()%101+20,此处可以理解为rand() 阅读全文
posted @ 2020-09-11 18:49
小酷蛙
阅读(503)
评论(0)
推荐(0)
摘要：
这个问题以前没有遇见过，花了一点时间终于搞定勒。 先转载别人的博客 博客 该文章内介绍勒在网络和共享中心内对VMware Network Adapter VMet8进行属性设置。 因此，我先对上述文章内的一些细节补充。 1.在第四步内的Ip地址要用自己的本地IP，否则会出现和子网掩码不匹配的情况 2 阅读全文
posted @ 2020-09-07 21:18
小酷蛙
阅读(3338)
评论(0)
推荐(0)
摘要：
详细内容情查看numpy官方中文文档，Numpy中文文档。 实例化对象：ndarray = np.—— ndarray的常用属性：ndim（查看对象有几个轴）、shape（查看对象有几个数组，每个数组内有多少个元素）、size（查看对象内的元素个数）、dtype（查看对象内数据元素的类型）、item 阅读全文
posted @ 2020-08-28 20:56
小酷蛙
阅读(798)
评论(0)
推荐(0)
摘要：
1.为什么使用pyecharts而不使用matplotlib？ 优点：matplotlib属于静态图，没有交互，pyecharts渲染效果更好 缺点：不稳定，因为存在两个版本导致有一些博客上的举例不同。（我使用的是1.7.1版本） 2.在其他博客上实例化图表对象后（如：pie = Pie（））我们会 阅读全文
posted @ 2020-08-26 10:21
小酷蛙
阅读(1812)
评论(0)
推荐(0)
浙公网安备 33010602011771号