Логикалық есептеу
Логикалық есептеу
Логикалық есептеу — логиканың танымдық мәселелерді шешу тәсілі. логикада өзара байланысты бірнеше есептеулер бар:
- Лебіздерді есептеу
- Клас-тарды есептеу
- Қатынастарды есептеу, т.б.
Мысалы, лебіздерді есептеу символикалық логиканың қарапайым лебіздерден тұратын күрделі лебіздерді зерделейтін бөлімі болып табылады. Мұнда қарапайым лебіздер латын әріптерімен (А, В, С, т.б.) белгіленеді. Күрделі лебіздер әр түрлі грамматикалық жалғаулар (“және”, “немесе”, “егер”, “онда”, т.б.) арқылы құрылады. Логикада олар жалғаулар деп аталып, әрқайсысына белгілі бір таңбалар сәйкестендіріледі: “және” – , “немесе” – , т.с.с. Лебізді есептеу әліппесіне басқа да таңбалар енгізіліп, формулалар жазылады, сөйтіп, күрделі лебіздердің құрылымы, өзара қарым-қатынастары, ақиқат не жалған екендігі есептеліп шығарылады. Логикалық есептеулердің жалпы теориясын жасауға Д.Гильберт, Г.Генцен, Э.Пост, Х.Карри, П.Лоренцен, А.Колмогоров, А.Марков, С.Яновская, т.б. еңбек сіңірді.
Дереккөздер
| Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
| Бұл мақалада еш сурет жоқ. Мақаланы жетілдіру үшін қажетті суретті енгізіп көмек беріңіз. Суретті қосқаннан кейін бұл үлгіні мақаладан аластаңыз.
|
 | Бұл — мақаланың бастамасы. Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз. Бұл ескертуді дәлдеп ауыстыру қажет. |
уикипедия, wiki, кітап, кітаптар, кітапхана, мақала, оқу, жүктеу, тегін, тегін жүктеу, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, сурет, музыка, seks, ән, фильм, кітап, ойын, ойындар, ұялы, андроид, iOS, apple, ұялы телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ДК, веб, компьютер, Логикалық есептеу туралы ақпарат, Логикалық есептеу дегеніміз не? Логикалық есептеу сөзі нені білдіреді?
Logikalyk esepteuLogikalyk esepteu logikanyn tanymdyk mәselelerdi sheshu tәsili logikada ozara bajlanysty birneshe esepteuler bar Lebizderdi esepteu Klas tardy esepteu Қatynastardy esepteu t b Mysaly lebizderdi esepteu simvolikalyk logikanyn karapajym lebizderden turatyn kүrdeli lebizderdi zerdelejtin bolimi bolyp tabylady Munda karapajym lebizder latyn әripterimen A V S t b belgilenedi Kүrdeli lebizder әr tүrli grammatikalyk zhalgaular zhәne nemese eger onda t b arkyly kurylady Logikada olar zhalgaular dep atalyp әrkajsysyna belgili bir tanbalar sәjkestendiriledi zhәne nemese t s s Lebizdi esepteu әlippesine baska da tanbalar engizilip formulalar zhazylady sojtip kүrdeli lebizderdin kurylymy ozara karym katynastary akikat ne zhalgan ekendigi eseptelip shygarylady Logikalyk esepteulerdin zhalpy teoriyasyn zhasauga D Gilbert G Gencen E Post H Karri P Lorencen A Kolmogorov A Markov S Yanovskaya t b enbek sinirdi DerekkozderBul makalany Uikipediya sapa talaptaryna lajykty boluy үshin uikilendiru kazhet Bul makalada esh suret zhok Makalany zhetildiru үshin kazhetti suretti engizip komek beriniz Suretti koskannan kejin bul үlgini makaladan alastanyz Suretti mynnan tabuga bolady osy makalanyn takyrybyna bajlanysty suret Ortak korda tabyluy mүmkin makalanyn ozge til uikilerindegi nuskalaryn karap koriniz oziniz zhasagan suretti zhүkteniz avtorlyk kukykpen korgalgan suret kospanyz Bul makalanyn bastamasy Bul makalany tolyktyryp damytu arkyly Uikipediyaga komektese alasyz Bul eskertudi dәldep auystyru kazhet
