- 博客(20)
- 资源 (2)
- 收藏
- 关注
RSS订阅
原创 形式化方法之命题逻辑证明
命题逻辑语法规则P::=T∣⊥∣x∣P∧P∣P∨P∣P→P∣¬PP::= T|⊥| x | P ∧P | P ∨ P | P → P | ¬ PP::=T∣⊥∣x∣P∧P∣P∨P∣P→P∣¬P用符号P代表任意逻辑命题，它由几种不同语法形式组成:符号T和⊥分别代表两个逻辑常量“真和“假”；小写符号x代表一个原子命题变量;这三种语法形式都是基本的，因此可称它们为原子命题。还可以通过连接词连接子命题，而构成复合命题；具体的有四种联接词:合取∧、析取∨、蕴含→和否定¬，其中前三个算符是二元的，最后一个算
2021-05-24 11:45:20
2282
原创 vscode remote ssh 解决远程项目无法使用 git Graph 插件
vscode remote ssh 解决远程项目无法使用 git Graph 插件
2023-05-14 20:53:31
2637
3
原创 vscode remote ssh 虚拟机 解决“bad owner or permissions on SSH config” 问题
vscode remote ssh 虚拟机 解决“bad owner or permissions on SSH config” 问题
2023-05-14 19:55:15
886
原创 android SQLite数据库，按插入先后顺序排序
开发app时，有个界面使用了RecyclerView来展示多条数据，并且是以插入数据的先后顺序来展示。所以，在存入数据库时，最好也是以插入的先后顺序来存储。但是SQLite数据库默认不是按插入顺序排序，而是根据主键升序排序。如果在插入时不指定主键primary key，则会随机分配id，也达不到我想要的效果。因此，这里提供一种：在数据库的表中增加一个插入时间属性。插入每条数据时，同时记录插入时的时间。在查询数据时，就按照插入时间升序排序即可。
2023-01-26 11:38:38
1501
原创 Day4 LeetCode-12-整数转罗马数字-中等
文章目录一、题目描述二、基础题解三、总结四、代码12. 整数转罗马数字一、题目描述罗马数字包含以下七种字符： I， V， X， L，C，D 和 M。字符 数值I 1V 5X 10L 50C 100D 500M 1000例如， 罗马数字 2 写做 II ，即为两个并列
2021-05-14 16:31:25
272
原创 Day3 LeetCode-1269-停在原地的方案数-困难
文章目录一、题目描述二、题解三、总结四、代码1269. 停在原地的方案数一、题目描述有一个长度为 arrLen 的数组，开始有一个指针在索引 0 处。每一步操作中，你可以将指针向左或向右移动 1 步，或者停在原地（指针不能被移动到数组范围外）。给你两个整数 steps 和 arrLen ，请你计算并返回：在恰好执行 steps 次操作以后，指针仍然指向索引 0 处的方案数。由于答案可能会很大，请返回方案数 模 10^9 + 7 后的结果。提示：1 <= steps <= 50
2021-05-13 22:08:20
230
原创 Day2 LeetCode-1734-解码异或后的排列-中等
文章目录一、题目描述二、基础题解三、进阶题解四、总结五、代码1734. 解码异或后的排列一、题目描述给你一个整数数组 perm ，它是前 n 个正整数的排列，且 n 是个 奇数 。它被加密成另一个长度为 n - 1 的整数数组 encoded ，满足 encoded[i] = perm[i] XOR perm[i + 1] 。比方说，如果 perm = [1,3,2] ，那么 encoded = [2,1] 。给你 encoded 数组，请你返回原始数组 perm 。题目保证答案存在且唯一。提
2021-05-12 09:48:52
142
原创 Day1 LeetCode-169-多数元素-简单
文章目录一、题目描述二、基础题解三、进阶题解四、总结五、代码169. 多数元素一、题目描述 给定一个大小为 n 的数组，找到其中的多数元素。多数元素是指在数组中出现次数 大于 ⌊ n/2 ⌋ 的元素。你可以假设数组是非空的，并且给定的数组总是存在多数元素。进阶：尝试设计时间复杂度为 O(n)、空间复杂度为 O(1) 的算法解决此问题。二、基础题解首先，既然标注为简单题了，说明肯定可以在短时间内得出解法，并且可以通过所有测试数据，只不过性能不会很好。因为刷题用c++比较多一些，ST
2021-05-11 21:09:59
180
原创 Android 一行代码解决底部导航栏被软键盘顶起
项目场景：android应用程序的搜索框问题描述：输入文字时，底部导航栏会被软键盘顶到上面，如下图： 解决方案：修改项目的AndroidManifest.xml文件，在相应的Activity中添加一行：android:windowSoftInputMode="adjustPan" <activity android:name=".MainActivity" android:label="@string/app_nam
2021-03-01 21:36:51
1436
原创 下载pytorch包并安装
下载地址：pytorch各版本在这里插入代码片根据自己的python版本和电脑系统版本选择相应的包：我的是python3.6+windows10，所以选择cpu/torch-1.1.0-cp36-cp36m-win_amd64.whl然后进入命令行，并进入到包所在的目录：如：放在 E:\python3.6 中执行如下代码：pip install torch-1.1.0-cp36-cp36m-win_amd64.whl即安装成功...
2020-12-06 22:18:57
1231
原创 ubuntu 旧版本
Ubuntu 其他版本链接（官网）old-relesase如果是在VMware里安装运行，则选择需要的版本：比如选择Ubuntu 18.04：翻到下面，选中ubuntu-18.04-desktop-amd64即可
2020-12-05 11:26:03
1042
原创 Android ListView 实现随机背景颜色
Android ListView 实现随机背景颜色问题在做一个Android小项目的时候，想实现如下图的一个效果：主要是ListView中每个ItemView的背景颜色随机问题，当然这个颜色最好是自己预先设定好的几种，不然真要随机了，指不定变出什么奇奇怪怪的出来。一开始觉得，很简单嘛，用setbackgroundColor()方法就行了结果：额。。。俺的圆角呢？？？好吧。setbackgroundColor()这个方法好像把我的圆角给覆盖为默认的了行，你不是会改背景样式吗，我也给你一并改
2020-11-26 19:55:05
601
ucos-II操作系统上的EDF调度算法 C语言实现
2023-03-28
学生信息管理系统c++
2020-10-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人