自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(225)
  • 收藏
  • 关注

原创 关系的求逆运算

关系的求逆运算

2025-01-21 10:34:06 29

原创 关系的复合运算

关系的复合运算

2025-01-21 10:04:03 22

原创 二元关系的性质

二元关系的性质

2025-01-21 09:19:07 32

原创 二元关系及其表示法

dom是所有序偶元素的第一个数的集合ran是所有序偶元素的第二个数的几何。

2025-01-17 11:53:42 142

原创 序偶与集合的笛卡尔积

1. 序偶与有序n元组2. 集合的笛卡尔积3. 集合笛卡尔积运算的应用

2025-01-17 10:36:09 165

原创 有穷集的计数(容斥定理)

1. 文氏图法例12. 包含排斥定理(容斥定理)例2

2025-01-17 09:46:46 97

原创 【Uniapp-Vue3】showActionSheet从底部向上弹出操作菜单

依次选择“高中”,“大专”,“本科”,“研究生” ,下标分别为0,1,2,3。// 获得res.tapIndex进行操作。itemList:选择数组,title:"标题",

2025-01-16 17:21:00 457

原创 集合的运算

1. 交运算2. 并运算3. 差运算

2025-01-16 17:09:09 174

原创 特殊集合.

1. 全集E2. 空集φ

2025-01-16 16:10:41 198

原创 集合间的关系

1. 包含关系(子集关系)2. 相等关系3. 真包含关系(真子集关系)

2025-01-16 16:06:09 130

原创 集合的基本概念

1. 集合与元素2. 集合的表示方法3. 说明4. 举例

2025-01-16 15:37:57 175

原创 谓词演算的推理理论(二)

​​​​​。

2025-01-16 15:17:22 117

原创 谓词演算的推理理论(一)

1. 全称特指规则US2. 存在特指规则ES3. 存在推广规则EG4. 全称推广规则UG例1例2例3例4

2025-01-16 11:45:18 90

原创 前束范式.

​​​​。

2025-01-16 10:08:36 158

原创 谓词演算的等价式与蕴含式(二)

1. 量词否定等价公式2. 量词辖域的扩充与收缩3. 量词分配公式例1例2例3例4例5

2025-01-16 09:27:14 137

原创 谓词验算的等价式与蕴含式(一)

1. 对谓词公式赋值例12. 谓词公式的永真式3. 谓词公式的等价公式4. 谓词公式的永真蕴含式5. 由命题演算推广出的公式6. 有限个体域消去量词的等价公式例1例2

2025-01-15 21:58:57 188

原创 谓词逻辑中量词的符号化

例1例2例3例4例5例6例7

2025-01-15 21:01:05 189

原创 谓词公式与量词的辖域

1. 原子谓词公式2. 谓词合式公式3. 量词的作用域(辖域)4. 自由变元与约束变元例1例2例3例4

2025-01-15 18:12:39 101

原创 谓词逻辑的基本概念

特性谓词:量词后面的词。

2025-01-15 17:51:11 139

原创 命题推理逻辑二:间接推理

1. 条件论证2. CP规则例1例23. 不相容的定义4. 反证法例1例2

2025-01-15 15:44:04 148

原创 命题逻辑推理一:直接推理

1. 基础重言蕴含式2. 基础等价公式3. 直接推理例1例2例3

2025-01-15 11:03:41 686

原创 主合取范式

1. 永真公式的主析取范式是所有小项的析取范式,不含有主合取范式。2. 永假公式的主合取范式是所有大项的合取范式,不含有主析取范式。

2025-01-15 09:12:12 110

原创 【Uniapp-Vue3】showLoading加载和showModal模态框示例

title:"标题",// 其他配置});showLoading开启后不会自动关闭,只能手动配置uni.hideLoading() 来关闭加载框。

2025-01-14 20:32:56 455

原创 【Uniapp-Vue3】uni-api交互反馈showToast的使用方法

其中,title只能显示7个字符的内容,如果想要显示全,只能不设置icon。如果想要显示弹窗,就可以使用showToast去显示弹窗。title:"显示内容",icon:"标志样式"

2025-01-14 20:15:08 376

原创 【Uniapp-Vue3】vite.config中安装插件unplugin-auto-import自动导入vue和uniapp

