Plaanid puhkusele minna? Võta endale majutus AirBnb kaudu ja saad 37€ kontoraha Tee konto Sulge
Facebook Like

Mat. tõestuse põhimõtted (0)

1 Hindamata
Punktid
 
Säutsu twitteris
Matemaatiliste tõestuste meetodid
1. Otsesed tõestuse meetodid
Matemaatiline süsteem koosneb aksioomidest, teoreemidest, definitsioonidest ja defineerimata objektidest.
Aksioom on lause, mida eeldatakse tõene olevat.
Definitsiooni kasutatakse uute kontseptsioonide ja mõistete selgitamiseks teadaolevate mõistete kaudu.
Teoreem on väide, mis on tõestatud.
Lemma - väiksema iseseisva tähtsusega teoreem, mis on enamasti abiks teoreemide tõestamisel.
Järeldus- toereemist otseselt järelduv tulemus
Näited:
Defineerimata objektid: punktid, jooned
Definitsioon: Kolmnurga ümbermõõt on võrdne selle kolmnurga külgede summaga
Teoreem: Täisnukse kolmnurga kaatetite ruutude summa võrdub hüpotenuusi ruuduga .
Järeldus: kui kolmnurga küljed on võrdse pikkusega, siis on selle kolmnuga nurgad samuti võrdsed.
Teoreemi tõesuse põhjendamist, nimetatakse tõestuseks.
Loogika on vahend tõestuse läbiviimiseks.
Vaatleme esialgu selliseid tõestamise meetodeid , mida esitatakse kujul
„, mille korral P(x)“. Sellised teoreemid tagavad, et eksisteerib vähemalt üks x mille korral predikaat P(x) on õige. Sellist tõestust nimetatakse konstruktiivseks.
Tõestus sisaldab sellise x leidmist mille korral P(x) on tõene või siis algoritmi koostamist sellise x leidmiseks.
Konstruktiivse tõestuse näide: tõestada et leidub täisarv mille ruut on 81.
Tõestus: 9*9=81
Mittekonstruktiivne tõestus sisaldav järgmisi võimalusi
  • väite kinnitamiseks kasutatakse juba tõestatud teoreeme
  • kasutatakse vastuväitelist tõestust, ehk põhjendatakse, et eeldus, et ei leidu sellist x-i mille korral P(x) on tõene viib vastuoluni.
    Teoreemid esinevad
  • 80% sisust ei kuvatud. Kogu dokumendi sisu näed kui laed faili alla
    Vasakule Paremale
    Mat-tõestuse põhimõtted #1 Mat-tõestuse põhimõtted #2 Mat-tõestuse põhimõtted #3 Mat-tõestuse põhimõtted #4 Mat-tõestuse põhimõtted #5 Mat-tõestuse põhimõtted #6 Mat-tõestuse põhimõtted #7 Mat-tõestuse põhimõtted #8 Mat-tõestuse põhimõtted #9 Mat-tõestuse põhimõtted #10 Mat-tõestuse põhimõtted #11 Mat-tõestuse põhimõtted #12 Mat-tõestuse põhimõtted #13 Mat-tõestuse põhimõtted #14 Mat-tõestuse põhimõtted #15
    Punktid 50 punkti Autor soovib selle materjali allalaadimise eest saada 50 punkti.
    Leheküljed ~ 15 lehte Lehekülgede arv dokumendis
    Aeg2009-02-10 Kuupäev, millal dokument üles laeti
    Allalaadimisi 39 laadimist Kokku alla laetud
    Kommentaarid 0 arvamust Teiste kasutajate poolt lisatud kommentaarid
    Autor jaanuar3 Õppematerjali autor

    Lisainfo

    Infotehnoloogia baasaine
    matemaatiline tõestus

    Mõisted


    Meedia

    Kommentaarid (0)

    Kommentaarid sellele materjalile puuduvad. Ole esimene ja kommenteeri


    Sarnased materjalid

    15
    doc
    Matemaatiliste tõestuste meetodid
    17
    doc
    Relatsioonid ja funktsioonid
    816
    pdf
    Matemaatika - Õhtuõpik
    89
    docx
    Matemaatiline maailmapilt
    2
    doc
    Definitsioonid ja teoreemid
    17
    doc
    Relatsioonid ja funktsioonid
    197
    pdf
    LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK
    343
    pdf
    Maailmataju uusversioon



    Faili allalaadimiseks, pead sisse logima
    Kasutajanimi / Email
    Parool

    Unustasid parooli?

    UUTELE LIITUJATELE KONTO MOBIILIGA AKTIVEERIMISEL +50 PUNKTI !
    Pole kasutajat?

    Tee tasuta konto

    Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun