- 博客(79)
- 资源 (7)
- 收藏
- 关注
原创 Ch3 计算理论 表述复杂语言
在本章中, 我们将继续探究对复杂语言的表述方法, 介绍 **上下文无关语法**, 以及 **巴克斯 - 诺尔范式** .
2021-04-24 18:40:31
203
原创 Ch2 计算理论 自动机
本章介绍不同种类的自动机 (`Automata`), 并介绍多个实现在自动机和模式 (正则表达式) 之间进行转换的算法.
2021-04-24 18:39:54
478
原创 逻辑学探幽 Part2
在本章节中, 我们将简要介绍自然演绎推理和一阶谓词逻辑. 本文假定读者已基本掌握命题逻辑, 并熟悉包括 `Truth` 和 `Falsium` 等在内的语义符号, 并了解逻辑学的基本概念.
2021-04-24 18:35:14
609
原创 逻辑学探幽 Part0
在本章中, 我们将引入最基本的逻辑系统: 命题逻辑, 简要介绍其基本概念, 并进一步地引入两种广泛应用于计算机科学领域的命题语义: 布尔语义和幂集语义.
2021-04-24 18:33:29
2357
原创 Moved to Github Blog
Moved to Github Blog:https://kirisamemarisaa.github.io
2020-11-05 11:32:48
144
2
原创 解锁4/6/8代Intel处理器ThinkPad的BIOS高级选单, 解除WWAN和Wi-Fi白名单
本教程提供了一种解锁搭载4/6/8代 Intel 处理器 ThinkPad 的 BIOS 高级选单 (Advanced Settings), 并完全解除WWAN和Wi-Fi白名单的方法.
2020-07-30 20:54:10
8497
10
原创 Chapter3 复变函数的积分
本章将介绍复变函数的积分, 给出其定义, 性质和计算方法, 并且引入Cauchy-Goursat 定理和 Cauchy 积分定理, 最后引入调和函数的概念.
2020-05-17 10:41:06
1555
原创 MATLAB数学建模:智能模拟算法-元胞自动机
元胞自动机 (Celluar Automata) 是一种广泛应用的模型理论. 本文将简介元胞自动机的基本概念, 并举两个在 MATLAB 中实现元胞自动机的例子.
2020-05-16 23:39:36
1925
原创 MATLAB数学建模:智能优化算法-人工鱼群算法
人工鱼群算法是一种受鱼群聚集规律而启发的优化算法. 本文将简介人工鱼群算法的原理, 并且给出MATLAB实现的代码案例.
2020-05-16 21:47:49
7286
1
原创 组合数学-Chapter VIII: 生成函数
在组合数学中, 通过构造特殊的幂级数, 我们可以将组合意义下的计数问题和幂级数相应幂次项系数的值相关联, 从而大幅地简化一些组合计数问题的难度. 下面, 我们对生成函数进行简要介绍.
2020-05-06 15:35:15
526
原创 组合数学-Chapter VII: 容斥原理
在本章中, 我们将介绍一种常用的经典组合学技巧--容斥原理. 虽然在最简单的情形下, 它几乎是显然的, 但这一方法的强大体现在利用它解决涉及可列个元素的情形时.下面, 我们以几个简单的例子为引, 逐步导出并介绍容斥原理的基本算法, 公式和应用.
2020-05-05 09:58:47
552
原创 Chapter2 解析函数
在本章中, 我们将研究复变函数的微分法. 我们将在本章中介绍复变函数解析的定义和相应的判别方法, 并将实变函数中的五个基本初等函数逐一推广到复数域中.
2020-05-04 16:10:05
1951
原创 组合数学-Chapter V: 图论补充
本文内容为 Chapter V: 图论的内容补充. 在本章中, 我们还将先后介绍交错图, 进一步介绍Ramsey定理, 引入多个新概念, Mantel 定理, Turan 定理, 图的染色, Hall 定理和 SDR 定理.
2020-04-26 23:02:47
1701
4
原创 组合数学-Chapter V: 图论
大量的组合问题都可以被归结为图论问题, "图" 这一组合结构可能是组合数学这一学科中研究得最为透彻的结构. 下面, 我们将对组合意义上的 "图" 做数学意义上抽象化定义, 并结合例子对一些重要概念进行介绍.
2020-03-25 13:21:13
1629
2
原创 利用Wox实现无障碍谷歌翻译
本教程提供了一种无需特殊操作即可直接使用Wox调用Google Translate 中文站并进行快速多语言翻译的方法.
2020-02-28 17:53:12
4176
7
Sierra Wireless EM7455 2.20.03.00 旧版固件
2020-01-21
Sierra Wireless EM7455 2.08.02.00 旧版固件
2020-01-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人