計算機(jī)程序或者軟件程序（通常簡稱程序）是指一組指示計算機(jī)每一步動作的指令，通常用某種程序設(shè)計語言編寫，運(yùn)行于某種目標(biāo)體系結(jié)構(gòu)上。
程序打個比方，一個程序就像一個用漢語（程序設(shè)計語言）寫下的紅燒肉菜譜（程序），用于指導(dǎo)懂漢語的人（體系結(jié)構(gòu)）來做這個菜。
通常，計算機(jī)程序要經(jīng)過編譯和鏈接而成為一種人們不易理解而計算機(jī)理解的格式，然后運(yùn)行。未經(jīng)編譯就可運(yùn)行的程序通常稱之為腳本程序（script）。
當(dāng)要求計算機(jī)執(zhí)行某項任務(wù)時，就設(shè)法把這項任務(wù)的解決方法分解成一個一個的步驟，用計算機(jī)能夠執(zhí)行的指令編寫出程序送入計算機(jī)，以二進(jìn)制代碼的形式存放在存儲器中（習(xí)慣上把這一過程叫做程序設(shè)計）。一旦程序被“啟動”，計算機(jī)就會嚴(yán)格地一條條分析執(zhí)行程序中的指令，便可以逐步地自動完成這項任務(wù)。[1]
程序 為了一個程序運(yùn)行，計算機(jī)加載程序代碼，可能還要加載數(shù)據(jù)，從而初始化成一個開始狀態(tài)，然后調(diào)用某種啟動機(jī)制。在最低層上，這些是由一個引導(dǎo)序列開始的。
在大多數(shù)計算機(jī)中，操作系統(tǒng)例如Windows等，加載并且執(zhí)行很多程序。在這種情況下，一個計算機(jī)程序是指一個單獨(dú)的可執(zhí)行的映射，而不是當(dāng)前在這個計算機(jī)上運(yùn)行的全部程序。
在一臺基于最常見的馮諾依曼體系結(jié)構(gòu)(又稱Harvard Architecture)的計算機(jī)上，程序從某種外部設(shè)備，通常是硬盤，被加載到計算機(jī)之內(nèi)。如果計算機(jī)選擇馮諾依曼體系結(jié)構(gòu)，那么程序就被加載入內(nèi)存。指令序列順序執(zhí)行，直到一條跳轉(zhuǎn)或轉(zhuǎn)移指令被執(zhí)行，或者一個中斷出現(xiàn)。所有這些指令都會改變指令寄存器的內(nèi)容。
基于這種體系計算機(jī)如果沒有程序的支持將無法工作。一個計算機(jī)程序是一系列指令的集合。
程序里的指令都是基于機(jī)器語言；程序通常首先用一種計算機(jī)程序設(shè)計語言編寫，然后用編譯程序或者解釋執(zhí)行程序翻譯成機(jī)器語言。有時，也可以用匯編語言編程，匯編語言實質(zhì)就是表示機(jī)器語言的一組記號。
數(shù)據(jù)可以被定義為被程序處理的信息。當(dāng)我們考慮到整個計算機(jī)系統(tǒng)時，有時程序和數(shù)據(jù)的區(qū)別就不是那么明顯了。中央處理器有時有一組微指令控制硬件，數(shù)據(jù)可以是一個有待執(zhí)行的程序（參見腳本編程語言），程序可以編寫成去編寫其它的程序；所有這些例子都使程序和數(shù)據(jù)的比較成為一種視角的選擇。有人甚至斷言程序和數(shù)據(jù)沒有區(qū)別。
編寫一個程序去生成另外一個程序的過程被稱之為原編程(Metaprogramming?)。它可以被應(yīng)用于讓程序根據(jù)給定數(shù)據(jù)生成代碼。單一一個程序可能不足以表示給定數(shù)據(jù)的所有方面。讓一個程序去分析這個數(shù)據(jù)并生成新的程序去處理數(shù)據(jù)所有的方面可能會容易一些。Lisp?就是一例支持這種編程模式的程序語言。
在神經(jīng)網(wǎng)絡(luò)里儲存的權(quán)重是一種數(shù)據(jù)。正是這些權(quán)重數(shù)據(jù)，跟網(wǎng)路的拓?fù)浣Y(jié)構(gòu)一起，定義了網(wǎng)絡(luò)的行為。人們通常很難界定這些數(shù)據(jù)到底表示什么或者它們是否可以由程序來代替。這個例子以及跟人工智能相關(guān)的其它一些問題進(jìn)一步考驗程序和數(shù)據(jù)的區(qū)別。
算法指解決某個問題的嚴(yán)格方法，通常還需輔以某種程度上的運(yùn)行性能分析。算法可以是純理論的，也可以由一個計算機(jī)程序?qū)崿F(xiàn)。理論算法通常根據(jù)復(fù)雜性分為不同類別；實現(xiàn)的算法通常經(jīng)過頗析(Profiling?)以測試其性能。請注意雖然一個算法在理論上有效可行，但是一個糟糕的實現(xiàn)仍會浪費(fèi)寶貴的計算機(jī)資源。（更詳細(xì)信息，參見算法信息論，Algorithmic Information Theory?）
編寫程序是以下步驟的一個往復(fù)過程：編寫新的源代碼，測試、分析和提高新編寫的代碼以找出語法和語義錯誤。從事這種工作的人叫做程序設(shè)計員。由于計算機(jī)的飛速發(fā)展，編程的要求和種類也日趨多樣，由此產(chǎn)生了不同種類的程序設(shè)計員，每一種都有更細(xì)致的分工和任務(wù)。軟件工程師和系統(tǒng)分析員就是兩個例子�，F(xiàn)在，編程的長時間過程被稱之為“軟??益成熟而逐漸流行。
因此，如今程序設(shè)計員可以指某一領(lǐng)域的編程專家，也可以泛指軟件公司里編寫一個復(fù)雜軟件系統(tǒng)里某一塊的一般程序員。一組為某一軟件公司工作的程序員有時會被指定一個程序組長或者項目經(jīng)理，用以監(jiān)督項目進(jìn)度和完成日期。大型軟件通常經(jīng)歷由系統(tǒng)設(shè)計師的掌握的一個長時間的設(shè)計階段，然后才交付給開發(fā)人員。
兩種當(dāng)今常見的程序開發(fā)方式之一是項目組開發(fā)方式。使用這種方式項目組里每一個成員都能對項目的進(jìn)行發(fā)表意見，而由其中的某一個人協(xié)調(diào)不同意見。這樣的項目組通常有15個左右的成員，這樣做是為了便于管理。第二種開發(fā)方式是結(jié)對開發(fā)。
