12 2024 档案

线代随笔

摘要：真的是随笔捏(￣▽￣)

*

$\text{*}$ ，完全没有逻辑。前言我们考虑一个问题：线性代数为什么叫代数？如果你学得叫矩阵与行列式计算，那这个学科应该叫矩阵分析。（好吧，在一些学校还真叫这个名字）这里假设你会一点线代和代数。（顺便推销自己的代数笔记，其实里面的东西也不用全会就能看懂本文了）线阅读全文

posted @ 2024-12-27 09:32 嘉年华_efX 阅读(14) 评论(0) 推荐(0) 编辑

摘要：大概是面向

CSer

$\text{CSer}$ 的入门，虽然我觉得网上很多教程难懂的主要原因是不喜欢把所有括号都打出来，然后在描述的时候滥用柯里化（虽然这是对的）。

λ

$\lambda$ 演算可以理解成一种（好用？的）编程语言。

λ

$\lambda$ 演算的思想就是设计一个可计算的函数，可以看成像 H 阅读全文

posted @ 2024-12-25 16:35 嘉年华_efX 阅读(103) 评论(0) 推荐(0) 编辑

昵称：嘉年华_efX
园龄： 3年4个月
粉丝： 11
关注： 4

2025年3月

日

一

二

三

四

五

六

嘉年华_efX