自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(7)
  • 问答 (2)
  • 收藏
  • 关注

原创 Git ssh + Proxy的配置

【代码】Git ssh + Proxy的配置。

2025-08-20 21:28:45 174

原创 WSL2踩坑

注意千万不能像正常host那样安装CUDA,因为这样会带进来WSL2无法使用的cuda-drivers,即使装了也要apt remove+apt autoremove掉后按manual方法重新安装WSL版本的CUDA。参考:https://www.reddit.com/r/bashonubuntuonwindows/comments/1i3awjz/move_wsl2_distribution_to_

2025-07-15 22:11:44 190

原创 [离散数学] 代数系统 群环域 格与布尔代数

注意是非空子集因为子群是群的非空子集,所以封闭性成立的话显然结合律成立即有限循环群中,生成元的阶和群的阶相等(其实从图上很好理解)其实这个从图上也很好理解,如果有两个相同,那么存在路径更短的回路用到了裴蜀定理一种判断方法,看上面或者下面的是不是分叉,分叉的话显然不是格子格要看子格中的元素任意两个的最小上界和最大下界(在原格中寻找)是否还在子格中,如果不在说明不是子格。

2025-03-23 23:39:13 603

原创 [离散数学] 集合论(集合代数 二元关系 函数)

而多元的定义。

2025-03-22 16:56:34 217

原创 [离散数学] 图论(图 树 欧拉图 哈密顿图 平面图及着色 二部图)

无向图的等价定义。

2025-03-22 10:28:53 2332

原创 [离散数学] 命题逻辑与谓词逻辑

离散数学 —— 命题逻辑与谓词逻辑

2025-03-21 10:07:06 1778

原创 [编译原理] 中间代码生成 代码优化

编译原理 —— 代码优化

2025-03-20 16:36:38 1594

空空如也

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

TA关注的人

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