连词-一流百科

决策列表

简介决策列表是布尔函数的一种表示方法，可以很容易地从实例中学习。单项决策列表比二连词和连词更有表达力；但是，单项决策列表的表达力不如一般的二连词正...

词条百科

分离逻辑

简介在计算机科学中，分离逻辑是Hoare逻辑的延伸，是一种程序推理方式。它是由JohnC.Reynolds,PeterO'Hearn,SaminIshtiaq和HongseokYang借鉴RodBurstall的早...

词条百科