時(shí)序邏輯

在計(jì)算機(jī)出現(xiàn)后的最初幾十年里，計(jì)算機(jī)實(shí)質(zhì)上是一個(gè)巨大的計(jì)算器，數(shù)字被錄入，計(jì)算結(jié)果被輸出。直到20世紀(jì)70年代，科學(xué)家們才意識(shí)到需要正確地驗(yàn)證這些計(jì)算結(jié)果。隨著電腦變得更強(qiáng)大，軟件更先進(jìn)，多任務(wù)和變化的數(shù)據(jù)核查變得更加困難。

在計(jì)算機(jī)出現(xiàn)后的最初幾十年里，計(jì)算機(jī)實(shí)質(zhì)上是一個(gè)巨大的計(jì)算器，數(shù)字被錄入，計(jì)算結(jié)果被輸出。直到20世紀(jì)70年代，科學(xué)家們才意識(shí)到需要正確地驗(yàn)證這些計(jì)算結(jié)果。隨著電腦變得更強(qiáng)大，軟件更先進(jìn)，多任務(wù)和變化的數(shù)據(jù)核查變得更加困難。收起