Seo ho lipuo ka puo ea khale ka ho thoeng? mehlala tsa tšebeliso

ke eng puo ka puo ea khale 'me moo e fapane le tsa tlhaho? Moo e ileng ea thehoa? Seo ho lipuo ka puo ea khale ka ho thoeng? 'Me e sebelisoa ho bua ka eena?

Litšobotsi tsa lipuo ka puo ea khale

Kahoo re ile ra letsetsa sehlopha sa lipuo maiketsetso, tse tsejoang ka melao e tobileng mabapi le kaho ea lipolelo tse, hammoho le kutloisiso ea bona. tsamaiso ea sebelisetsoa merero indasteri ka ngotsoe ke lipuo ka puo ea khale. Di hahiloeng ka hore a latele melao e hlakileng, e fana ka tsela e lumellanang, diseke ee le nepahetseng bontshiweng ya thepa le likamano tsa ithuta sebakeng seo a thuto.bafuputsi kapa bopile beha dintho. Boleng le moelelo oa matšoao a ho ke ke ho fetoloa ke makgetheng efe kapa efe pragmatic (tshebediso ya moelelo oa taba). Sena se ka etsahala ka lebaka la ho ba teng ka puo eo ka puo ea khale ea melao ea hokahanngoang ho sokoloha le tlhaloso labeled semantic. Ba ba atisa ho hahoa ho sebelisoa ka tlaase ea thuto ea lipalo. Ka lebaka la 'nete ea hore le lona, ka nako eohle ea ntshetsopele, o ile a sebelisa mefuta e fapaneng ya litlotla tšoantšetso ba' nile ba sebelisoa ho mefuta e fapaneng ya maikutlo le dintho tse itseng. Hore 's seo e hloka lipuo ka puo ea khale. Ba ile ba ka fokotsa ya data. Pejana ho moo, hammoho le lipuo tse etsoang ho latela molao le mokhoa oa tlhaho 'nile tsa sebelisoa, empa le complication butle-butle ka taba' me ho hlokahala hore a etse ka tieo utloahalang ho hlahloba monahano oa thuto ea lipalo, ho ile ha etsoa qeto ea ho lahla tse fetileng. Tšebetso ena e ile ea nka ho tswa ho XVII ho XX lekholong la lilemo la. Ho tse lekholo tse fetileng e nkoa e le tse behang ho fetisisa ka ho ya ka lipuo ka puo ea khale. makala a fapa-fapaneng e khethehileng li ile tsa bōptjoa. Ho joalo, bakeng sa saense ea ya khomphuta ya hao ke ea lipuo tse itseng mananeo bohlokwa le aljibra la mabaka a, e seng feela mogopolofela, empa hape ho tswa ho ntlha e sebetsang ka eona.

tlhaloso

Seo ho lipuo ka puo ea khale ka ho ngotsoe, re na le se ka bokhutšoanyane hlalosa. Empa ke eng seo re ka re ka bona? puo Formal o fuoa tse ngata tsa litlhaloso tse sa tšoaneng. Ho thathamisa bona tsohle, ho tla siea nako e ngata, kahoo nka look at the ratoang haholo:

1. Lenane e bonolo mantsoe ka puo eo - hangata re e le mabapi le mofuta o le ho qetela ho e haha le ka ba hore na le sebopeho bonolo.
2. Mantsoe a generated ke itseng sebōpeho-puo ka puo ea khale.
3. Sebopeho bōpiloe ke lipoleloana kamehla.
4. Mantsoe a generated ke BPF-moralo.
5. Sebopeho, amogelwang ke automaton lekanyelitsoeng.

