国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

當(dāng)前位置:主頁 > 科技論文 > 數(shù)學(xué)論文 >

循環(huán)描述邏輯系統(tǒng)FL 0 最大不動點模型的有窮基

發(fā)布時間:2024-07-09 00:22
  描述邏輯和形式概念格都是以概念為基礎(chǔ)的形式系統(tǒng),它們都有各自的優(yōu)缺點,近年來人們開始將兩者結(jié)合起來,取長補短。文中將形式概念分析的方法引入描述邏輯,研究了循環(huán)描述邏輯系統(tǒng)FL0在最大不動點語義下有限模型的有窮基。在形式概念分析中,屬性有限的形式背景都存在Duguenne-Guigues基,文章將循環(huán)FL0的最大不動點模型作為描述背景,將FL0概念作為屬性,定義了描述背景下的屬性蘊含,證明了循環(huán)描述邏輯系統(tǒng)FL0的最大不動點模型也存在有窮基底。

【文章頁數(shù)】:5 頁

【文章目錄】:
1 引言
2 預(yù)備知識
3 描述邏輯系統(tǒng)FL0的有窮基



本文編號:4004103

資料下載
論文發(fā)表

本文鏈接:http://lk138.cn/kejilunwen/yysx/4004103.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶1cc84***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
亚州中文视频| 国产亚州精品伦| 国产午夜影院| 久久女人妻| 日韩 国产在线一区| 最近日本字幕免费高清无码| 中文字幕人妻在线视频资源站| 日韩中文字幕一二| 国产精品乱码一区二区三区四区五区| 99国产黄色精品| 午夜福利在线观看www| 亚洲图片另类| 强姧伦理至久久久久久久? | 中央巡视组进驻四川 首虎落马| 狠狠躁日日躁夜夜躁2020老妇女| 欧美1区欧| 日本久久久久综合亚洲| 大香蕉午夜福利在线视频| 一区二区三区四区五区天天干| 国产丝袜一区二区三区| 毛片中心8久久久久久久久久久久久| 日本不卡区视频| 婷婷五区四区二区| 婷婷五月开心亚洲| 国产精品 偷| 国产成人丝袜一区| 五月欧美精品| 天天色九九色天天色综合色四虎色| 亚洲天堂无吗专区| freeporn在线 国产精品| 少妇高潮射水| 成人免费A级毛片无码网站| 91韩国精品视频| 日韩精品久久久毛片一区二区| 熟女人气 一区| 午夜黄色片免费看| 亚洲一区二区三区天天| 午夜精品三级一区二区三区| 夜夜性影院| 免费v片在线观看| 亚洲人精品一区|