Компьютердің логикалық негіздері. Логикалық пікірлердің негізгі түсініктері. Логикалық операциялар.
Логика – бұл адам ойлауының түрлері мен заңдары туралы, оның ішінде дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым.
Ғылыми пән ретінде логиканың
Формальды математикалық ықтималды
Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты.
Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме-дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді.
Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды.
Қазіргі кезде пікірлер алгебрасының негізгі операциялары енбейтін бірде-бір программалау тілі жоқ. Логикалық есептерде тек сандар ғана емес, күтпеген, тым шиеленісті пікірлер де бастапқы деректер болып табылады.
Достарыңызбен бөлісу: |
