TCS Lec2总结 本节深入探讨了λ演算的计算机制，包括β-归约、相容闭包、归约策略、Church-Rosser性质及其证明，并展示了如何用λ演算编码布尔值、自然数及基本算术运算，奠定了其作为通用编程语言的基础。 2025-05-25 tcs #tcs
多边形的Riemann映射与Schwarz-Christoffel公式 多边形区域的Riemann映射定理、Schwarz-Christoffel公式及其证明方法，包含对称开拓、局部坐标变换等技术细节。 2025-05-21 math > complex-analysis #math #complex-analysis #Riemann映射 #Schwarz-Christoffel公式 #多边形区域
共形映射 共形映射的黎曼映射定理、边界对应原理、正规族与等度连续性等内容。 2025-05-19 math > complex-analysis #math #complex-analysis #正规族 #共形映射 #黎曼映射定理 #边界对应原理
正规族与等度连续 正规族的定义、Arzelà-Ascoli定理、Montel定理、亚纯函数的正规族等度连续性等内容。 2025-05-19 math > complex-analysis #math #complex-analysis #亚纯函数 #正规族 #Arzelà-Ascoli定理 #Montel定理 #等度连续
解析开拓与多值性定理 复变函数的解析开拓与多值性定理 2025-05-13 math > complex-analysis #math #complex-analysis #解析开拓 #多值函数 #单值性定理 #解析函数
Poisson公式与Schwarz定理 调和函数的Poisson公式、Schwarz定理及其在调和函数延拓中的应用。 2025-05-10 math > complex-analysis #math #complex-analysis #调和函数 #Schwarz定理 #调和函数延拓 #Poisson公式
调和函数与解析函数的关系 调和函数的定义、极坐标下的调和条件、调和函数与解析函数的联系、调和函数的积分性质、环域上的平均值定理、微分形式与外微分等内容。 2025-05-06 math > complex-analysis #math #complex-analysis #harmonic-functions #Laplace-equation #Green's-theorem
Stirling公式和Γ函数定义的等价性 Stirling公式和Γ函数定义的等价性 2025-04-28 math > complex-analysis #math #complex-analysis #无穷乘积 #Stirling公式 #Γ函数
经典纠错码(2) 本文介绍了经典线性码的对偶理论，包括GF(2)上的线性代数基础、对偶码的定义与性质，以及7比特汉明码的对偶实例。重点讨论了对偶码的生成矩阵与校验矩阵之间的关系，以及秩-零定理在GF(2)中的应用。 2025-04-23 quantum #quantum #quantum-error