重启一下项目,之后再使用ref和生命周期函数都不需要再引入。对着项目右键-->使用命令行窗口打开所在目录,就会弹出终端。在项目目录下创建vite.config.js。在终端中输入如下命令,后回车。

2025-01-14 19:30:34 415

原创 主析取范式

主析取范式

2025-01-14 18:35:23 195

原创 析取范式和合取范式

析取范式和合取范式

2025-01-14 17:39:16 188

原创 重言式与重言蕴含式

1. 重言式和矛盾式的定义例12. 重言式定理3. 重言蕴含式的定义4. 重言蕴含式的证明方法方法1例1例2方法2例1例25. 基础重言蕴含式6. 重言蕴含式的性质7. 重言蕴含式定理8. 思考

2025-01-14 17:29:24 185

原创 命题公式的等价

1. 等价的定义2. 基础等价公式3. 等价公式的证明例1例24. 对偶式5. 等价的性质

2025-01-14 16:20:55 159

原创 命题公式及其真值表

1. 合式公式定义2. 化简命题公式3. 构造真值表例1例2

2025-01-14 15:59:38 104

原创 【Uniapp-Vue3】manifest.json配置

如果我们在Uniapp中编写代码, 把项目运行到微信小程序会发现预览,真机调试以及上传都不可用,这是因为没有配置微信小程序的Appid。在Uniapp中打开manifest.json,打开微信小程序配置,输入AppID,可以勾选上传代码时自动压缩(也可以不勾选)进入微信公众平台并登录,在管理-->开发管理里面可以找到AppID。填入AppID后,览,真机调试以及上传都可以使用了。

2025-01-14 11:26:54 343

原创 【Uniapp-Vue3】tabBar设置底部菜单选项及iconfont图标

我们在pages中创建了3个页面,分别是首页页面,分类页面和用户页面,我们把这三个页面设置为底部菜单选项切换。底部菜单栏配置成功。

2025-01-14 11:10:33 381

原创 【Uniapp-Vue3】pages设置页面路径及窗口表现

在pages.json中可以看到创建的页面的信息:

2025-01-14 10:23:19 339

原创 命题逻辑中命题的符号化

例1例2例3例4拓展例5

2025-01-14 09:58:18 129

原创 逻辑连接词

1. 否定"﹁"2. 合取"∧"3. 析取"∨"4. 异或""5. 条件"→"常见条件“→”的表达,以下都表示P→Q只要P,就Q因为P,所以QP仅当Q只有Q才P除非Q才P除非Q,则非P6. 等价“↔”7. 总结

2025-01-14 09:10:16 210

原创 命题及命题的真值

1. 什么是命题2. 命题的真值3. 判断是否为命题4. 命题的种类5. 命题的表示

2025-01-14 08:40:26 106

原创 【Uniapp-Vue3】pages.json页面路由globalStyle的属性

项目的全局配置在pages.json中。

2025-01-13 21:32:56 389

原创 【Uniapp-Vue3】@import导入css样式及scss变量用法与static目录

在项目文件中创建一个common文件夹,下面创建一个css文件夹,里面放上style.css文件,编写的是公共样式,我们现在要在App.vue中引入该样式。

2025-01-13 19:40:45 656

原创 【Uniapp-Vue3】响应式单位rpx及搭配使用UI产品工具

我们在编写CSS的时候,如果单位使用px,就会导致大小固定,但是如果我们想要根据不同的设备改变大小就要使用rpx作为单位。我们只需要根据在宽度为750px的设计稿下的尺寸设计rpx就行。将右侧宽度改为750,下面选中为从中间缩放。那么我在编写的时候字体大小就是48rpx。这是在宽度为768的设备上呈现的效果。这是在宽度为390的设备上呈现的效果。设计稿就成功变为宽度为750px。我选中的字体大小为48px。成功实现了按比例进行缩放。该设计稿的宽度是375px。

2025-01-13 13:39:49 416

原创 递归算法设计

④ 回溯, 将A[num]与选中数组段的第一个元素进行交换,保证下一次交换正确。③ 将A[num + 1] ~ A[n - 1]进行递归全排列;② 将A[num]与选中数组段的第一个元素进行交换;① 遍历数组,当前选中元素为A[num];⑤ 当该组处理完输出结果。例子2 Hanoi塔问题。

2025-01-13 09:21:31 692

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除