相關詞條
-
程式法治
程式法治是指通過建構和完善程式法律制度來實現國家法治目標的模式，它強調法律的理性主義和自由價值，尊重以自由為基礎的個體之間的平等、理性以及個人的價值和尊...
內涵 核心 實質 執行意義 存在問題 -
哥德爾不完備定理
在數理邏輯中，哥德爾不完備定理是庫爾特·哥德爾於1931年證明並發表的兩條定理。簡單地說，第一條定理指出：任何一個相容的數學形式化理論中，只要它強到足以...
哥德爾不完備定理的意義 不確定命題的例子 對哥德爾定理的一些誤解 討論和推論 -
圖靈完備
在可計算性理論里，如果一系列運算元據的規則（如指令集、程式語言、細胞自動機）可以用來模擬單帶圖靈機，那么它是圖靈完備的。這個詞源於引入圖靈機概念的數學家...
艾倫·圖靈 可計算性理論 圖靈機 參見 -
民事第一審程式
由於審級制度有第一審和第二審以及第三審的區別，因此，在民事訴訟程式上，有第一審程式和抗訴審程式之分。第一審程式是民事審判程式的基本程式。
民事第一審程式 正文 配圖 相關連線 -
程式公正
在進行訴訟活動中，司法工作人員及訴訟參與人普遍比較重視的是實體法上的公正，而對於程式法上的不公正現象則比較寬容。實際上，無論是實體公正，還是程式公正，其...
定義 模式 基本功能 基本特徵 制約因素 -
督促程式
根據《中華人民共和國民事訴訟法》第十七章的相關規定 ，督促程式，是指對於給付金錢或有價證券的請求，人民法院根據債權人的申請向債務人發出支付令，債務人在收...
簡介 特點 四個階段 存在問題 立法問題 -
立法程式
立法程式是指有關國家機關在制定、修改和廢止規範性法律檔案的活動中，所必須遵守的法定步驟和順序。 立法程式具有民主性、公開性、交涉性及自律性等幾大屬性。現...
基本概念 立法過程 基本特性 價值體系 存在問題 -
訴訟程式
訴訟程式屬於程式性法律程式中的公力救濟型程式。一般而言，訴訟程式可以解釋為司法機關和案件當事人在其他訴訟參與人的配合下為解決案件而分階段又相連貫地順次進...
具備特點 訴訟行為 權利特徵 主體結構 訴權性質 -
程式理解
程式理解是一個從電腦程式中獲取知識信息的過程。這些知識信息可以套用於程式排錯、增強程式、重用程式以及整理文檔等方面的工作上。程式理解是軟體工程領域裡的...
任務 內容 相關技術 基本策略 具體方法 -
《進口許可程式協定》
《進口許可程式協定》是以進口許可定義為用以實施進口許可制度的行政程式，該制度要求向有關行政機關提交申請或其他檔案，作為貨物進入進口成員關稅領土的先決條件。
簡介 總則 自動進口 非自動進口 機構
