Матэматычны доказ: розьніца паміж вэрсіямі
Luckas-bot (гутаркі | унёсак) д r2.5.2) (робат дадаў: gl:Proba (matemáticas) |
|||
Радок 26: | Радок 26: | ||
[[fa:برهان (ریاضی)]] |
[[fa:برهان (ریاضی)]] |
||
[[fr:Démonstration]] |
[[fr:Démonstration]] |
||
[[gl:Proba (matemáticas)]] |
|||
⚫ | |||
[[gan:數學證明]] |
[[gan:數學證明]] |
||
[[ko:증명]] |
[[ko:증명]] |
||
Радок 43: | Радок 43: | ||
[[nl:Wiskundig bewijs]] |
[[nl:Wiskundig bewijs]] |
||
[[ja:証明]] |
[[ja:証明]] |
||
⚫ | |||
[[no:Matematisk bevis]] |
[[no:Matematisk bevis]] |
||
[[nn:Matematisk bevis]] |
[[nn:Matematisk bevis]] |
Вэрсія ад 17:54, 21 сьнежня 2010
У матэматыцы до́казам называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы аксіёмаў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне. У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядознасьць сьцьверджаньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьверджаньні ў матэматыцы называюць тэарэмамі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сьцьверджаньне, ні яго адмаўленьне яшчэ не даказаныя, то такое сьцьверджаньне называюць гіпотэзай. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сьцьверджаньняў, называемых лемамі.
Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, пашырыўшы яго. |