- 博客(3)
- 资源 (1)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 【Applied Algebra】用于AT89C51单片机的代数控制方法
【Applied Algebra】用于AT89C51单片机的代数控制方法(Talk for W.J.Leuang)在本次讨论中我们将介绍一种基于计算交换代数的、可用于嵌入式设备的高效控制算法.问题背景用F2\mathbb{F}_2F2的多项式环模拟谓词逻辑求解思路总结...
2020-12-28 12:03:23
213
原创 【代数语言学巡礼】归纳逻辑编程(inductive logic programming)III
【代数语言学巡礼】归纳逻辑编程(inductive logic programming)III归纳逻辑是事例证据支持的逻辑。在演绎逻辑中，一个有效的演绎论证的前提在逻辑上必然包含结论，逻辑蕴涵意味着使前提为真的每一个逻辑上可能的状态也必须使结论成为真理。因此，一个有效的演绎论点的前提为结论提供了完全的支持。然而归纳逻辑将这种观点扩展到较弱的论点。在一个好的归纳论证中，前提的真实性为结论的真实性提供了某种程度的支持，这种支持程度可以通过某种数值尺度来度量。通过与演绎蕴涵概念的类比，归纳支持度的概念可能
2020-12-23 16:09:41
1903
原创 【代数语言学巡礼】Lambda-演算在形式语义学的中应用II
【代数语言学巡礼】Lambda-演算在形式语义学的中应用II现在我们开始讲述λ\lambdaλ-演算的基础知识,包括PC上的λ\lambdaλ-演算和类型论上的λ\lambdaλ-演算;λ\lambdaλ-演算λ\lambdaλ-演算最早是由Church(1941)在(The Calculi of Lambda-Conversion. Princeton University)中提出来的,但却是 Montague(1970)才使得它在自然语言的形式语义学研究 发挥重要作用.我们知道自然语言的
2020-12-01 15:11:19
1259
为什么我的安卓模拟器每次都出现两个同样apk？？？
2015-05-03
TA创建的收藏夹 TA关注的收藏夹
TA关注的人