离散数学笔记(2)谓词逻辑

第二章 谓词逻辑2-1 谓词的概念与表示我们用大写字母表示谓词,用小写字母表示客体名称,如 A(b)
分类: 其他 发布时间: 03-05 23:18 阅读次数: 0

离散数学笔记(3)逻辑证明

(推理规则)Rules of Inference有效论证(Valid Arguments)命题逻辑中
分类: 其他 发布时间: 03-05 23:18 阅读次数: 0

UVA - 116多段图的最短路

Unidirectional TSP本题的最短路与“数字三角形问题”的思路是极其相似的,最后一列为底
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

OS第一次试验报告:熟悉使用linux命令和剖析ps命令

朱笃信 201821121021 计算1811 1. 实验环境介绍 给出实验环境: 操作系统:windows10 平台:win10自带ubuntu操作终端 登录界面: 2. 常用命令使用 3. 剖析ps命令 ps使用说明:man ps SYNOPSIS ps [options] EXAMPLES To see every process on the system using standard syntax: ps -e ps
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

Ubuntu elasticsearch安装

下载安装java环境,如有需要翻看前面文章 在官网https://www.elastic.co/cn/downloads/elasticsearch下载elasticsearch-6.8.7.tar.gz 1、拷贝到文件夹 /opt/tools 2、解压 tar -zxf elasticsearch-6.8.7.tar.gz 3、由于安全性考虑,elasticsearch不允许root启动 sudo chown -R shi /opt/tools/elasticsearch-6.8.7 4、切
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

