因?yàn)橛?jì)算機(jī)的歷史發(fā)展，數(shù)學(xué)邏輯奠定了計(jì)算機(jī)硬件和操作的基礎(chǔ)。計(jì)算機(jī)史上的一篇跨時(shí)代論文：克勞德·香農(nóng)對(duì)開(kāi)關(guān)繼電器電路的符號(hào)分析受到喬治·布爾對(duì)思維規(guī)律研究的啟發(fā)。今天，布爾運(yùn)算在計(jì)算機(jī)科學(xué)家中非常有名

因?yàn)橛?jì)算機(jī)的歷史發(fā)展，數(shù)學(xué)邏輯奠定了計(jì)算機(jī)硬件和操作的基礎(chǔ)。

計(jì)算機(jī)史上的一篇跨時(shí)代論文：克勞德·香農(nóng)對(duì)開(kāi)關(guān)繼電器電路的符號(hào)分析受到喬治·布爾對(duì)思維規(guī)律研究的啟發(fā)。今天，布爾運(yùn)算在計(jì)算機(jī)科學(xué)家中非常有名（在許多編程語(yǔ)言中都有稱為“布爾”的基本數(shù)據(jù)類型），但在1938年，除了哲學(xué)界的人，很少有人會(huì)讀他的書。Shannon在大學(xué)哲學(xué)課上偶然發(fā)現(xiàn)了Boole的工作，后來(lái)對(duì)它發(fā)表了評(píng)論：“巧合的是，當(dāng)時(shí)沒(méi)有人對(duì)這兩個(gè)領(lǐng)域都很熟悉?！?/p>

Shannon展示了如何使用布爾邏輯來(lái)創(chuàng)建一個(gè)可以將兩個(gè)二進(jìn)制數(shù)相加的電路。通過(guò)串聯(lián)這些電路，可以構(gòu)造任何復(fù)雜的算術(shù)運(yùn)算。這些電路現(xiàn)在稱為算術(shù)邏輯單元。這個(gè)基本組件是現(xiàn)代計(jì)算機(jī)的關(guān)鍵組件，從超級(jí)計(jì)算機(jī)到移動(dòng)電話。

這也符合“一個(gè)世紀(jì)的哲學(xué)是下一個(gè)世紀(jì)的常識(shí)”的說(shuō)法，哲學(xué)激發(fā)科學(xué)技術(shù)，技術(shù)改變?nèi)祟惿睢?/p>

學(xué)習(xí)計(jì)算機(jī)為什么對(duì)數(shù)理邏輯要求很高？

數(shù)理邏輯是數(shù)學(xué)的一個(gè)分支，它用數(shù)學(xué)的方法來(lái)研究邏輯或形式邏輯。它是由德國(guó)數(shù)學(xué)家大衛(wèi)希爾伯特創(chuàng)立的。他的思想可以追溯到萊布尼茨，起源于古希臘的亞里士多德。萊布尼茨認(rèn)為，必須對(duì)傳統(tǒng)的古典邏輯進(jìn)行改革和發(fā)展，使之更加精確和易于計(jì)算。數(shù)理邏輯是在萊布尼茨的思想指導(dǎo)下，由一些先驅(qū)者逐步完善和發(fā)展起來(lái)的。

目前計(jì)算機(jī)與信息專業(yè)的離散數(shù)學(xué)課程包含了數(shù)理邏輯的教學(xué)內(nèi)容，但僅限于一些基礎(chǔ)知識(shí)。一般來(lái)說(shuō)，在本科階段沒(méi)有數(shù)理邏輯的專門課程。數(shù)理邏輯的教學(xué)并不陌生。例如，中學(xué)的歐幾里德幾何涉及到很多邏輯推理問(wèn)題。

人類社會(huì)正處于信息時(shí)代。在這個(gè)時(shí)代，科學(xué)技術(shù)的各個(gè)領(lǐng)域都需要用計(jì)算機(jī)來(lái)處理大量的信息，以實(shí)現(xiàn)科學(xué)技術(shù)的數(shù)學(xué)化。數(shù)理邏輯將在其中發(fā)揮關(guān)鍵作用。