邏輯框架法是什麼意思

百科釋義

在類型論中，LF 邏輯框架提供了定義(或表示)邏輯的一種方式。它基於了通過有依賴類型的lambda 演算方式的對語法、規則和證明的一般性處理。語法按類似於但更一般性的 Per Martin-Löf 文章中的系統的風格來處理。

漢語詞典收錄了近50萬個詞語，包含詞語的解釋、例句和翻譯，詞庫仍在不斷更新中。

詞典數據主要來源於新華字典，以及通過機器學習從海量的互聯網內容中挖掘出尚未被新華字典收錄的流行詞語，用於補充詞庫，方便大家查詢。