机率图灵机
机率图灵机是计算复杂性理论中的非决定型图灵机，在每个转折点根据概率分布随机选择转变。它有随机结果，可能接受或拒绝相同输入，并导致多种多项式时间随机复杂度类。随机性对交互式证明系统和某些算法如质数测试至关重要，其是否增加计算能力仍是研究重点。
🌐 计算机科学
来自维基百科的公开条目
乔姆斯基谱系
乔姆斯基体系是计算机科学中刻画形式文法表达能力的分类谱系，由乔姆斯基于1956年提出，包括0-型到3-型四个层次，分别对应不同类型的文法及其生成的语言，以及相应的自动机模型。
集体智慧
集体智慧是一种共享的群体智能，通过集结众人意见转化为决策的过程，从个体合作与竞争中涌现。它存在于细菌、动物、人类及计算机网络中，是跨学科研究领域，也出现在科幻作品中。互联网技术特别是Web 2.0促进了集体智慧的发展。
实现童年梦想
兰迪·波许教授在2007年9月18日所做的《实现童年梦想》演讲，基于他被诊断为胰腺癌晚期的背景。演讲内容涵盖计算机工程教育、多学科协作和团队合作，受到广泛关注并衍生出畅销书和相关媒体节目。
查找表
查找表是计算机科学中用查询操作替换运行时计算的数据结构，可显著提高速度。文中详细介绍了查找表的工作原理、应用场景（如三角函数表、图像处理）、优缺点以及构建约束条件。
肯·戈德堡
肯·戈德堡是美国艺术家、作家、发明家和机器人学专家，现任加州大学伯克利分校教授。他在机器人算法、网络化遥控机器人领域有重要贡献，开发了首个机器人网络界面。同时作为艺术家，作品曾在多个国际艺术展览中展出，并获多项荣誉。
可行域
可行域是满足最优化问题所有约束条件的解的集合，包括不等式、等式和/或整数约束。它可以是凸多胞形或整数集，与目标函数分离，约束满足是在可行域内寻找点的过程。
罗马大学
罗马大学是意大利罗马的一所国立综合性大学，创建于1303年，有700多年历史，是罗马历史最悠久的大学。现有11个学院，63个系，60个图书馆和21个博物馆，培养了14位诺贝尔奖得主。在2021年QS世界大学排名中，其学术总体声望排名第70位，21个学科进入世界前100位。
成都信息工程大学
成都信息工程大学是四川省重点发展的部省共建院校，前身为1951年创建的成都气象学院，2015年更名为现名。学校以信息学科和大气学科为重点，拥有两个校区，53个本科专业，3个省级一流学科建设学科，2.5万余名全日制在校生和1600余名教师。
认识逻辑
认识逻辑是关心与知识有关的推理的模态逻辑子领域，应用于哲学、计算机科学、人工智能等领域。它有基本模态算子K，可表示不同代理者的知识，与真势模态逻辑有相似但也有区别，早期提议者包括E. J. Lemmon和雅各·辛提卡。
心灵哲学
心灵哲学是哲学分支，研究心灵的本质及其与身体的关系。核心问题是心物关系问题，包括二元论和一元论两大派别。二元论认为心灵独立存在，一元论则认为心灵和身体不是独立实体。物理主义是当代主流观点，包括还原论和非还原论两种立场。
典范转移
典范转移是汤玛斯·孔恩提出的重要概念，指科学发展从一个典范转向另一个典范的过程。包括前典范时期、常态科学时期、科学革命时期和新常态科学时期。典范是科学社群对研究方法的共识，可具体为成功科学研究案例。典范转移困难可导致范式瘫痪。
国际数学奥林匹克
国际数学奥林匹克(IMO)是历史最悠久的国际科学竞赛，始于1959年，每年举办(除1980年)，现约100个国家参与。参赛者需未满20岁，每国最多6名选手。比赛为期两天，每天3道证明题，满分42分。题目基于中学数学但难度较高，需超出中学课程的知识和创造性思维。
德克萨斯大学达拉斯分校
德克萨斯大学达拉斯分校成立于1969年，是德州大学系统中的研究型大学，位于达拉斯市北部。学校前身是德州仪器的研究机构，提供145种课程，8大学院，50多个研究中心。学校在数学、阅读SAT成绩方面为德州公立大学最高，并致力于发展成为全美前50名的顶尖大学。
逻辑
逻辑是研究有效推理的学科，分为形式逻辑与非形式逻辑。它研究论证结构，包括演绎推理、归纳推理和溯因推理。逻辑学历史悠久，从亚里士多德逻辑发展到现代经典逻辑，包括命题逻辑与一阶逻辑，并扩展到多个应用领域。
机器人名人堂
机器人名人堂是美国卡内基·梅隆大学于2003年成立的组织，表彰著名机器人及机器人学成就。最初由特定小组选出入选者，2012年后改为通过调查和公众投票选出，分为四类：教育与消费、娱乐、工业与服务、研究。
杨百翰大学
杨百翰大学是美国犹他州一所私立研究型大学，由耶稣基督后期圣徒教会主办，前身创立于1875年。学校规模约3.7万人，提供200多个本科专业，以本科教育和科研见长，实行荣誉准则，并因宗教规定引发讨论。
电脑记忆体
存储器是计算机中能接收和存储数据的基本硬件，分为主存储器(内存)和辅助存储器(外存)。主存与CPU构成主机，采用半导体存储器如DRAM；辅存容量大，如硬盘、U盘等。存储器还可按介质和存取方式分类。
记录
记录是计算机科学中的基本数据结构，由不同数据类型的固定数量和序列的聚集字段组成。记录与数组区别在于字段有名称且类型可能不同，是大多数数据结构的基本组成部分，在面向对象编程中与对象相关联。
加州大学圣地牙哥分校
加州大学圣地亚哥分校(UCSD)成立于1960年，是美国公立研究型大学，位于加州拉霍亚，占地866公顷。该校有七个本科生通识学院、五个学术型研究学院和六个专业型研究学院，科研经费超11亿美元，拥有27位诺贝尔奖得主等众多杰出校友和教职员工。