风铃草Vntlly - 博客园

2023年9月19日

摘要： Apache 首先到Apacahe网站上下载Apache，然后打开Apache24文件夹，其中htdocs就是之后的网页文件夹（如果不修改的话），bin就是启动Apache服务器的文件夹，conf是配置文件夹，首先打开conf文件夹内的httpd.conf这是Apache的配置文件，按以下进行配置阅读全文

posted @ 2023-09-19 20:34 风铃草Vntlly 阅读(26) 评论(0) 推荐(0)

2023年8月11日

WAHTWG Infra标准简记

摘要： WHATWG标准中的Infra主要是为了提供一种通用的描述以描述标准，要看懂WHATWG标准至少应当先了解Infra标准备注：本文唯一参考资料[WHATWG Infra Standard](infra.spec.whatwg.org)版本为2023年7月18日，可能并不是最新版本的 ## 描述规范阅读全文

posted @ 2023-08-11 05:59 风铃草Vntlly 阅读(57) 评论(0) 推荐(0)

2023年8月4日

一阶逻辑语言简记

摘要： #### 命题自然语言和逻辑语言相比具有极大的歧义性，如当笔者谈论“苹果”时，读者并不能知道这是水果还是手机，而逻辑因为其严谨性可以较大消除其歧义。逻辑最基础的构件便是二极管般的【命题】（proposition），是指一个可判断真假的陈述句显而易见的是命题的定义最重要的一个性质是能判断真假，将阅读全文

posted @ 2023-08-04 02:53 风铃草Vntlly 阅读(232) 评论(0) 推荐(0)

2023年2月7日

欧氏几何：几何原本（卷四）

摘要：定义 [1]直线形A各顶点于直线形B各边，称A内接B或B外接A [2]图形A各顶点于图形B各边，称A内接B或B外接A [3]直线形A各顶点于圆B圆周上，称A内接B或B外接A [4]直线形A各边外切圆B，称A外切于B [5]圆于图形内，图形各边外切圆，称图形外切圆 [6]圆经过图形各顶点，称圆外接图形阅读全文

posted @ 2023-02-07 22:40 风铃草Vntlly 阅读(107) 评论(0) 推荐(0)

2023年2月3日

公理集合论（三）：基数理论

摘要：请读者具备离散数学的基础 20230203：简化部分描述三、基数可数序数定义1：若序数

α

与自然数集

ω

在双射函数，则称

α

为可数序数，比如整数集Z、有理数集Q这些都是可数的，但都要通过特殊的技巧性的方法去找到这样一个双射函数由此说明是可数的。相关内容在很后面会说明例如整数集可以构造函阅读全文

posted @ 2023-02-03 21:33 风铃草Vntlly 阅读(798) 评论(0) 推荐(0)

2023年1月19日

欧氏几何：几何原本（卷三）

摘要：定义部分定义博主进行解读 [1]等圆是指直径或半径相等的圆 [2]线与圆的关系：相离、相切、相交 [3]圆与圆的关系：相离、外切、相交、内切、内含 [4]圆内有两条弦，弦心距是指圆心到弦的垂线 [6]弓形是由弦和弧所围成的图形 [7]弓形的角是平面角，由其弓形的弧和弦所构成 [8]圆周角是弓形的圆阅读全文

posted @ 2023-01-19 00:49 风铃草Vntlly 阅读(340) 评论(0) 推荐(0)

2022年12月31日

欧氏几何：几何原本（卷二）

摘要：定义 1.矩形是指邻边夹角为直角的平行四边形 2.拐尺形是指平行四边形中的补形以及形成的小的平行四边形（如图虚线部分）命题由于命题过多博主无法详细说明证明，卷2命题主要是通过矩形、正方形表述面积以及之间的等式，博主建议从代数角度去看待 [1]已知矩形，其中一条线段被截成几部分，则截成的几部分矩形阅读全文

posted @ 2022-12-31 23:02 风铃草Vntlly 阅读(296) 评论(0) 推荐(0)

2022年12月30日

欧式几何：几何原本（卷一）

摘要：公理-点、线、面、角、图形 1.点是没有部分的 2.线只有长度而无宽度 3.线的两端为点 4.直线是它上面的点一样平放着的线（无端点、不可度量、长度无限） 5.面只有长度和宽度（面没有高度） 6.面的边缘是线 7.平面是它上面的线一样地平放着的面 8.平面角是在一平面内但不在一条直线上的两条相交线相阅读全文

posted @ 2022-12-30 01:05 风铃草Vntlly 阅读(349) 评论(1) 推荐(0)

2022年12月6日

【9001】互动叙事之初-Chris Crawford的理论

摘要：有幸拜读了下Chris Crawford的互动叙事理论，说实话后半部分只适合程序员去看看。个人是感觉Chris Crawford是从技术角度去讨论，可能有问题，但依然有比较多的观点值得玩味。我删除比较多的博主认为帮助不大的观点留下一部分最有用并附以个人观点互动叙事是什么？交互是什么？交互性就是阅读全文

posted @ 2022-12-06 13:17 风铃草Vntlly 阅读(923) 评论(0) 推荐(1)

2022年11月5日

公理集合论（二）：序理论

摘要：请读者具备离散数学的基础 2022,12,28：修正部分错误解读 2023,01,25：简化部分解读二、序数定义自然数后继：

x^{+} = x \cup x

称为

x

的后继自然数的定义如下

0 = Ø

1 = 0^{+} = 0

2 = 1^{+} = 0, 1

... $n=(n-1)^+={0,1,..., 阅读全文

posted @ 2022-11-05 21:28 风铃草Vntlly 阅读(913) 评论(0) 推荐(1)

搜索

常用链接

我的标签

随笔分类

随笔档案

阅读排行榜

评论排行榜

最新评论