SLS1508 KJ2201X1-BA1 12P3162X112 EMERSON DeltaV邏輯求解器

　　型號(hào)：SLS1508 KJ2201X1-BA1 12P3162X112

　　品牌：EMERSON

　　重量：1.06磅

　　產(chǎn)品描述

　　邏輯編程的要點(diǎn)是將正規(guī)的邏輯風(fēng)格帶入計(jì)算機(jī)程序設(shè)計(jì)之中。數(shù)學(xué)家和哲學(xué)家發(fā)現(xiàn)邏輯是有效的理論分析工具。很多問題可以自然地表示成一個(gè)理論。說需要解答一個(gè)問題，通常與解答一個(gè)新的假設(shè)是否跟現(xiàn)在的理論無沖突等價(jià)。邏輯提供了一個(gè)證明問題是真還是假的方法。創(chuàng)建證明的方法是人所皆知的，故邏輯是解答問題的可靠方法。邏輯編程系統(tǒng)則自動(dòng)化了這個(gè)程序。人工智能在邏輯編程的發(fā)展中發(fā)揮了重要的影響。