A re ke re sheba mohlala. A re re re na le alfabeta kakaretso, fuoa linomoro tse peli 1 le 0. Ho bontša lengolo "O", re sebelisa motsoako oa 1010001. Sena ke tšebeliso ea puo e ka puo ea khale. Hape, hoa khoneha ho sebelisa mantsoe a nang letho (ha khoele na lefela bolelele, 'me ha ho letho) le lebitso le khethehileng ka mokgwa tloaelehileng ho rona. Empa ka ho qaqileng ho feta ho utloisisa seo ke puo puo ea khale, thusa 4 mehlala hore o tla fuoa ho se tlang. Ho etsa? Le kutloisiso 'mali e ne e le hore ho na le puo e ka puo ea khale ka thoeng. Empa ho se hokae ka tsela eo ba li bōpileng.

Kaho ea lipuo ka puo ea khale

E mong le e puo ke sebopeho tlhwaafetseng hore o ne a bōpiloe hang le motho e mong. Ba atisa ho hahoa mohlaleng o tšoanang:

1. Ho qala, khetha e alfabeta, kapa ba bang ba sete ya litlhaku tse tobileng tse tla hahuoa le lipolelo sebelisoa ka puo eo. Ke puo ya semmuso ke tsela efe kapa efe ho Lenaneo la ho sebelisa k'homphieutha.
2. E hlalosa hokahanngoang ka, ke hore, litšobotsi tse le melao ea tla hahela lipolelo nang le morero.
3. Ka melao e itseng bakeng sa mantswe a le lipolelo. Mona ho na le busa: tatelano efe kapa efe ya mangolo e lokela ho ba khona ho bala mantsoe a.

Ke puo ka puo ea khale e bua ka sebopeho leha e le efe e nang le melao e hlakileng - e lokela ho a hopola. Ha ke sa haha, ho na le tse ling tse. Kahoo, poleloana e reng "le ditlhaka" haholo selotlolo tshebediso ya ka ho ya ka moelelo, kahoo ka nako e ngata o ile a sebelisa poleloana e reng ka "lengolo". Empa ka tlas'a bona ba ka ba tla a utloisisa ha feela notation tloaelehileng bakeng sa rōna, empa hape le ka masakaneng, litlhaku tse khethehileng, le tse ling. Hona ho sebetsa feela ho lipuo ka puo ea khale.

MOHLALA 1

A re ke re qala ka ea 1 le 0. Maemong a joalo, sebelisa eketsehileng khopolo ea "poleloana e reng" le "moralo." Pele o nka khato e le manaka ba ntho e le lebitso la sebelisoa ha ho buuoa ka ntho e 'ngoe e itseng. Pele ho tsohle ho utloisisa lulang li le divariabole motho tlas'a bona. Ho bana, le eena, a haha mehaho e rarahaneng ho feta, e leng e sebelisoa ho sebediswa ka ho ba bang ba mosebetsi puo. Tlasa dipehelo tsa sehlopha ho utloisisa ka moralo wa, tšebeliso ea eo ka itseng puo mananeo ke ho ka khonehang. Sena "taeo" e tla sebetswa, mme motho o tla fumana lebaka batlang.

MOHLALA 2

Nahana ka mohlala utloahalang eo ho eona ho ke e pitikololo (, ¬), disjunction (∧), ea kopanelo (∨) le bolela'ng (⇒) le batho ba bang ba 'maloa. Ka ho rekota e joalo ea litšoantšo ka fuoa e le:

1. A;
2. A∧V ⇒ ¬A
3. , ¬ (A∨¬S)

Ka litlhaku tseo A, B, C, ka nkang sebaka sa divariabole le o fumana ya tshebetso e utloahalang. Moo ho sebelisa lipuo tse etsoang ho latela molao oa mofuta oo? Tshebediso atile tsa mochine joalo e fumanoa ka lipuo tse mananeo a, thuto ea lipalo, likamano, mesebetsi e utloahalang le thuto ea lipalo, kapa likarolo tse ling tsa tsona li 'nile oa hlalosoa ke a thulaganyo ya.

MOHLALA 3

A re ke re sheba ka mekhoa e rarahaneng ho feta e utloahalang:

, ¬ (A∨¬S) ⇔ ¬A∧S = 1

Ke ke hobane'ng ha re hloka lipuo ka puo ea khale. Ak'u nahane u se neng se tla be ho etsahetse'ng haeba e ne a hlalosoa ka mantsoe a? Joale, e thehiloeng ka moralo o ka re itemogela eng go liqeto. lipoleloana nang le morero ka fumaneha ka puo eo ka puo ea khale feela ha melao e itseng ea hlomphehang ea pele ho sebopeho, phetoho le "kutloisiso ea" ea mekhoa le dipehelo tseo ba li etsoa:

1. mekhoa kaho poleloana e reng 'me;
2. Ho ithuta e leng tšobotsi ea labeled semantic le tlhaloso;
3. Tatelano ya e mong oa mekhoa le tse ling tse telele.

E mong le e puo tlhwaafetseng lokela ho hantle e thehilweng beha melao.

MOHLALA 4

Ka lebaka la ho ba teng ka melao ea puo hokahanngoang khumo bakeng sa mantsoe a le mekhoa e ka etswa dikai isomorphic phetoho. Gore e tle e tla etsoa ha feela ponahatso (setšoantšo sa) le 'mele oa itseng oa tsebo e se e le teng, empa e ka fumana boitsebiso bo bocha. Ho feta moo, phetoho Leha ho le joalo, 'me e ke e etsahale ho ea ka melao e hlakileng le e ka tieo, ho ka km gana. dithekeniki tšoanang li sebelisoa tsamaiso ea setsebi, makalana tsebo, 'me lihlahisoa tsa software e le etse qeto tšehetso.

bofello

lipuo ka puo ea khale ba ho pharaletseng sebelisoa ka saense, haholo-holo ka tsebo. Nakong ea liphuputso tsa saense le ho kenngwa tshebetsong ha mesebetsi e sebetsang ba ka kopana le tlhaho, ka lebaka la ho e khōlō bokhoni itlhalosang ea bobeli. Leha ho le joalo lipuo ka puo ea khale ka mokhoa o nepahetseng haholoanyane fetisa tsebo e le hore a phethe le sepheo phapanyetsano ya tlhahisoleseding bokeletseng ke moloko oa batho.