从零开始学习线性代数：线性转换 2022-07-17

「线性转换」是线性代数的核心概念，但是它的基本思想却很简单，我们甚至在小学就已经见过了。举例来说： (1) $2 × 3 = 1 × 6$ 意思是，3 个 2 等于 6 个1 ...

(3765)次阅读|(0)个评论

对线性代数教育的一点反思 2022-07-17

there is hardly any theory which is more elementary than linear algebra in spite of the fact that generations of professors and textbook writers have ...

(6510)次阅读|(7)个评论

从零开始学习线性代数：维度、基、向量、矩阵和向量空间 2022-07-12

上篇笔记是开篇，重点是从整体把握线性代数是一门什么样的学问。所学到的重点如下： 普通加法只允许我们做「同质」加法，被加数与加数所代表的对象具有相 ...

(6421)次阅读|(2)个评论

从零开始学习线性代数：线性组合的概念 2022-07-12

 自己平时最爱吃的一道菜是西红柿炒鸡蛋，简单、味美、经济。 现在摆在我面前的是 🍅 🍅 🍅 🥚 🥚 当然还有其它 ...

(6519)次阅读|(1)个评论

数学思想的元语言——集合 2020-12-18

在 《「离散数学」是一门什么样的学科》 中，我们曾提到两个关系，第一、数学与其它科学之间的关系：数学是用来解决其它科学问题的工具；第二、数理逻辑与数学 ...

(8754)次阅读|(11)个评论

「离散数学」是一门什么样的学科 2020-07-10

写这篇文章的动机是想探讨从离散数学开始入门数理逻辑的路径以及离散数学与数理逻辑之间的关系。以学习数理逻辑为目的学习离散数学，和一般的以学习计算机为目 ...

(19630)次阅读|(19)个评论

华沙学派——一个几乎被历史遗忘的哲学、数学、逻辑学派(1) 2018-02-17

一直想写一篇关于波兰华沙学派的文章，因为这个学派在数学、哲学、逻辑等领域贡献颇多。但由于这个学派不是处于西方主流中心加之这个学派的许多学者的论文多用 ...

(9910)次阅读|(4)个评论

范畴语法和《句法连通性》 2017-11-15

范畴语法是一个非常重要的描述自然语言的形式化框架。它的基本思想是形式语义学中的组合性思想；它的基本结构是基于高阶函数所生成的句法成分。从形式上，范畴 ...

(6376)次阅读|(0)个评论

查看更多