Cov lus nyuaj ua rau peb lub neej sib txawv thiab pab daws cov lus sib dhos. Cov kab lus no tuaj yeem txhais tau ntau yam. Los ntawm txoj kev, "kev txhais lus" yog dab tsi? Koj puas tuaj yeem nrhiav tau lub ntsiab lus ntawm lo lus no? Cov lus txhais lus yog dab tsi? Puas muaj txoj haujlwm zoo li no? Wb sim saib seb.
phau ntawv txhais lus
Raws li ib txwm nyob rau hauv cov ntaub ntawv ntawm kev txhais cov lus nyuaj, nws yog qhov zoo tshaj plaws los sab laj phau ntawv txhais lus thiab nrhiav lo lus " txhais lus " nyob ntawd. Lub ntsiab lus yog txhais, piav, kom meej.
Lub tswv yim no los ntawm Latin txhais lus, uas txhais tau tias "kev qhia meej". Cov phau ntawv txhais lus muab rau peb cov lus txhais hauv qab no:
- Kev txhais lus yog ib txoj hauv kev los txhais cov ntsiab lus nyuaj rau hauv cov ntawv sau yooj yim.
- Lub ntsiab lus nqaim yog siv los ntawm tib neeg. Ntawm no "txhais lus" txhais tau tias txhais cov ntawv uas tau hais los ntawm kev hais lus thiab epistemology.
- Hauv phau ntawv txhais lus philosophical, lub ntsiab lus no hloov me ntsis. Ntawm no lub ntsiab lus ntawm lo lus "interpretable" yogpiav qhia txog cov txheej txheem ntawm kev muaj nyob ntawm cov cai ntawm xwm raws li lawv txoj kev nkag siab los ntawm tib neeg lub siab.
Cia peb nyob ntawm cov ntsiab lus kom ntxaws ntxiv.
Humanities
Linguists txhais lub ntsiab lus ntawm lo lus "kev txhais lus" yog ib txoj hauv kev ua haujlwm nrog kos npe. Txhua tsab ntawv, pob zeb ntsiav tshuaj, qauv ntawm cov av nplaum yog npog nrog cov cim ntawm yav dhau los, uas niaj hnub science sim piav qhia. Tom qab tag nrho, ib qho ntawv los yog qauv muaj ntau cov cim thiab cov ntsiab lus. Cov ntawv txhais lus txhais tau tias nkag siab, vim hais tias kev txhais cov ntawv sau thaum ub tsis zoo ib yam li kev txhais lus. Qhov sib txawv yog pom zoo heev - raws li lub tshuab txhais lus los ntawm ib hom lus txawv teb chaws thiab cov kws tshaj lij. Nws tsis txaus los nyeem cov ntawv sau thaum ub, koj yuav tsum nkag siab tias cov neeg qub tau xav li cas thaum lawv kos cov cim txawv txawv no. Tsis xav tsis thoob ntau tus kws tshawb fawb tau nyiam ntseeg tias kev sau ntawv tau tshwm sim ntawm kev sib tshuam ntawm kev tshawb fawb thiab kos duab.
Qhov tsis meej ntawm cov lus sau ntau pua xyoo dhau los yuav tau ploj mus ntev rau cov kws tshawb fawb niaj hnub no. Peb txhais qhov tsis meej pem hauv peb tus kheej txoj kev. Qhov no txhais li cas rau kev nkag siab cov lus thaum ub? Lub tswv yim niaj hnub ntawm lub neej ntawm cov neeg uas nyob ntev ua ntej peb. Tom qab tag nrho, lub neej niaj hnub no kuj nplua nuj nyob rau hauv allegories thiab inconsistencies uas yog to taub rau ib tug neeg hais lus, tab sis lawv lub ntsiab lus yog poob rau hauv kev txhais lus. Peb tuaj yeem hais li cas yog tias cov ntawv hauv qab no tau sau ntev ua ntej peb yug los. Nrog kev pab los ntawm kev txhais lus, peb poob rau hauv lub ntiaj teb no ntawm ancients thiab sim sim rau cov tswv yim hais txog kev ua,ntev ua ntej peb.
Kev ntseeg
Qhov yuav tsum tau piav qhia cov ntawv ua cov khoom tshwj xeeb, kev paub tsis meej yog qhov tseeb tshaj plaws hauv kev ntseeg. Txhua lub ntsiab lus lossis lo lus tau txais nws tus kheej lub cim, tau rov txhais thiab piav qhia. Ntau qhov kev txhais lus ntawm cov xwm txheej paub zoo tau txhais tsis sib xws rau cov feem ntau lees txais. Ib qho piv txwv classic ntawm kev txhais lus hauv cov ntseeg Vajtswv yog ntau yam apocrypha tsis suav nrog cov ntawv canonical, xws li Txoj Moo Zoo ntawm Thomas lossis Protoevangelium ntawm James.
Exact sciences
Hauv kev ua lej thiab lwm yam kev tshawb fawb tiag tiag, qee qhov kev txhais lus yeej ib txwm hais. Txhua txoj kev xav lej yog ua raws li tej yam uas los ntawm qhov pib tsis xav tau kev piav qhia lossis pov thawj. Cov piv txwv yooj yim tshaj plaws ntawm cov qauv tsim qauv yog Euclidean geometry, uas ua rau nws tag nrho lub hauv paus ntawm theorems ntawm ob peb axioms. Txhua qhov theorem tom ntej no ua rau ntawm qhov dhau los. Xws li ib tug ntaiv qhia meej meej qhov kev txhais ntawm theoretical kev tsim kho nyob rau hauv niaj hnub science feem ntau. Qhov yooj yim ntawm kev tshawb pom ntawm lub sijhawm Renaissance yog ib qho ntawm yav dhau los - txij li xyoo 19th, txhua qhov kev tshawb nrhiav lej pib nrog qee qhov kev xav uas tsis xav tau pov thawj. Qhov no yog li cas lub geometry ntawm Lobachevsky thiab Riemann sawv. Tam sim no kev txhais lus yog lub hauv paus ntsiab lus ntawm kev siv lej, uas, ua raws li cov hauv paus ntsiab lus pom zoo, tuaj yeem daws teeb meem ntawm qhov kev txiav txim siab heev.
Science
Thaum pib lub Hnub Nyoog Tshiab, ib qho tseem ceeb loj tau sau rau hauv lub nra ntawm noob neejqhov tseeb thiab cov lus piav qhia uas yuav tsum tau muab faib thiab txhais. Yog li ntawd, lub hauv paus ntsiab lus ntawm "teem qhov kev sim thiab nrhiav qhov ua rau ntawm qhov tshwm sim" los ntawm lub sijhawm ntawd tau dhau los ua ib qho ntawm yav dhau los. Nyob rau hauv natural sciences, ntau thiab ntau complex thwmsim tau nqa tawm nyob rau hauv lub hauv paus ntawm txoj kev xav muab rau pem hauv ntej. Lub ntsiab lus ntawm lo lus "txhais lus" tau dhau los ua qhov sib txawv me ntsis - los piav qhia cov txiaj ntsig tau los ntawm lub hauv paus ntawm txoj kev xav. Txhua qhov kev txiav txim siab tau raug txheeb xyuas los ntawm kev soj ntsuam thiab kev sim. Kev txhais cov txiaj ntsig ntawm cov kev sim no tau txuas ntxiv lub neej ntawm qee qhov kev xav lossis rhuav tshem lwm tus mus rau hauv av.
Programming
Kev kawm raws li kev tshawb fawb yog nyob ntawm kev sib tshuam ntawm lej thiab lus. Programmers siv cov cim lej, hloov lawv mus rau hauv cov kev pab cuam uas siv cov cai ntawm kev hais lus. Nws tsis yog rau tsis muaj dab tsi uas txhua lub tshuab kos npe siv hauv kev sau cov kev pab cuam yog hu ua hom lus - thaum ntaus ib qho kev pab cuam, ntau yam lus siv paub los ntawm cov lus nyob, cov cai tswj hwm, thiab lwm yam.
Ib hom lus programming yuav tsum tau ua kom ua tiav qee yam kev ua nrog cov ntaub ntawv. Cov kev ua no yuav tsum tau ua los ntawm "lub hlwb" ntawm lub computer - nws cov processor. Tab sis tag nrho cov teeb meem nyob rau hauv qhov tseeb hais tias tus processor nkag siab tsuas yog nws tus kheej, theej txwv cov lus qhia. Txhawm rau kom tus processor nkag siab tias nws yuav tsum ua dab tsi, cov neeg suav sau thiab cov neeg txhais lus tau tsim.
Compilers
A compiler yog ib qho kev pab cuam uas hloov tus programmer cov ntawv rau hauv cov lus qhia tshuab. Raws li kev hloov dua siab tshiab pib, xws li cov kev pab cuam compiler taw qhia qhov yuam kev (syntactic,Piv txwv). Yog li ntawd, cov ntaub ntawv ncaj qha executable yuav tsis muaj qhov yuam kev lawm. Cov lus uas tau sau ntau tshaj plaws yog Pascal, Assembler, Delphi, C, C++.
txhais lus
Tseem muaj cov lus tshwj xeeb, kev ua haujlwm uas peb tig tsis mus rau lub processor, tab sis mus rau cov lus nruab nrab, cov lus txhais lus. Qhov kev pab txhais lus ua ib kab-los-kab tsom xam ntawm qhov kev zov me nyuam thaum nws tuaj txog ntawm cov tswv yim ntawm qhov kev zov me nyuam. Qhov tshwm sim yog ib txheej ntawm cov cim uas tus processor tuaj yeem nkag siab thiab ua tiav. Hauv ib cheeb tsam programmer, tus neeg txhais lus yog lub tshuab virtual.
Cov txheej txheem mus zoo li no: thawj qhov kev zov me nyuam tau hloov mus rau hauv qee qhov kev cai lij choj, ib txheej ntawm cov lus txib nkag siab rau qhov kev pab txhais lus. Piv txwv li, code sau hauv C (C-sharp) hloov mus rau hauv Lus Nug Nruab Nrab, ib hom lus nkag siab rau Net Framework ib puag ncig.
Qee lub sij hawm ib qho kev txhais lus tso cai rau ib qho kev pab cuam ua haujlwm yam tsis muaj tus neeg nruab nrab, piv txwv li, ib tsab ntawv JavaScript raug coj ncaj qha los ntawm browser. Hauv qhov no, thaum kuaj pom qhov yuam kev, qhov kev zov me nyuam tsis muaj kev xaiv tab sis cuam tshuam kev ua tiav ntawm cov lus txib thiab nthuav tawm qhov yuam kev rau tus programmer. Cov lus txhais programming yog PHP, JavaScript, C.
Results
Cia peb rov qab los rau peb cov neeg txhais lus. Hauv kev hais lus niaj hnub no, lo lus "interpretable" kuj tshwm sim. Lub tswv yim no txhais tau tias "ua kom pom tseeb rau kev nkag siab". Nws yog nyob rau hauv lub siab hais tias lo lus yog siv nyob rau hauv kev sib txuas lus txhua hnub. Muaj txawm ib tug profession ntawm "interpreter". Qhov no yog ib tug engineer uas txheeb xyuas tag nrho cov ntaub ntawv tsim nyog los tswj cov mining. Xws li kev siv ntau yam ntawm lo lus paub zoo yuav ua rau muaj qhov tshwm sim ntawm lwm lub ntsiab lus ntawm lo lus "tus neeg txhais lus". Tab sis yav tom ntej yuav qhia deb npaum li cas cov txiaj ntsig tshiab yuav nyob ntawm qhov pib.
