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