Ero sivun ”Matemaattinen todistus” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
päivitys |
||
Rivi 1:
'''Matemaattinen todistus''' tarkoittaa muodollista todistusta, joka täyttää seuraavat ehdot:
# väite on muotoiltu siten, että se voidaan kirjoittaa täsmällisen yksikäsitteisesti käyttäen tyypillisesti matemaattisia symboleita: [[relaatio]]ita, [[vertailuoperaattori|vertailuoperaattoreita]] ja absoluuttisia lukuarvoja, ja
# väite todistetaan käyttäen pelkästään sovittuja matemaattisia ja loogisia lainalaisuuksia sekä [[aksiooma|aksioomia]]. <ref name=r1/>
Matemaattisessa todistuksessa on kolme osaa:
Rivi 51:
* [[Ohjelman oikeaksi todistaminen]]
==
{{Viitteet|viitteet=
* <ref name=r1>{{Kirjaviite | Tekijä=Rikkonen, Harri | Nimeke=Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku | Julkaisija=Otakustantamo | Julkaisupaikka=Helsinki | Vuosi=1969 | Tunniste=ISBN 951-671-022-0}}</ref>
}}
[[Luokka:Matemaattinen logiikka]]
| |||