041_ssm——/与/*与*.do的区别?

首先我们应带明白:这是过滤器的条件限制,比如当我们设置*.do的时候,所有的*.do请求路径都会被中央调度器拦截。 中央调度器有点像是过滤器。 /解释:   /原本是调用Tomcat的DefaultServlet的。这个DefaultServlet是专门处理那些找不到路径的请求最后都转发到了这里。 所以当我们调用静态资源时,我们写的Servlet路径是无法匹配的,最终就会调用DefaultServlet进行调用静态资源。 但是这样我们在SpringMVC中设置/后,有创建了一个DefaultS
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

Error 不再支持源选项 5。请使用 6 或更高版本。

解决方案:在项目pom.xml中指定JDK版本 我的jdk版本是11.0.2 所以写的是11 根据你自己的jdk版本写 1.7/1.8~~~~ <properties>元素时根元素<project>的子元素 <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> <maven.compiler.source>11</maven.compiler.source>
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

Python 抓包程序(pypcap)

#/usr/bin/env python #-*-coding:utf8-*- #抓包脚本 """ This script is used to Capture and Analysis packets Required dependencies: 1 libpcap-devel Installation: rpm -ivh ../libpcap-devel-0.9.4-14.el5.i386.rpm 2 pypcap Installation: tar zxvf pypcap-1
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

记忆化搜索入门题——滑雪POJ-1088+多段图最短路UVA-116+买可乐UVA-10626

文章目录滑雪多段图最短路买可乐滑雪#include<iostream>#include&
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

redis杂项

2redis介绍 redis安装 """ 1、官网下载:安装包或是绿色面安装 2、安装并配置环境变量 """ redis VS mysql """ redis: 内存数据库(读写快)、非关系型(操作数据方便、数据固定) mysql: 硬盘数据库(数据持久化)、关系型(操作数据间关系、可以不同组合) 大量访问的临时数据,才有redis数据库更优 """ redis VS memcache """ redis: 操作字符串、列表、字典、无序集合、有序集合 | 支持数据持久化(数据丢失可以找回(默
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

Java静态代码块,普通代码块和构造函数的执行顺序

1.静态代码块和普通匿名代码快都比构造函数先运行 2.静态代码块比非静态代码块先执行。 3.静态变量、静态方法都属于类,类加载时便有了,而此时还没有对象 示例: public class Demo { public static void main(String[] args) { A a = new A(); System.out.println(A.m); } } class A { public A() { Sy
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

[Linux]Rhel7.x 更改root密码

1.启动项改写: 在grub界面 选择相应项 按e进入启动项编辑模式 找到启动项linux16的行在尾部添加rd.break 按ctrl+x重启 2.重启后: mount -o remount,rw /sysroot chroot /sysroot passwd touch /.autorelabel exit reboot 3.完成改后写重启 重启后输入 whoami 测试用户是否为root
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

表单的基本设置

1 表单的概述 现实生活中的表单是用来提交信息的,比如:办理银行卡填写的申请表、找工作填写的简历、入学时填写的个人信息表。这些都是表单的一种。 网页中的表单是用来向服务器提交信息的,我们最常用的表单就是百度的搜索框。 2 表单 2.1 概述 使用form标签创建一个表单。 form标签必须指定一个action属性,该属性指向的是一个服务器的地址。当我们提交表单的时候将会提交到action属性对应的地址。 form标签还有一个method属性,该属性表示提交表单的方式,是get还是post。 2
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

Python 网络编程之 TCP 与 UDP

Socket(套接字) 介绍 UDP 和 TCP 协议之前,先熟悉下 socket 的基本概念。 基本概念 Socket 是通信的基石,是支持 TCP/IP 协议的网络通信的基本操作单元,在网络通信过程中端点的一种抽象表示。网络中使用 Socket 传输数据是一种特殊的网络 I/O。 工作模式 打开open -> 读写write/read -> 关闭close 五种信息 socket 包括了数据传输必须的五元组,分别为源IP、源端口、目的IP、目的端口和协议号 通信机制 基于流(stream)
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

15-Java-Ajax知识整理

Ajax知识整理 一、Ajax概念和原理介绍   AJAX = Asynchronous JavaScript and XML(异步的 JavaScript 和 XML)。AJAX 不是新的编程语言,而是一种使用现有标准的新方法。     以HttpRequest为核心发送请求和接收响应     以JavaScript语言为基础使用XMLHttpRequest     以XML或JSON作为数据交互格式     以HTML和CSS作为数据展现(渲染)        AJAX交互(异步)和传统交
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

如何在render中循环(3)

如何在render函数中循环,实现以下代码 <ul> <li>青椒炒肉丝 </li> <li>西红柿炒肉丝 </li> <li>蘑菇炒肉丝 </li> </ul> 在render中实现循环 export default{ data(){ return{ isRed:true, arr:["青椒炒肉丝","西红柿炒肉丝","蘑菇炒肉丝"], inpu
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

产品中常用理论

二八原则(二八定律) 长尾理论 六度分割 共享经济 共享经济产物 产品体验交互设计十大原则(尼尔森): 马斯洛的需求层次理论:
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

每日思考(2020/03/05)

题目概览 HTML5相对于HTML4有哪些优势? box-sizing常用的属性有哪些?分别有什么作用? 对__proto__和prototype的理解 题目解答 HTML5相对于HTML4有哪些优势? web应用更容易开发:HTML5的规范都是基于用户优先准则来编写的,贴合开发者的编码习惯,语法限制不严,代码也更为精简,更易于阅读。 功能强大,用户体验佳:HTML5视频播放起来更流畅清晰,也更省电;HTML5游戏小巧流畅,画面质量高,操作易上手;HTML5广告摆脱了以前网页广告的悬浮、滚动和
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

[Algo] 141. Binary Tree Path Sum To Target III

Given a binary tree in which each node contains an integer number. Determine if there exists a path (the path can only be from one node to itself or to any of its descendants), the sum of the numbers on the path is the given target number. Examples
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0

qsort()函数

qsort()函数的使用 qsort()函数是 C 库中实现的快速排序算法,包含在 stdlib.h 头文件中,其时间复杂度为 O(nlogn)。函数原型如下: void qsort(void *base, size_t nmemb, size_t size, int (*compar)(const void *, const void *)); 此函数需要四个参数。 第一个参数是需要排序的数组的基地址,因为是 void * 类型,所以此函数可以给任何类型的数组进行排序; 第二个参数是待排序的
分类: 其他 发布时间: 03-05 23:17 阅读次数: 0