相關詞條
-
海伯倫域
設謂詞公式G的子句集為S，則按下述方法構造的個體變元域H稱為公式G或子句集S的海伯倫域(Herbrand域，簡稱H域)：(1)令H0是S中所出現的常量的...
定義 例題解析 海伯倫化 相關概念 海伯倫理論 -
禁域
詞語信息 詞語：禁域 拼音：jìn yù 注音：ㄐㄧㄣˋ ㄧㄩˋ 釋義：猶禁區。禁止涉足的區域。 明 李贄 《與周友山書》：“若守其禁約，不肯輕恕，務欲窮之於其所往，則大地皆其禁域，又安所逃死乎！” ...
詞語信息 -
郭正域
郭正域，江夏人，郭應聘之子，明朝政治家。神宗萬曆十一年(1583年)進士，授編修，歷禮部侍郎。博通經籍，勇於任事，有經濟大略，人望歸之，郭正域與沈鯉、呂...
人物生平 人物著作 明史記載 -
無敵劍域
《無敵劍域》（英文名Invincible sword domain）是百度文學簽約作家青鸞峰上的一本東方玄幻小說，首發於縱橫中文網，已連載6411375字。
舊版簡介 新版簡介 人物形象 境界劃分 作品目錄 -
窮天嗜武
”丁浩接道：“爹爹，正是金錘破天。 ”老丈微笑道：“他啊，跟你爹爹都是四大錘里的人物，都是九星晶士。 丁浩一招“錘掃千軍”直撲金錘破天腦門，高手過招，不同凡響。
基本信息 小說目錄 精彩預讀 -
愛回家
劇情簡介在香港這商業社會，物質掛帥，職場打拚的“上班族”，被逼追趕潮流，換手機、換手袋、換車換樓、換身份、換朋友，棄捨天天有！舊...
劇情簡介 角色介紹 職員表 演員表 分集劇情 -
愛·回家[2012年香港TVB處境喜劇]
劇情簡介 愛·回家 在香港這商業社會，物質掛帥，職場打拚的“上班族”，被逼追趕潮流，換手機、換手袋、換車換樓、換身份、換朋友，棄...
劇情簡介 角色介紹 職員表 演員表 分集劇情 -
愛回家[2012 TVB電視劇]
劇情簡介在香港這商業社會，物質掛帥，職場打拚的“上班族”，被逼追趕潮流，換手機、換手袋、換車換樓、換身份、換朋友，棄捨天天有！舊...
劇情簡介 角色介紹 職員表 演員表 分集劇情 -
窮否
《 抱朴子·內篇 自序》：“是以望絕於榮華之途，而志安乎窮否之域。”《晉書·葛洪傳》作“窮圮”。 晉 葛洪 《抱朴子·博喻》：“達乎通塞之至理者，不悁悒於窮否。” ...
拼音 解釋
