Leidsid 33 sarnast õppematerjali, mis on seotud failiga "matemaatiline mp". Need materjalid aitavad sul teemat sügavamalt mõista.
loenduv, naturaalarv, teoreemivalents, muutuja, algarv, osahulk, täisarv, milla, naturaalarvu, kompositsioon, lausearvutus, konjuktsioon, sõnasta, tõeväärtus, induktsioon, kvantor, habet, järjestatud, sümmeetriline, otsekorrutis, jaguvus, täisarvu, lahend, pöördfunktsioon, eitus, disjunktsioon, habemeajaja, lõpmatu, väiteid, injektiivneehk sümbolites: Kui A, siis B Kui ¬B, siis ¬A. Öeldakse ka, et need laused on loogiliselt samaväärsed. Näide1: Lause: ,,Kui nelinurk on rööpkülik, siis tema diagonaalid poolitavad teineteist." Pöördvastandlause: ,,Kui nelinurga diagonaalid ei poolita teineteist, siis nelinurk ei ole rööpkülik." Kehtigu teoreem: Kui A, siis B. Sel juhul öeldakse, et A on piisav tingimus selleks, et kehtiks B. Samuti öeldakse, et B on tarvilik tingimus selleks, et kehtiks A. Näide: Lause: Kui tuleb riiklik toetus, siis saame ürituse läbi viia. Riiklik toetus on piisav selleks, et üritust läbi viia. Ürituse läbiviimiseks on tarvilik, et oleks riiklik toetus. Kui koos teoreemiga (Kui A, siis B) kehtib ka pöördteoreem (Kui B, siis A), siis võetakse
Hulk C AxB on mingi funktsiooni graafik parajasti siis, kui kehtivad tingimused: · iga x A korral leidub y B, et (x, y) C (igale elemendile hulgast A peab vastama mingi element hulgast B). · alati, kui (x, y1) G ja (x, y2) G, siis y1 = y2 (ühelegi elemendile hulgast A ei vasta kahte erinevat elementi hulgast B) 4 Funktsiooni kompositsioon Funktsioonide f : A B ja g : B C kompositsiooniks ehk liitfunktsiooniks nimetatakse funktsiooni gf : A C, mis defineeritakse tingimusega. · Kompositsioon on assotsiatiivne: h(gf ) = (hg)f . · Kui f ja g on injektiivsed (sürjektiivsed, bijektiivsed), siis gf on injektiivne (sürjektiivne, bijektiivne). Funktsiooni pöördfunktsioon Bijektiivse funktsiooni f : A B pöördfunktsioon on funktsioon f -1 : B A seab igale
Seosed Seoseks (ehk vastavuseks, sageli ka relatsiooniks või suhteks) hulkade ja vahel nimetatakse otsekorrutise × mistahes osahulka. Seega, seos hulkade ja vahel on järjestatud paaride (,) hulk, kus ja . Teisiti öeldes, seos on mingi osahulk ×. Paari (,)× korral öeldakse, et elemendid ja on seoses ning tähistatakse ka . Mõnikord öeldakse osahulga kohta, et see on seose graafik. Kui =, ehk kui ×, siis räägitakse seosest hulgal . Näide 1. Olgu ={2,3} ja ={1,2,3,4,5,6}. Siis 1={(2,2),(2,3),(3,1), (3,5)} on binaarne seos hulkade ja vahel. Samade hulkade ja korral võime vaadelda veel palju teisi seoseid, näiteks seost 2, mis on antud tingimusega, et see koosneb paaridest (,), millede korral jagub arvuga
„Kas A või B, 1 aga mitte mõlemad“, näiteks „Ma külvan põllule rukist või panen põllule kartulid“. Disjunktsiooni all mõistame mittevälistavat „võid“. o Implikatsioon (märk →) väljendab tingimuslikku konstruktsiooni „kui . . . , siis . . . “. Näiteks „Kui Sven terve aasta korralikult õpib, siis suudab ta kevadel eksamid hõlpsasti ära teha“ või „Kui kehtib teoreem P, siis kehtib teoreem Q“. Mõlemad laused võib kirja panna valemiga A → B. o Ekvivalents (märk ↔) tähendab matemaatikas sagedasti kasutatavat seost „parajasti siis, kui“ ehk „siis ja ainult siis, kui“. Näiteks lause „hulk X on kinnine parajasti siis, kui X ühtib oma sulundiga“ on valemkujul A ↔ B. Tehete järjekord o ¬, &, ∨, →, ↔ o vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või
php?id=78717 lk 14. 4) a. Valemeid ja nimetatakse samaväärseteks, kui nende tõeväärtused on võrdsed igal neis valemeis esinevate muutujate väärtustusel. b. Põhisamaväärsused. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 22. c. Samaväärsuste kasutamine teisendustes seisneb valemi mingi osavalemi asendamises temaga samaväärsega. Nagu algebras, säilitab selline osavalemi asendamine ka siin samaväärsuse ka terve valemi jaoks. d. Teoreem. Iga lausearvutuse valemi jaoks leidub temaga samaväärne valem, mis ei sisalda muid tehtemärke, kui d.i. ¬, &; d.ii. ¬, ; d.iii. ¬, . e. Tõestus. Kolm ülejäänud tehet saab avaldada antud komplekti kaudu. 5) a. Ütleme, et valemitest 1, 2,..., n järeldub valem , kui igal neis valemeis esinevate muutujate väärtustusel, millel 1, 2,..., n on tõesed, on ka tõene. b. Teoreem. Valemitest 1, 2,..
Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
3. Arvuhulga kinnisus tehte suhtes- Arvuhulka nimetatakse kinniseks mingi tehte suhtes, kui selle hulga iga kahe arvu korral kuulub alati samasse hulka ka vaadeldava tehte tulemus 4. Arvuhulga pidevus- Kui arvuhulga igale arvule vastab üks kindel arvtelje punkt ja vastupidi, igale arvtelje punktile vastab üks kindel selle arvuhulga arv, siis öeldakse, et see arvuhulk on pidev 5. Vastandarv- Naturaalarvu n vastandarvuks nimetatakse sellist arvu -n, mis rahuldab võrdust n + ( -n ) = 0. 6. Täisarvude hulk- · Naturaalarvude hulk on täisarvude hulga osahulk · Z = {....-2; -1; 0; 1; 2; ......} · Jaguneb naturaalarvudeks ja negatiivseteks arvudeks a 7. b Murdarvud- Kui täisarv a jagub täisarvuga b, siis on jagatis täisarv, kui aga ei jagu, siis
LAUSEARVUTUS Diskreetne matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. Verbaalne esitus on mistahes info esitamine lingvistilise keele abil. Formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk esitus kokkulepitud sümbolite abil. Formaalne esitus peab olema üheselt tõlgendatav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause võib olla iga verbaalne väide, millele saame omistada tõeväärtuse – tõene või vale. Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil.
Kordamisküsimuste vastused Eero Ringmäe 1. Hulkade spetsifitseerimine, tehted hulkadega, hulgateooria paradoksid. Hulk: Korteezh järjestatud lõplik hulk. Hulk mingi arv elemente, mille vahel on leitav seos klassifitseeritud elementide kogum. Hulk samalaadsete objektide järjestamata kogum. Hulga esitamine: elementide loeteluna A = {2;3;4} predikaadi abil A = {x | P(x)} Tühihulk on iga hulga osahulk. Iga hulk on iseenda osahulk. Hulga boleaan kõigi osahulkade hulk. H boleaan on 2H. 2H = {x | x on osahulgaks H-le}. Boleaani võimsus |2H| = 2|H| Tühja hulga boleaani võimsus on 1. Tehted: Hulkade võrdsus = A on B osahulk AND B on A osahulk. Ekvivalentsiseose definitsioon ((A => B) && (B => A)) hulgas sisaldavad samu elemente. Hulga osahulk võib võrduda hulgaga. Hulga pärisosahulk ei või võrduda. Hulkade ühend C = {x | x kuulub A && x kuulub B}
1. Kollokvium 1. Hulga mõiste. Järjestatud hulk. Tehted hulkadega. Arvuhulgad. Teoreem. Ei leidu ratsionaalarvu, mille ruut on 2 (tõestada). Tõkestatud hulgad (näide). Tõkestamata hulgad (näide). Hulk koosneb elementidest, kusjuures elemendid ei kordu ja nende järjestus ei ole kindlaks määratud. Järjestatud hulk koosneb samuti elementidest, kuid selles hulgas on iga kahe elemendi kohta võimalik öelda, kumb neist on eelnev, kumb järgnev. Tehted hulkadega: * Hulkade A ja B ühendiks ehk summaks nimetatakse hulka, mille moodustavad kõik kas
väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral. Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥,𝑦) korral x on seotud ja y vaba muutuja). Hüüumärgiga eksistentsikvantor tähendab, et „leidub täpselt üks x …“. Kvantorid on omavahel seotud nagu ∀𝑥𝑃(𝑥)≡∃̅𝑥∃𝑃̅(𝑥). Predikaadid on võrdväärsed (ekvivalentsed), kui nende tõeväärtuspiirkonnad langevad kokku. Loogikaseadused on kuni kolme operandiga lihtsaimad
Lucas` arvud. [18]. Catalani arvud. [19]. Sündmused ja tõenäosus. Statistiline tõenäosus. Bernoulli suurte arvude seadus. [20]. Sõltuvad ja sõltumatud sündmused. Sündmuste summa ja korrutis. [21]. Täistõenäosuse valem. Bayesi reegel. [22]. Bernoulli valem (k katse õnnestumine katsete üldarvu n korral). [23]. Kord- ja algarvud. Algarvude jaotus, algarvulisuse kontroll, Eratosthenese sõel. [24]. Naturaalarvude kanooniline kuju. Suurim ühistegur ja vähim ühiskordne. [25]. Fermat teoreem. Pseudoalgarvud ja Carmichaeli arvud. [26]. Eukleidese algoritm. [27]. Lineaarsed diofantilised võrrandid. [28]. Täisarvude kongruentsid. Kongruentsi omadusi. [29]. Moodularitmeetika. [30]. Algarvulisuse Fermat` test. Miller-Rabini test. [31]. Graafid ja graafide omadused. Ahelad ja tsüklid graafis. [32]. Euleri graafid. Hamiltoni tsüklid. [33]. Puud. Puude omadused. [34]. Graafi vähima kaaluga aluspuud. [35]. Märgendatud puud. Puude esitamine arvuti mälus. [36]. Prüferi kood
6.2 Hausdorffi ruumi omadusi . . . . . . . . . . . . . . . . . . . . . . . .64 ¨ 6.3 Ulesandeid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .66 7 KOMPAKTSUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 7.1 Kompaktsuse definitsioon ja lihtsamaid j¨areldusi . 68 7.2 Kompaktsus loenduva baasiga ruumides . . . . . . . . . .72 7.3 Kompaktsus meetrilistes ruumides . . . . . . . . . . . . . . . 76 7.4 Heine-Boreli teoreem . . . . . . . . . . . . . . . . . . . . . . . . . . . . .79 7.5 Kompaktsus ja pidevad kujutused . . . . . . . . . . . . . . . .83 ¨ 7.6 Ulesandeid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .84 8 SIDUSUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 8.1 Sidusus ja tema komponendid . . . . . . . . . . . . . . . . . . . .85 8.2 Sidusad hulgad arvteljel . . . . . . . . . . . . . . . . . . . . . . . .
võrdsete pikkustega vektoreid. Loogikafunktsioonid ja loogikaavaldised 1. Mis on loogikaalgebra? Loogikaalgebra on Boole’i algebra erijuht, kus alushulgaks on kaheelemendiline hulk {0,1}. 2. Millest loogikaalgebra koosneb? Loogikaalgebra koosneb loogikaväärtuste hulgast {0,1}, millele on defineeritud 3 elementaarset loogikatehet: unaarne tehe inversioon (¯) ja binaarsed tehted konjunktsioon (∧) ja disjunktsioon (∨). 3. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada üksnes väärtusi {0 1} 4. Kuidas nimetatakse numbrimärkidega 0 ja 1 esitatud loogikaväärtusi? Konstant. 5. Mis on loogikaavaldis? Loogikaavaldise definitsioon. Loogikaavaldis on loogikamuutujatest, konstantidest ja tehtemärke sisaldav kooslus, mis muutujate väärtustamisel omandab samuti väärtuse 0 või 1. 6. Millist loogikatehet tähendab tehtemärgi puudumine operandide vahel? Tehtemärgi puudumine tähendab konjunktsiooni. 7
LTMS.00.022 ÜHE MUUTUJA MATEMAATILINE ANALÜÜS Loengukursus Tartu Ülikooli loodus- ja täppisteaduste valdkonna üliõpilastele 2019./2020. õppeaasta Toivo Leiger Joonised: Ksenia Niglas Pisitäiendused 2016–20: Märt Põldvere, Natalia Saealle, Indrek Zolk, Urve Kangro 2 Sisukord
Lausearvutus: Diskreetne matemaatika ei tegele pidevate funktsioonidega. Diskreetne mate ei tegele reaalarvudega. Verbaalne esitus on lingvistilise keele kasutamine info edastamiseks. Formaalne esitus on ilma lingivtilise keele kasutamise info edastamine, peamiselt sümbolite abil. Formaalne esitus peab olema üheselt mõistetav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause on lause, millele saab omistada tõeväärtust(0,1). Tõeväärtuseid on kaks, 0-väär, 1-tõene. Lihtlause on lihtsaim lausearvutuse lause. Lausearvutuse lauseid tähistatakse suutre tähtedega A, B, C. Liitlause koosneb lihtlausetest ning neid siduvatest konstruktisoonidest ja sidesõnadest. Lausearvutuse loogikatehted on inversioon, konjunktsioon, disjunktsioon,
mudel. Positiivsele arvule a seame arvsirge positiivsel poolel vastavusse punkti, mille kaugus nullpunktist on a, negatiivse a puhul fikseerime arvtelje negatiivsel poolel punkti kaugusel −a. Pidevuse aksioom (P) garanteerib selle, et igale arvsirge punktile vastab mingi üheselt määratud reaalarv. 5) Igast mittenegatiivsest arvust saab võtta n-da juure – Igast mittenegatiivse reaalarvu b ja iga naturaalarvu n korral leidub üheselt määratud mittenegatiivne reaalarv x omadusega xn=b 6) Alamhulk N ei ole ülalt tõkestatud (Archimedese printsiip) – Alamhulk N ⊂ R ei ole ülalt tõkestatud, s. t. iga reaalarvu a korral leidub temast suurem naturaalarv n. Teisisõnu, Iga a € R leidub n € N : n > a 7) Iga kahe reaalarvu vahel leidub nii ratsionaal-kui ka irratsionaalarve (ratsionaal- ja irratsionaalarvude hulga tihedus) – Kõigi ratsionaalarvude hulk
1. Tõkestatud hulga mõiste. Ülalt/alt tõkestatud hulga mõiste. Tuua näide. 10,12Jada piirväärtus. Arvu a nimetatakse reaalarvude jada x 1, x2, x3, ... Tõkestatud hulga definitsioon Reaalarvudest koosnevat hulka A piirväärtuseks, kui iga kuitahes vaikese positiivse arvu korral saab näidata nimetatakse tõkestatuks, kui leidub lõplik vahemik (a,b) nii, et A(a,b). sellist jada elementi xn , millest alates kõik järgnevad jada elemendid kuuluvad Tõkestamata hulgad on lõpmatud vahemikud. arvu a ümbrusesse (a , a + ). Jada piirväärtust tähistatakse lim x n = a 2. Sõnastada arvu -ümbrus, arvu parem- ja vasakpoolne ümbrus. 11. Koonduva jada ja hajuva jada mõiste. kuitahes v aikese positiivse arvu korral saab n aidata sellist suuruse x v a Koonduv jada- lõplikku piirväärtust omav jada. Hajuv- mitteomav. a rtust, millest alates
SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus
Koonduva jada tõkestatuse tõestus) Jada {Xn} nimetatakse tõkestatuks, kui
leidub selline arv M>0, et iga n N korral Xn Um(0).
*Lause: Iga koonduv jada on tõkestatud.
*Tõestus:
a). Tõestame, et iga koonduv jada on Cauchy jada.
b). Näitame, et iga Cauchy jada on tõkestatud.
8*(Monotoonsed jadad. Monotoonse ja tõkestatud jada koonduvuse seos. Osajadad. Bolzano-
Wierstrassi)Monotoonseks jadaks nimetatakse jada, mis on kogu ulatuses mittekasvav või
mittekahanev.
*Bolzano- Weierstrassi teoreem: Igast tõkestatud jadast saab eraldada koonduva osajada.
*Jada {Xn} osajadaks {Yn} nim. jada, mis on saadud jadast {Xn} lõpliku või lõpmatu hulga jada
elementide väljajätmise teel.
*Lause: Xn < Xn+1 ; Xn < M
*Tõestus: Fikseerime n. Xn < Xn+1 ; Xn < M ; Xn- Xn+1
väljajätmisel nim. selle jada osajadaks. Bolzano – Weierstrass teoreem - Igast tõkestatud jadast saab eraldada koonduva osajada. Monotoonne jada - jada, mis on kogu ulatuses mittekasvav võimittekahanev. 5.Cauchy jadad ehk fundamentaaljadad. Kuhjumispunkti mõiste. Kuhjumispunktide seos jada koonduvusega. Cauchy jadad - Jadal xn on lõplik piirväärtus parajasti siis, kui vastavalt igale pos.arvule ε leidub niisugune naturaalarv n0, et iga naturaalarvu p puhul kehtib |x+p-xn|<ε, kui n>n0 . Kuhjumispunkt - arv, mille igas ümbruses on lõpmata palju vaadeldava jada liikmeid. Kuhjumispunkti seos jada koonduvusega - *Jada {Xn} koondub parajasti siis, kui ta on tõkestatud ja tal on vaid üks kuhjumispunkt. *Arv a on jada {Xn} kuhjumispunkt parajasti siis, kui leidub selline osajada {Xn k}, mis koondub arvuks a. 6.Funktsiooni piirväärtuse mõiste. Seos jada piirväärtusega. Reaalmuutuja funktsiooni ühepoolsed piirväärtused
1.Arvtelje mõiste. Reaalarvu absoluutväärtus. Loetleda 4.Üksühese funktsiooni ja pöördfunktsiooni definitsioonid. Vaatleme funktsiooni y=f(x). Toome lisaks muutujale x ± absoluutväärtuse Seosed funktsiooni ja tema pöördfunktsiooni ja y sisse ka kolmanda muutuja t. x= (t). Siis saab ka Funktsioonil f on piirväärtus kohal a, kui suvalises piirprotsessis xa, mis omadused. Reaalarvude ja lõpmatuste ümbrused. määramispiirkondade ja väärtuste hulkade vahel, vastastikune muutuja y avaldada parameetri t kaudu. y = (t). rahuldab tingimust xa, funktsiooni väärtus f(x) läheneb lõpmatusele
predikaat. Süllogismid. Modaalsed väited. Stoikud: Zenon Kitionist (333-264) ja eriti Chrysippos (279-206). Lausearvutuse elemendid. Keskajal Boethius (480-525). Aristoteles ladina keelde. Skolastikud panevad aluse ka analüütilisele filosoofiale. Raimon Lull (1235-1315) Võtab kasutusele sümbolid. G. W. Leibnitz (1646-1716). Idee luua universaalne sümbolkeel, mida võib kontrolloda ka masinaga. Tegi palju matematilise loogika jaoks, kuid ei avaldanud. G. Boole (1815-64) Lausearvutus. Seda arendas A. de Morgan. (1806-1871). Gottlob Frege (1848-1925) Esimest järku predikaatarvutus. Georg Cantor (1845-1918). Hulgateooria ja paradoksid. Bertrand Russell (1872-1970). Paradoksid, tüüpide teooria Alfred Tarski (1902-1983). Objektkeel ja metakeel. Kurt Gödel (1906-1978). Mittetäielikkuse teoreem. Alan Turing (1912-1954). Universaalne programmeeritav arvuti. 4_fl_i-v
Millal on hulgad teineteisega võrdsed? Hulgad on võrdsed, kui nad koosnevad samadest elementidest. Nt {1,3,5}={5,1,3} Kui palju võib ühte hulgaelementi hulgas sisalduda? Hulgas ei eksisteeri korduvaid elemente, iga elementi on hulgas üks eksemplaar. Milliste sümbolitega tähistatakse elemendi hulka kuulimist või mittekuulumist? No see eurosümbol on kuulumise märk ja mittekuulumise märk on sama, aint maha kriipsutatud. Millal on mingi hulk teise hulga osahulk? Hulk A on hulga B osahulk, kui hulga A iga element on samal ajal ka hulga B elemendiks. Millal on kaks hulka teineteise osahulkadeks? Kaks hulka on teineteise osahulgad siis, kui nad on võrdsed. Mis on venni diagramm? Venni diagramm on diagramm hulkade illustratiivseks graafiliseks esitamiseks. Vt. kahe, kolme ja neljahulga venni diagramme(lk32 ja 38) Mis on universaalhulk? Universaalhulk on hulk, mille moodustavad elemendid, mis kuuluvad vaadeldavasse hulka ja elemendid, mis ei kuulu vaadeldavasse hulka.
Karakteristlik aktsepteeriv TM on selline, mis aktsepteerib, kui x kuulub keelde. Muul juhul lükkab tagasi. Genereeriv aktsepteeriv TM on selline, mis aktsepteerib, kui x kuulub keelde. Muul juhul ei peatu. DEF: Hulka (keelt), millel leidub karakteristlik Turingi masin, nimetatakse lahenduvaks ehk rekursiivseks. DEF: Hulka (keelt), millel leidub genereeriv Turingi masin, nimetatakse rekursiivselt loenduvaks ehk genereeritavaks. Lemma: Iga lahenduv hulk on rekursiivselt loenduv. T: Igal lahenduva hulga karakteristlikku masinat saab tesendada nii, et ta jääks olekusse qr jõudmise asemel tsüklisse ehk muutuks genereerivaks masinaks. Registermasin sisaldab registreid R1… (sisuks naturaalarv) ja märgendeid N1… Operaatorid on INC (+1), DEC (-1), CLR (nullimine), R → R (omastad ühe väärtuse teisele), JMP Na (go to N), JMP Nb (go to N+1), R JMP Na (kui R=0…), R JMP Nb, CONTINUE (ei tee midagi). Registermälu kasutab suvapöördusmälu
Tõkestatud hulga definitsioon: reaalarvudest koosnevat hulka A nimetatakse tõkestatuks, kui leidub lõplik vahemik ( a, b ) nii, et A ( a, b ). Tõkestatud hulgad on näiteks kõik lõplikud vahemikud ( a, b ), lõigud [a, b] ja poollõigud [a, b), (a, b]. Tõkestamata hulgad on aga näiteks lõpmatud vahemikud (-, a), (a, ) ja lõpmatud poollõigud (-, a], [a, ). 2. Jääv ja muutuv suurus. Suuruse muutumispiirkond. Funktsiooni definitsioon. Funktsiooni argument, sõltuv muutuja, määramispiirkond ja väärtuste hulk. Funktsiooni esitamine tabelina ja analüütiliselt. Funktsiooni graafiku mõiste. Graafiku omadused. V: Jääv ja muutuv suurus: Suurust, mis võib omandada erinevaid arvulisi väärtusi, nimetatakse muutuvaks suuruseks ehk muutujaks. Suurust, mille arvuline väärtus ei muutu, nimetatakse jäävaks suuruseks. Näiteks ühtlase liikumise korral on kiirus jääv suurus ja läbitud teepikkus muutuv suurus. Samas mitte ühtlase liikumise korral on ka kiirus
x 1 Samas |sin | 1 ja lim x0 x2 = 0, seega A = 0. x Teoreem 4. (piirväärtuse monotoonsus) Kui punkti a teatavas ümbruses U(a) kehtib g(x) < f(x), () siis ka lim xa g(x) lim xa f(x). () Teoreem 5. (keskmise muutuja omadus) Kui punkti a mingis ümbruses g(x) f(x) h(x) ja lim xa g(x) = lim xa h(x) = A , siis eksisteerib ka piirväärtus lim xa f(x) = A. Teoreem 6. Kui f on elementaarfunktsioon ja a X, siis lim xa f(x) = f(a). 3. Ühepoolsed piirväärtused Vaatleme piirprotsesse: 1. x a, x > a lähenemine paremalt, s.o. parempoolne piirväärtus.
1.Tõkestatud hulgad (näide). Tõkestamata hulgad (näide). Tõkestatud hulgad. Definitsioon Reaalarvudest koosnevat hulka nimetatakse tõkestatuks, kui leidub selline positiivne arv nii, et iga korral kehtib võrratus . Hulk on tõkestatud, kui kõik selle hulga elemendid kuuluvad nulli ümbrusesse Näide: Reaalarvudest koosnevat hulka A nimetatakse tõkestatuks, kui leidub lõplik vahemik vahemik (a;b) nii et AC(a;b) Tõkestamata hulgad. Näide: Näiteks lõpmatu vahemik (-, a) vahemik ja [a; ) lõpmatu poollõik. 2. Reaalarvu ümbrus. Arvtelg. Reaalarvu a absoluutväärtus (näiteks lihtsustage ). Absoluutväärtuse omadused. Tingimuse esitamine arvteljel. Reaalarvu a vasakpoolne ja parempoolne ümbrused. Reaalarvu a ümbrus nimetatakse suvalist vahemiku (a , a + ), kus > 0 on ümbruse raadius. Arv x kuulub arvu a ümbrusesse (a , a + ) siis ja ainult siis, kui selle arvu kaugus arvteljel on arvust a väiksem kui , st . Arvtelg on sirge
d.v. Suuruse miinus lõpmatuks ümbruseks nim suvalist vahemikku (-M;-), kus M>0. Arv x kuulub minus lõpmatuse ümbrusesse kui x<-M. e. Tõkestatud hulga definitsioon Reaalarvudest koosnevat hulka A nim tõkestatuks, kui leidub lõplik vahemik (a,b) nii, et A(a,b) 2. Jääv ja muutuv suurus. Suuruse muutumispiirkond. Funktsiooni definitsioon. Funktsiooni argument, sõltuv muutuja, määramispiirkond ja väärtuste hulk. Funktsiooni esitamine tabelina ja analüütiliselt. Funktsiooni graafiku mõiste. Graafiku omadused. a. Jääv ja muutuv suurus a.i. Muutujaks ehk muutuvaks suuruseks nim suurust, mis võib omandada erinevaid arvulisi väärtusi. a.ii. Jäävaks suuruseks nim suurust, mille arvuline väärtus ei muutu. b. Suuruse muutumispiirkond
Sõnastada jada piirväärtuse peamised omadused. Üks omadus tõestada. jada koonduvusega. 6. Naidata, et kui limn→∞xn = a ja limn→∞yn = a ning xn < zn < yn, siis limn→∞ zn = a. Öeldakse, et{xn} on Cauchy jada ehk fundamentaaljada, kui iga ε > 0 korral leidub N ∈ N, et iga Toestus: Fikseerime ε. Vastavalt piirväärtuse definitsioonile leiduvad arvud N1, N2 ∈ N, nii et naturaalarvu n > N ja naturaalarvu p korral kehtib võrratus ∀n > N1 xn ∈ Uε(a) ⇔ a − ε < xn < a + ε Jada kuhjumispunktiks nimetatakse arvu, mille igas umbruses on lopmata palju vaadeldava jada ∀n > N2 yn ∈ Uε(a) ⇔ a − ε < yn < a + ε liikmeid. Arv a on jada {x n} kuhjumispunkt parajasti siis, kui leidub selline osajada {x nk}, misKui N = max{N1, N2}, siis vastavalt eeldusele n > N korral koondub arvuks a
tõkestatud monotoonselt kasvav jada on koonduv; 11)igast tõkestatud jadast saab ||f +b|| ≤ sup||(f + b)x|| ≤ sup||fx+bx|| ≤ sup(||fx||+||bx||) ≤ sup||fx||+sup||bx|| ≤ ||f|| +||b|| eraldada koonduva osajada; 12)jadal {xn} lõplik PV, kui iga pos. arvu ε korral leidub -3o naturaalarv n0, et iga naturaalarvu p korral n→n0 |xn+p -xn|<ε(cauchy); x∈X x∈X x∈X x∈X x∈X *Lause: Koonduva jada piirväärtus on üheselt määratud. Kui *Kauguseks ruumis V nimetatakse reeglit, mis igale kahele selle ruumi elemendile
nimetatakse muutuvaks suuruseks ehk muutujaks. Suurust, mille arvuline väärtus ei muutu, nimetatakse jäävaks suuruseks. Suuruse muutumispiirkond- Muutuva suuruse kõigi võimalike väärtuste hulka nimetatakse selle suuruse muutumispiirkonnaks. Funktsiooni definitsioon- Olgu antud 2 muutuvat suurust x ja y. Funktsiooniks nimetatakse kujutist, mis seab suuruse x igale väärtusele tema muutumispiirkonnast vastavusse suuruse y ühe kindla väärtuse. Funktsiooni argument- muutuja x, sõltumatu. Sõltuv muutuja- muutuja y. Määramispiirkond- argumendi x muutumispiirkonda. Tähis X. y= f(x). Väärtuste hulk- Hulka Y = {f(x) || x kuulub X} Funktsiooni esitamine tabelina- Funktsiooni argumendi võimalikud väärtused esitatakse tabeli ühes reas (veerus) ja neil vastavad funktsiooni väärtused tabeli teises reas (veerus). On võimalik vaid siis, kui funktsiooni argumendil on lõplik arv väärtusi. Funktsiooni esitamine analüütiliselt- Funktsioon esitatakse valemi kujul
hulga X punkte kui ka neid punkte, mis ei kuulu hulka X . Sisepunkt ei saa olla rajapunkt. Sisepunkt on alati kuhjumispunkt. Rajapunkt võib olla kuhjumispunkt. 1 Kordamine matemaatilise analüüsi I eksamiks matemaatika-informaatika teaduskonnas 04/05 õ.a Funktsioon, tema graafik Olgu X mingi reaalarvude hulk. Kui x tähendab mis tahes arvu hulgast X , siis öeldakse, et x on muutuv suurus ehk muutuja hulgas X . Iga arvu x X nimetatakse muutuja x väärtuseks. Definitsioon: Kui igale arvule x X on mingi eeskirja f abil seatud vastavusse üks reaalarv y , siis öeldakse, et hulgas X on määratud funktsioon y = f ( x ) ja kirjutatakse: y = f ( x ) , x X . Muutujat x nimetatakse funktsiooni argumendiks ehk sõltumatuks muutujaks ja muutujat y tema sõltuvaks muutujaks. Hulka X nimetatakse funktsiooni määramispiirkonnaks ja hulka
annaabi.ee 
