随笔分类 - 人工智能

图灵模式与lamda演算

摘要：图灵机图灵模型是从机器的角度，可以设计一种通用机，只用无限长的纸带和程序表，这种机器就可以模拟任何数学上的算法和一切计算。任何实现了图灵机的其他机器也具有相同的功能。比如现代冯诺依曼以存储器为核心的通用电脑，生命游戏中也可以设计相关电路实现图灵机功能，或者现在研发的量子计算机，也是一种压缩了运算阅读全文

posted @ 2022-07-31 14:07 srid 阅读(388) 评论(0) 推荐(0) 编辑

一些矩阵的定义

摘要：实对称矩阵：如果有n阶矩阵A，其矩阵的元素都为实数，且矩阵A的转置等于其本身，则称A为实对称矩阵。性质：实对称矩阵A的不同特征值对应的特征向量正交。特征值都是实数。可以相似对角化。正定矩阵：给定一个大小为n*n的实对称矩阵A，若对于任意长度为n的非零向量X，有 XTAX>0恒成立，则矩阵A是阅读全文

posted @ 2022-03-22 12:14 srid 阅读(349) 评论(0) 推荐(0) 编辑