南昌左傳實業(yè)有限公司
移動電話：13687088555（張經(jīng)理）
客服QQ：7113911 43955769
傳真：0791-86452423
聯(lián)系電話：0791-86452423
客服信箱：43955769@qq.com
邏輯是一門重要的科學(xué)，任何一門嚴(yán)密的學(xué)科，都離不開嚴(yán)格的邏輯推理。沒有嚴(yán)格的邏輯的事物是混亂的、不科學(xué)的，任何自稱是科學(xué)的理論都必須經(jīng)過邏輯的檢驗，如果不能通過，決不能成其為科學(xué)。但是邏輯的內(nèi)容確實并不豐富多彩，它只有一些推理法則、推演公式，類似數(shù)學(xué)的公理系統(tǒng)。正是因為如此，在數(shù)學(xué)里形成了一門《數(shù)理邏輯》的學(xué)科。在一開始，一些人認(rèn)為那只是符號的演繹，不會有實際意義。但是它的或、與、非……的推演系統(tǒng)與電子科學(xué)結(jié)合，就形成了現(xiàn)在的電子計算機(jī)的設(shè)計的理論基礎(chǔ)從而得到最為有效的廣大、深度的應(yīng)用，可以說沒有數(shù)理邏輯就沒有現(xiàn)代電腦，這遠(yuǎn)遠(yuǎn)超出了人們（包括理論開創(chuàng)者）的想象。 數(shù)學(xué)——邏輯——數(shù)學(xué)，這是現(xiàn)代數(shù)學(xué)的最為重要的發(fā)展模式之一。
