代数逻辑相关论文
日本CASIO Fx—180p高性能袖珍计算器,备有7种存储器,6级最大18重括弧,55种函数机能,可按真代数逻辑进行回归分析、积分和最大38......
目前信息检索系统的评估方式主要是黑箱方法,无法了解系统内部情况.逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径.......
保罗·哈尔莫斯(paul RichardHalmos,1916—)是当代美国最有影响的纯数学家,数学作家、数学教育家与数学编辑家,这位美籍匈牙......
题 已知函数y=f(x)的图象是自原点出发的一条折线。当n≤y≤n+1(n=0,1,2,…)时,该图象是斜率为b~n的线段(其中正常数b≠1),设数列{......
<正> 研究二值逻辑系统是以布尔代数作为理论基础,而在探讨格值逻辑系统时,徐扬教授提出了格蕴涵代数,对于它的研究,已引起国内外......
