Дәлелдеу — Қазақстан Энциклопедиясы
"Дәлелдеу — Қазақстан Энциклопедиясы"|"https://kk.php?title=Арнайы:Ұзын_беттер&limit=5000&offset=5000"
TITLE: Дәлелдеу — Қазақстан Энциклопедиясы
URL: https://kk.php?title=Арнайы:Ұзын_беттер&limit=5000&offset=5000
META: "Дәлелдеу — Қазақстан Энциклопедиясы"|"https://kk.php?title=Арнайы:Ұзын_беттер&limit=5000&offset=5000"
TOTAL WORDS: 284
TEXT: Қазақстан Энциклопедиясы Дәлелдеу немесе дәлелдеме – теореманың немесе бір ұғымның ақиқаттығын негіздеу бағытында қорытындылардың ой ой тұжырым. Математикадағы дәлелдеуге қойылатын талаптар осы ғылымның дамуының бастапқы кезінен – ақ ойластырыла бастаған. Алғашқы кезеңде математикалық теориялар аксиомалық негізінде құрылды. Осы әдістің пайдалану үлгісі ретінде ежелгі грек математигі Евклидтің “негіздер” деген ғылыми еңбегіндегі геометриялық мазмұндауды мысалға келтіруге болады. Аксиомалық теорияның дәлелдеу әдісінің ерекшелігі мынада: Қорытынды делінетін түсініктер белгілі бір жүйе тізбегін құрып, осылардың біреуі болжам ретінде қабылданады да өзгелер осы жүйе тізбегіндегі алғашқы түсініктерден логикалық пайымдаулар негізінде қорытындыланады. Барлық болжам тек берілген қорытынды шегінде емес, қарастырылып отырған жалпы теория бойынша ақиқат болып есептелсе, онда мынадай қорытынды дәлелдеу деп аталады. Дәлелдеу, логика мен математикада – қандай да бір пікірдің, тұжырымның ақиқаттығын не жалғандығын негіздеу әдісі. Математикадағы дәлелдеуге қойылатын талаптар математика дамуының ертедегі сатысында-ақ жасалды. Ол кезде математика теориясын құрудың аксиомалық әдісі пайдаланылды. Мұндай әдісті қолданудың нақты үлгісі Евклид «Негіздерінде» баяндалған геометриялық жүйе болды. Дәлелдеу әдісінің аксиомалық теориясы үшін тән белгі – ондағы қорытынды деп аталатын тұжырымдардың белгілі бір тәртіппен тізбектеп қойылатындығы. Мұның үстіне ол тұжырымдардың біреуі ұйғару ретінде қабылданып, қалғандары сол тізбектегі бұрынғы тұжырымдардан логикалық жолмен қорытылып шығарылады. Егер барлық ұйғарулар берілген қорытынды шегінде ғана емес, барлық қарастырылып отырған теорияда ақиқат болса, онда мұндай қорытынды дәлелдеу деп аталады. Нақты дәлелдеуде аксиомалар ғана емес, бұрын дәлелденген сөйлемдер де пайдаланылады. Жалпы айтқанда, қандай да бір пікір өздігінен дәлелдеу бола алмайды, ол белгілі бір аксиомалық теорияның шекарасында ғана дәлелдеу бола алады. «Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, , 5-том Қ. - дәлелденбекші ой қорытындыны теріске шығару арқылы қайшылыққа тірелтіп дәлелдеу әдісі. "Математикалық ойашар", "Қазақ энциклопедиясы" Алматы, 2009 И. - ~n натурал параметрге тәуелді ~A түсініктің ақиқаттығының екі кезеңнен құралған дәлелдемесі:
