Матэматычны доказ: розьніца паміж вэрсіямі
Luckas-bot (гутаркі | унёсак) д r2.7.1) (робат дадаў: tt:Математик исбатлау |
д робат дадаў: si:ගණිතමය ඔප්පු කිරීම් |
||
Радок 52: | Радок 52: | ||
[[ru:Математическое доказательство]] |
[[ru:Математическое доказательство]] |
||
[[scn:Dimustrazzioni matimàtica]] |
[[scn:Dimustrazzioni matimàtica]] |
||
[[si:ගණිතමය ඔප්පු කිරීම්]] |
|||
[[simple:Mathematical proof]] |
[[simple:Mathematical proof]] |
||
[[sk:Dôkaz (matematika)]] |
[[sk:Dôkaz (matematika)]] |
Вэрсія ад 19:46, 16 чэрвеня 2011
У матэматыцы до́казам называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы аксіёмаў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне. У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядознасьць сьцьверджаньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьверджаньні ў матэматыцы называюць тэарэмамі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сьцьверджаньне, ні яго адмаўленьне яшчэ не даказаныя, то такое сьцьверджаньне называюць гіпотэзай. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сьцьверджаньняў, называемых лемамі.
Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, пашырыўшы яго. |