百科釋義
形式語義學（formal semantics），是程序設計理論的組成部分，以數學為工具，利用符號和公式，精確地定義和解釋計算機程序設計語言的語義，使語義形式化的學科。形式語義學是從20世紀70年代開始發展出來的一個理論陣營。最初的研究開始於蒙太古以數理邏輯方法對英語的研究，後來經過語言學家和哲學家的共同努力，發展成為一個獨立的學科，並且摒棄了蒙太古對生成語言學的句法學的忽視，強調語義解釋和句法結構的統一，從而最終成為生成語言學的語義學分支。
網友正在查
深圳市眾志天成科技有限公司是什麼意思 陈泽是什麼意思 天作之合是什麼意思 盐垢是什麼意思 絕對生長是什麼意思 一般能力测验是什麼意思 戒烟棒是什麼意思 怀旧吧是什麼意思 航空意外保險是什麼意思 形式語義學是什麼意思
漢語詞典收錄了近50萬個詞語，包含詞語的解釋、例句和翻譯，詞庫仍在不斷更新中。
詞典數據主要來源於新華字典，以及通過機器學習從海量的互聯網內容中挖掘出尚未被新華字典收錄的流行詞語，用於補充詞庫，方便大家查詢。
