请遵守AGPL 3.0协议 本主题已开源于hexo-theme-wang

记录

Date Icon
Update Icon

离散数学:环与域

环定义

给定代数系统<A,+,>,+A上的二元运算,若满足下面条件<A,+,*>,+和*是A上的二元运算,若满足下面条件

(1)<A,+>是交换群(1) <A,+>是交换群

(2)<A,>是半群(2) <A,*>是半群

(3)+可分配.即对任何a,b,cA,a(b+c)=(ab)+(ac)(a+b)c=(ac)+(bc)*对+可分配.即对任何a,b,c \in A ,有\\a*(b+c)=(a*b)+(a*c)及(a+b)*c=(a*c)+(b*c)

则称<A,+,><A,+,*>

Date Icon
Update Icon

离散数学:子群的陪集及拉格朗日定理

子群的陪集

定义

<H,><H,*>是群<G,><G,*>的子群,aGa \in G,定义集合

aH={ahhH}aH=\{a*h|h \in H\}

Ha={hahH}Ha=\{h*a |h \in H\}

则称aH(Ha)为a确定的H在G中的左(右)陪集.

Date Icon
Update Icon

离散数学:子群及其证明

子群的定义

<G,><G,*>是群,S是G的非空子集,如果<S,><S,*>满足:

(1) 对 a,bS\forall a,b \in S均有abSa*b \in S (封闭性)

(2) 幺元eSe \in S (有幺元)

(3) 对 aS\forall a \in S ,有a1Sa^{-1} \in S (可逆)

💡

显而易见,结合性不证自明,略

则称<S,><S,*><G,><G,*>的子群

Date Icon
Update Icon

离散数学:群的定义及性质

定义

<G,><G,*>是代数系统,如果*在G上满足**封闭性,可结合性,<G,><G,*>中有幺元,且G中每一个元素均可逆

则称<G,><G,*>是群

细分定义

(1)设<G,><G,*>是群,若集合G是有限集,则称<G,><G,*>是有限群.反之则为无限群

(2)只含有幺元的群叫平凡群

(3)若*运算时可交换的,则称<G,><G,*>交换群阿贝尔群

Date Icon
Update Icon

《人工智能生成合成内容标识办法》与个人博客--我们应该做什么?

先引述一下图片,我觉得除了标识义务,还有其它方面需要探讨

关于印发《人工智能生成合成内容标识办法》的通知_中央网络安全和信息化委员会办公室

9月1日起,AI生成合成内容必须添加标识

2025-03-17-161316

现在AI开始融入生活生产的各个方面,随着法律法规陆续出台落地,作为文章输出的根据地:个人博客,应该如何对待,做好合规性工作,避免未来陷入不必要的麻烦?

Date Icon
Update Icon

不是你,而是我们:bing又一次崩溃

Image-To-Stl-com-2025-03-13-102616


欸我去,美国怎么那么坏😡

Date Icon
Update Icon

vscode插件开发心得:RustedWarfareModSupport

我并没有重复造轮子,因为根本就没轮子 :(

时隔多年,我还是回到了我最喜欢的RTS游戏:Steam 上的 Rusted Warfare - RTS

这是我的插件地址
RustedWarfareModSupport - Visual Studio Marketplace

Date Icon
Update Icon

通识学习:形式语言与自动机,布尔代数与数进制

这一周的学习环环相扣

概览

好多东西都是似曾相识的.要么是在上学期就讲过,要么是中学时期就有过了解.这学期开学一周,所学到的基础知识有这几点:

课程 内容
形式语言与自动机 计算理论学的,在编译原理的课上,老师又给大家讲了一遍
布尔代数 真(11)假(00).与或非这些个概念早年在高中时期学集合论的时候有过了解
进制转换 2,8,10,16等等,都是比较常用的进制了
Date Icon
Update Icon

SEO优化:期待拯救我的bing搜索

啊,好麻烦
2025-01-10-184443

Date Icon
Update Icon

bing搜索结果消失,持续记录

我可以确信,昨天晚上11点的时候我还能搜到我的网站,但是今天一早发现结果都消失了,让我不禁为之震惊
2025-01-07-141655

Date Icon
Update Icon

github:action/workflow自动发布npm包

本文介绍
github action/workflow进行npm自动发包,并自动更新版本号