Компьютердің логикалық негіздері
жүктеу/скачать 15.84 Kb.
|
|
Компьютердің логикалық негіздері. Логикалық пікірлердің негізгі түсініктері. ЭЕМ қатысуымен шешілетін есептердің ішінде, әдетте логикалық деп аталатын есептер де аз емес. Логика бұл адам ойлауының түрлері мен заңдары туралы, оның ішінде дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым. Ғылыми пән ретінде логиканың бірнеше нүсқалары дараланады: Формальды логика; Математикалық логика; Ықтималды логика; Диалектикалық логика және т.б. Адам әртүрлі кесте құрғанда, бір бірне қайшы келетін куәлар жауаптарының дұрысын анықтағанда және басқа көптеген жағдайларда логиканың көмегіне жүгінеді. Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты. Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді. Математикалық логиканың саласы пікірлер алгебрасы ретінде информатикада жақсы меңгерілген. Логика алгебрасының математикалық аппараты компьютердің аппараттық құралдарының жұмысын сипаттауға өте қолайлы, өйткені компьютердегі негізгі екілік санау жүйесі болып табылады, онда екі цифр: 0 мен 1 қолданылады, ал логикалық айнымалылардың мәндері де: 0 және 1. Бұл компьютердің бір ғана құрылғылары екілік санау жүйесінде ұсынылған сандық ақпаратты да, логикалық айнымалыларды да өңдеу және сақтау үшін қолданыла алады. Демек, компьютерді конструкциялағанда, оның логикалық функциялары схемаларының жүмысы айтарлықтай жеңілденеді және қарапайым логикалық элементтердің саны азаяды. Компьютердің негізгі тораптары ондаған мың осындай логикалық элементтерден тұрады. Қазіргі кезде пікірлер алгебрасының негізгі операциялары енбейтің бірде бір программалау тілі жоқ. Логикалық есептерде тек сандар ғана емес, күтпеген, тым шиеленісті пікірлер де бастапқы деректер болып табылады. Мысал: Өзенніңжағасындатұрғанқайығы бар шаруаныңқасқыры, ешкісі, орамжапырағы бар. Шаруаөзенніңекіншіжағалауынақасқырды, ешкініжәнеорамжапырақтыөткізуікерек. Қайыққышаруаныңөзіненбасқа, тек қасқыр, не ешкі, не орамжапыраққанасияды. Қасқырдыешкіменнемесеешкініорамжапырақпенқараусызқалдыруғаболмайды, өйткеніқасқырешкіні, ал ешкіорамжапырақтыжепқоюымүмкін. Мұндайжағдайдашаруа не істеукерек? Бұлесепте арифметика емес, пайымдауүстемдікетеді. 1. Егерқасқырдыалыпкетсе, ондаешкіорамжапырақтыжепқояды. 2. Егерорамжапырақтыалыпкетсе, ондақасқырешкініжепқояды. 3. Ендеше, еңалдыменешкініалыпөтукерек, өйткеніқасқырорамжапырақжемейді. Бұлесептікомпьютердешешкендебағдарламадашартқолданылатынлогикалықоперациялардыпайдаланукерек. Адамдарақпараталмасқандағықатынастүрлерініңбірібұлсұрақтар мен жауаптардыкезектестіру. Әрбірсұрақбіздіқоршағанзатәлемітуралымағлұматтардыбілуқажеттігінбілдіреді. Бұлбілімдібізпайымдаутүріндеайтамыз. Пайымдау, әдеттетікелейбақыланатынфактілердікөрсетеалады. Алайдапайымдаулардаойданшығарылғанобьектілернемесеәліболыпүлгермегеноқиғалартуралытұжырымдар да айтылуымүмкін. Пікірдегенімізжалғаннемесеақиқатболуымүмкінқандай да бірпайымдау. Әдеттебізбақылайтынфактілерақиқатретіндеқабылданады. Жалғанпайымдаулар, көбінесе, пайымдаулар мен ұйғарымдардағықателерденнемесесондайболсаекендегентілегіміздішындықретіндекөрсетугетырысуданпайдаболады. жүктеу/скачать 15.84 Kb. Достарыңызбен бөлісу:
|