Информатиканың іргелі негіздері
жүктеу/скачать 1.13 Mb.
|
| Логика және компьютер.
Компьютер (ағылш. computer — «есептегіш»), ЭЕМ (электрондық есептеуіш машина) — есептеулерді жүргізуге, және ақпаратты алдын ала белгіленген алгоритм бойынша қабылдау, қайта өңдеу, сақтау және нәтиже шығару үшін арналған машина. Компьютер дәуірінің бастапқы кезеңдерінде компьютердің негізгі қызметі — есептеу деп саналатын. Қазіргі кезде олардың негізгі қызметі — басқару болып табылады. «Компьютер» сөзі ағылшын тілінен аударғанда есептеуіш , емептеуге арналған құрылғы дегенді білдіреді. Компьютерлер есептеу операцияларының қатарларын адамның қатысуынсыз, алдын ала көрсетілген нұсқаулық – бағдарлама бойынша жүргізуге мүмкіндік береді. Есептеуіш техниканың қазіргі тарихының негізі 1943 жылы «Марк-1» машинасының дүниеге келуінен бастап қаланды. Компьютерлердің алдыңғы буындары шамдық есептеуіш машиналар болатын, олардың орнын транзисторлы электронды есептеуіш машиналар (ЭЕМ), содан кейін – интегралды сызбалар пайдаланылатын электронды есептеуіш машиналар және ең ақырында, қазіргі таңда аса үлкен интеграциялық деңгейлі сызбалар пайдаланылатын ЭЕМ басты. Негізгі принциптері: Өзінің алдына қойылған тапсырманы орындау үшін компьютер механикалық бөліктердің орын ауыстырылуын, электрондардың, фотондардың, кванттық бөлшектердің ағынын немесе басқа да жақсы зерттелген физикалық құбылыс әсерлерін қолданады. Көбімізге компьютерлердің ең көп таралған түрі — дербес компьютер жақсы таныс. Компьютер архитектурасы алға қойылған мәселені, зерттеліп отырған физикалық құбылысты максималды айқын көрсетіп, модельдеуге мүмкіндік береді. Мысалы, электрондық ағындар бөгеттер салу кезіндегі су ағынының үлгісі ретінде қолданылуы мүмкін. Осылай құрастырылған аналогтық компьютерлер XX ғасырдың 60-жылдары көп болғанымен, қазір сирек кездеседі. Қазіргі заманғы компьютерлердің басым бөлігінде алға қойылған мәселе әуелі математикалық терминдерде сипатталады, бұл кезде барлық қажетті ақпарат екілік жүйеде (бір және ноль ретінде) көрсетіледі, содан кейін оны өңдеу үшін қарапайым логика алгебрасы қолданылады. Іс жүзінде барлық математикалық есептерді бульдік операциялар жиынына айналдыруға болатындықтан, жылдам жұмыс жасайтын электронды компьютерді математикалық есептердің, сонымен қатар, ақпаратты басқару есептерінің көпшілігін шешу үшін қолдануға болады. Бірақ, компьютерлер кез келген математикалық есепті шеше алмайды. Компьютер шеше алмайтын есептерді ағылшын математигі Алан Тьюринг сипаттаған болатын. Орындалған есеп нәтижесі пайдаланушыға әр түрлі енгізу-шығару құрылғыларының көмегімен көрсетіледі, мысалы, лампалық индикаторлар, мониторлар, принтерлер және т.б. Компьютер — жай ғана машина, ол өзі көрсетіп тұрған сөздерді «түсінбейді» және өз бетінше «ойламайды». Компьютер тек қана бағдарламада көрсетілген сызықтар мен түстерді енгізу-шығару құрылғыларының көмегімен механикалық түрде көрсетеді. Адам миы экрандағы көріністі қабылдап, оған белгілі бір мән береді. ЭЕМ қатысуымен шешілетін есептердің ішінде, әдетте логикалық деп аталатын есептер де аз емес. Логика- бұл адам ойлауының түрлері мен заңдары туралы, оның ішінде дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым. Ғылыми пән ретінде логиканың формальды, математикалық ықтималдықты логика және т.б. түрлері қалыптасқан. Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты. Ықтималдық логика – кездейсоқ параметрлермен жасалатын сынақтың бірнеше серияларын қолдануға негізделген. Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді. Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды, ол алғаш рет 19 ғасырдың ортасында ағылшын математигі Джордж Бульдің еңбектерінде пайда болды. Бұл - дәстүрлі логикалық есептерді алгебралық әдістермен шешуге талаптанудың нәтижесі), информатикада жақсы меңгерілген. Логика алгебрасының математикалық аппараты компьютердің аппараттық құралдарының жұмысын сипаттауға өте қолайлы, өйткені компьютердегі екілік санау жүйесі болып табылады, өздерін білесіңдер, онда екі цифр: 0 мен 1 қолданылады, ал логикалық айнымалылардың мәндері де 2: 0 және 1. Пікір дегеніміз – жалған немесе ақиқат болуы мүмкін қандай да бір пайымдау. Мысалы, «Қара –ақ», «2*2=4» деген ақиқат, ал «тау тегіс », «2*2=5» деген –жалған пікірлер. Егер пікір айтылған ой обьектілерінің кез келгені үшін рас болса, онда жалпы пікір тепе тең ақиқат деп аталады. Мысалы, «иттің төрт аяғы бар» пікірі кез келген ит үшін рас. Күрделі жағдайларда сұрақтардың жауабы ЖӘНЕ, НЕМЕСЕ, ЕМЕС логикалық жалғаулықтарын пайдаланып, құрамды пікірелер арқылы беріледі. Логикалық жалғаулықтардың көмегімен басқа пікірлерден құрастырылған пікірлерді құрамды деп атайды. Құрамды емес пікірлерді қарапайым немесе элементар деп атайды. Құрамды пікірдегі ЖӘНЕ жалғаулығы әрқашан құраушы пікірлердің бәрін ақиқат деп ұйғарады. Барлық компьютерлік бағдарламада және математикалық пайымдауда немесе жалғаулығы тек біріктіруші ролде түсініледі. Мысалы: х=0 немесе у=0 пайымдауындағы немесе жалғаулығы не у=0 не х=0, у=0 және х=0 дегенді білдіреді. жүктеу/скачать 1.13 Mb. Достарыңызбен бөлісу:
|