Матэматычны доказ: розьніца паміж вэрсіямі
д робат дадаў: ur:ریاضیاتی ثبوت |
д r2.7.3) (робат зьмяніў: ca:Demostració (matemàtiques) |
||
Радок 15: | Радок 15: | ||
[[zh-min-nan:Chèng-bêng]] |
[[zh-min-nan:Chèng-bêng]] |
||
[[be:Матэматычны доказ]] |
[[be:Матэматычны доказ]] |
||
⚫ | |||
[[bg:Математическо доказателство]] |
[[bg:Математическо доказателство]] |
||
⚫ | |||
[[ca:Demostració |
[[ca:Demostració (matemàtiques)]] |
||
[[cs:Matematický důkaz]] |
[[cs:Matematický důkaz]] |
||
[[da:Bevis (matematik)]] |
[[da:Bevis (matematik)]] |
Вэрсія ад 00:22, 23 кастрычніка 2012
У матэматыцы до́казам называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы аксіёмаў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне. У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядознасьць сьцьверджаньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьверджаньні ў матэматыцы называюць тэарэмамі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сьцьверджаньне, ні яго адмаўленьне яшчэ не даказаныя, то такое сьцьверджаньне называюць гіпотэзай. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сьцьверджаньняў, называемых лемамі.
Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, пашырыўшы яго. |