程式設計邏輯（programming logic）2008年公布的信息科學技術名詞。
基本介紹
- 中文名：程式設計邏輯
- 外文名：programming logic
- 所屬學科：信息科學技術
- 公布時間：2008年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
程式設計邏輯
相關詞條
- 邏輯型程式設計
邏輯型程式設計是由柯娃爾斯基(Kowalski , R. A. )及考莫瑞爾(Colmerauer,A.)首先提出的，1972年，他們提出“邏輯可當做程式設計語言來使用”.柯娃爾斯基提出“算法一邏輯+控制”.這裡的邏輯是指對所解問題的描述，即程式的說明性...
- 程式設計邏輯
程式設計邏輯 程式設計邏輯（programming logic）2008年公布的信息科學技術名詞。公布時間 2008年，經全國科學技術名詞審定委員會審定發布。出處 《海峽兩岸信息科學技術名詞》。
- 邏輯式程式設計
邏輯式程式設計是編寫邏輯程式的方法與過程。組成 邏輯程式由單元邏輯子句（事實）和條件邏輯子句（規則）組成。套用 用事實和規則作為求解問題的前提，然後根據推理規則求解問題。提供啟發式搜尋、問題歸結和問題求解等簡單而有效的模型。
- 歸納邏輯程式設計
歸納邏輯程式設計(Inductive Logic Programming，ILP)是基於一階邏輯的歸納方法，採用的是反向歸結(Inverse Resolution)過程。歸納邏輯程式設計ILP可以生成新的謂詞，因此被稱為構造性歸納。發展背景 學習是人類擁有智慧型的一種體現，也是獲得...
- 程式設計(計算機編程術語)
程式設計是給出解決特定問題程式的過程，是軟體構造活動中的重要組成部分。程式設計往往以某種程式設計語言為工具，給出這種語言下的程式。程式設計過程應當包括分析、設計、編碼、測試、排錯等不同階段。專業的程式設計人員常被稱為程式設計師。
- 算法邏輯圖
有了正確而有效的算法，可以利用任何一種計算機高級語言編寫程式，使計算機進行工作。因此，設計算法是程式設計的核心。這其中以特定的圖形符號加上說明，表示算法邏輯的圖，稱為算法邏輯圖（Algorithm Logic diagram ）。符號 美國國家標準化...
- 程式設計理論
Hoare邏輯是基於上述斷言方法的程式驗證系統，它是一階謂詞邏輯的擴充，用於證明程式的部分正確性。形式語義學是程式設計理論的主要組成部分。70年代程式設計理論研究的主要課題是大型程式的設計方法。對於複雜而龐大的大型程式設計，原先的簡單...
- 程式設計基礎——邏輯編程及C++實現
《程式設計基礎——邏輯編程及C++實現》是2003年高等教育出版社出版的圖書，作者是陸虹。簡介 本書是普通高等教育“十五”國家級規劃教材（高職高專教育），主要內容包括程式設計概述、數據類型與數據的輸入輸出、表達式語句、控制語句、數組...
- FPGA數字邏輯設計
《FPGA數字邏輯設計(21世紀大學本科計算機專業系列教材)》首先介紹了可程式器件、數字系統設計方法、電子設計自動化軟體、VerilogHDL程式設計方法等基礎知識。在此基礎上設計了18個實驗題目，從組合邏輯電路設計、時序邏輯電路到狀態機設計以及...
- 程式設計基礎:邏輯編程及C++實現實訓教程
程式設計概述、數據類型與數據的輸入/輸出、表達式與語句、控制語句、數組、指針與檔案、結構、函式等。《程式設計基礎：邏輯編程及C++實現實訓教程》可供示範性軟體職業技術學校、繼續教育學院、民辦高校、技能型緊缺人才培養使用，還可供...
- 微程式設計(由若干條微指令組成的序列)
在一般的控制器中這些控制都是由硬接線邏輯來實現的，在微程式控制器中這些基本操作是由存在於控制存儲器中的微程式段控制完成的，每個基本操作稱為微操作。微程式段由若干條微指令組成。微程式設計方法 在實際進行微程式設計時，應考慮...
- 編程(編定程式的中文簡稱)
編程：設計具備邏輯流動作用的一種“可控體系”【註：編程不一定是針對計算機程式而言的，針對具備邏輯計算力的體系，都可以算編程。】程式語言 機器語言 在計算機系統中，一條機器指令規定了計算機系統的一個特定動作。一個系列的計算機在...
- 程式選擇結構
《程式的選擇結構---條件語句》-教學目標分析：知識與技能 掌握c語言的條件語句的格式、功能、執行過程；能夠利用條件選擇語句編寫簡單的選擇結構的程式；掌握c語言的關係表達式、邏輯表達式等程式設計語言的基本知識。過程與方法 通過任務...
- 編程邏輯與結構化程式設計
1.1計算機與算法邏輯 1.2算法 1.3流程圖 1.4計算機、記憶體和輸入/輸出 1.5程式中的常見例程 1.6對流程圖的一般要求 1.7錯誤訊息 1.8零、正數和負數 1.9程式設計 1.10系統流程圖 1.11複習題 第2章結構化流程圖 2.1結構...
- 時序邏輯系統
（4）中斷：帶微處理器(MPU)的系統一般都能夠回響中斷信號或設備請求，產生控制邏輯，以暫時中斷程式執行，轉到特殊程式，為中斷設備服務，然後自動回到主程式。中斷錯誤主要是中斷線路粘附(此時系統操作非常 （5）信號衰減和畸變：長的並行...
- c語言程式設計(第四版)(2016年中國鐵道出版社出版的圖書)
《c語言程式設計（第四版）》是2016年中國鐵道出版社出版的圖書，本書主要內容包括：C語言概述、C語言的基本知識、順序和選擇結構程式設計、循環結構程式設計、函式、數組、指針、結構體等構造數據類型、檔案和綜合案例。內容簡介 C語言...
- 程式理論
在建立混合計算模型方面有三種不同的方法: 第一種稱為邏輯型混合計算模型方法，其基本思想是在時態邏輯基礎上引入時段和切變的概念。時段用於刻畫系統在時間區間上的連續變化，切變則表示系統中離散事件間的時序關係。第二種是程式設計型...
- 並行程式設計
為了提高計算機的運行速度和系統的處理能力，在總體設計和邏輯設計中廣泛採用並行操作技術，使各部件並行工作。要求作業系統具有並發性及資源共享，於是採用了並行程式設計，它是能夠同時執行2個以上運算或邏輯操作的程式設計技術。採用了並行...
- 邏輯程式設計語言
邏輯程式設計語言（logic programming language）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 一種基於謂詞邏輯的程式設計語言。出處 《計算機科學技術名詞 》第三版 ...
- 可編程式邏輯陣列
PLA具有結構規整、使用靈活等特點，廣泛套用於數字系統和VLSI晶片設計。PLA的結構原理 PLA的結構原理可用圖1矩陣圖說明。虛線上部分是“與邏輯陣列”作為輸入矩陣(也稱解碼矩陣)，接收輸入信號。虛線下部分是“或邏輯陣列”，作為輸出矩陣(...
- 可程式邏輯控制器(可程式控制器件)
存儲器容量是可編程式控制器本身能提供的硬體存儲單元大小，程式容量是存儲器中用戶套用項目使用的存儲單元的大小，因此程式容量小於存儲器容量。設計階段，由於用戶應用程式還未編制，因此，程式容量在設計階段是未知的，需在程式調試之後才...
- c語言程式設計(2017年2月科學出版社出版的圖書)
3.4 程式舉例 47 3.5 本章小結 51 練習題 51 第4章 選擇結構程式設計 57 4.1 選擇結構程式設計概述 57 4.2 關係運算符和關係表達式 57 4.2.1 關係運算符 57 4.2.2 關係表達式 58 4.3 邏輯運算符和邏輯表達式 59 4....
- 程式邏輯與思維:C語言
《程式邏輯與思維：C語言》是2021年電子工業出版社出版的圖書。內容簡介 本課程在人才培養方案中定位為專業基礎課程，同時也是學生進入軟體世界的"扇門”，起"根基”之重任。內容設計上以軟體開發生命周期為載體，打破傳統按章節模式，重構...
- c語言程式設計(2015年江寶釧、陳葉芳、賈曉雯、裘姝平編寫,清華大學...
習題344第4章選擇結構程式設計46 4.1算法及其描述方法46 4.1.1算法的基本概念46 4.1.2算法的表示方法47 4.2關係運算與邏輯運算51 4.2.1關係運算51 4.2.2邏輯運算52 4.2.3深入探討54 4.3運算符的優先權和結合性54 4.3...
- C語言程式設計——程式思維與代碼調試
《C語言程式設計——程式思維與代碼調試》是2019年7月電子工業出版社出版的圖書，作者是周幸妮。內容簡介 本書站在程式設計的角度，從程式和算法、數據、程式語句、指針、結構體、函式和檔案等基本的C語言要素講起，全面介紹C語言程式設計...
- C語言程式設計(第四版)(2018年清華大學出版社出版的圖書)
3.4 程式設計舉例 34 3.5 習題 35 第4章 選擇結構程式的設計 37 4.1 關係運算符和關係表達式 37 4.1.1 關係運算符及其優先次序 37 4.1.2 關係表達式 37 4.2 邏輯運算符和邏輯表達式 38 4.2.l 邏輯運算符...
- C語言程式設計(第2版)(2012年李澤中、孫紅艷、張智勇、劉玉利編寫,清華...
2.5.8 位邏輯運算 35 2.5.9 位移運算和位運算賦值 運算符 36 2.5.10運算符的優先權與結合性 37 2.6上機實訓 38 習題2 40 第3章順序程式設計 43 3.1C語句概述 43 3.2程式的三種基本結構 44 3.3賦值語句 46 3.4...
- 數字邏輯(人民郵電出版社)
數字邏輯是數字電路邏輯設計的簡稱，其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的，這些邏輯部件按其結構可分為組合邏輯電路和時序邏輯電路。組合邏輯電路是由與門、或門和非門等門電路組合...
