Ero sivun ”Matemaattinen todistus” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p r2.6.1) (Botti lisäsi: gl:Proba matemática |
"valitettavasti" on pov |
||
Rivi 8:
Luonnollisesti todistus ei saa sisältää väitettä oletuksena missään muodossa, muuten kyseessä on [[kehäpäätelmä]]. On myös tärkeää, että väitteessä on mainittu riittävän selvästi käytetyt '''oletukset'''. Oletukset rajaavat ja määrittävät ongelmaa tarkemmin, esimerkiksi todistettavan väitteen sisältämät luvut saattavat olla aina ei-negatiivisia [[kokonaisluku]]ja.
Matemaattisia todistuksia käytetään laajalti muun muassa ohjelmistotieteessä, kun halutaan todistaa jokin [[algoritmi]] oikeaksi. Periaatteessa myös kokonaisia tietokone-ohjelmia voidaan todistaa oikeaksi, mutta [[ohjelmien todistaminen]] on kuitenkin osoittautunut sen verran työlääksi, että käytännössä vain pieniä, kriittisiä osia todistetaan tarvittaessa.
|