1. Näidata, et xϵRn korral rahuldab normi aksioome 2. puudu || x ||1: k | xk | 3. Näidata, et xϵRn korral rahuldab normi aksioome Normiks vektorruumis V nimetatakse reeglit, mis igale vektorile seab vastavusse skalaari , kusjuures on täidetud järgnevad tingimused: 1). 2). 3). 4. Tõestada üks segatuletiste võrdsuse piisav tingimus. 5. Näidata, et diferentseeruv kahe-või mitmemuutuja funktsioon on pidev. 6. Näidata, et kahe-või mitmemuutuja funktsioon on diferentseeruv, kui tema osatuletised on pidevad. 7.Liitfunktsiooni tuletise ja osatuletise valemid. Üks neist tuletada.
Liites viimase võrduse mõlemale poolele vektori ap ⃗ vastandvektori a p=(−1)⃗ −⃗ ap ja kasutada vektorruumi aksioome: λ1 ⃗ a1 + λ2 ⃗ a2 +…+ λ p−1⃗ a p−1 + (−1 ) ⃗ a p + λ p+1 ⃗ ak =⃗0 .
4. Toob argumendid sisse oma 3. Teeb kokkuvõtte argum 1.;2.;(3.) argumendi 5. Aega on 5 minutit 4. Ristküsitlus 6. Ristküsitlus Küsitleb 2. eitaja Küsitleb 2.jaataja Argument Argumendi struktuur: 1. Väide 2. Selgitus 3. Tõestus 4. Järeldus Tõestuseks sobivad kõik eelnevad strateegiad. Kasutada võib fakte, statistilisi andmeid, olulisi seoseid nähtuste vahel, aksioome, mis omakorda tõestust ei vaja (õues sajab vihma). Argumenti ümber lükates tuleb eelkõige lükata ümber väide koos selgitusega, mitte keskenduda näidete ümberlükkamisele. Argumendi teema: · Tänapäeva inimesed peaksid lugema rohkem raamatuid JAATAJA 2 poolt väidet: 1. 2 vastu väidet: 1. ÜLESANDED Enne enne midagi, varem Järele millegi asja järele, auto järele Omandama ta omandas selle oskuse Õieti Enamik Algselt esialgu
stereomeetriaks.Elementaargeomeetria lähtub kolmest põhikujundist: punktist, sirgest ja tasandist. Punkte tähistatakse tavaliselt suurte ladina tähtedega (A, B, C jne), sirgeid väikeste ladina tähtedega (a, b, c jne), tasandeid väikeste kreeka tähtedega (α, β, γ jne). Topoloogia on matemaatika haru, mis uurib kujundite omadusi, mis on invariantsed topoloogiliste teisenduste suhtes. Kujundi all mõeldakse topoloogias punktihulka, mille alamhulgad rahuldavad teatud aksioome. Neid kujundeid nimetatakse topoloogilisteks ruumideks. Topoloogia on nn kõige üldisem geomeetria. Topoloogia peamine ülesanne on tuua välja ja uurida ruumide selliseid topoloogilisi omadusi, mis ei muutu topoloogilistel teisendustel - topoloogilisi invariante. Tähtsaimate topoloogiliste invariantide hulka kuuluvad näiteks sidusus, kompaktsus, mõõde, kaal, fundamentaalrühm, homoloogiarühmad jne.Samuti selgitab ja uurib topoloogia pidevuse ideed
Mõtteid George Orwell raamatutest "Loomade Farm", "1984" George Orwell on öelnud, et kirjutab antiutoopiaid, et panna inimesi tähele panema elu koledusi. Et pöörata rohkem tähelepanu sellele, mis maailmas tegelikult toimub. Kui käsitleda sotsialismi idee tasandil, siis Karl Marx töötas välja ülima valitsemiskorra. Ent idee ja pärismaailm lähevad lahku. Võimatu on panna kirjanduslikke aksioome kehtima päriselus. Võimatu oleks reaalse elu ja filosoofia vahele võrdusmärke asetada. Ükskõik kui väga me üritaksime, keti tugevuse määrab tema nõrgim lüli. Kuid nõrkus on vabaduse tunnuseks. Nõrkus olla see, kes sa oled, ihaleda oma unistusi, ükskõik kui irreaalsed nad ka ei oleks. Kui Karl Marx "Kapitalis" kirjutas, et baas määrab ära pealisehitise, siis ta ei uskunud, et baas võib Parteile iseloomulikult olla valmis kasvõi maailma hävitama kõike
⃗0 =( x 1−x '1) ⃗ e1 + ( x 2−x '2 ) ⃗ e 2+ …+ ( x n −x'n ) ⃗ en . Kasutades vektorruumi aksioome Baas vektorruumis G2 Tasandi geomeetriliste vektorite vektorruum G2 on kahemõõtmeline vektorruum, mille baasiks on mittekollineaarsed vektorid e1 , ⃗ ⃗ e1 . n Baas vektorruumis R
( päikese pöörlemine) Võnkumine- keha, aine või välja mingi omaduse korduv pidev muutumine tasakaaluolekust ühele ja teisele poole. ( helisev pillikeel, kiige võnkumine) Laine- võnkumiste levimine.(veelained) Kuju muutumine- FÜÜSIKA ÜLDPRINTSIIBID Füüsika printsiibid: Atomistlik printsiip, Energia miinimumi printsiip, Tõrjutuse printsiip, Superpositsiooniprintsiip, Absoluutkiiruse printsiip. Printsiipe kasutatakse füüsikas ja aksioome matemaatika. Sarnasus on see, et matemaatilisi valemeid kasutataksegi füüsikas. Atomistlik printsiip- aine kui ka väli ei ole lõputult osadeks jagatav. (juustutükki lõigates ühel hetkel enam väiksemaks ei saa lõigata) Energia miinimumi printsiip- kõik iseeneslikud protsessid kulgevad kehade süsteemi energia kahanemise suunas.(soojus kandub alati kuumemalt külmemale kehale, kivi kukkub allapoole jne)
(sümboliga )näiteks: arv lõppeb 0-iga parajast siis kui ta jagub 10-ga ja vastupidi. 4. vastuväiteline tõestusviis Kui teoreemide tõestamisel üldiselt alustatakse eeldusest ja jõutakse loogilise arutelu käigus väite tõesuseni, siis vastuväitelise tõestuse puhul toimub kogu protsess vastupidi. Vastuväitelise tõestuse korral: 1) alustatakse väitest ja oletatakse, et väide on väär; 2) viiakse läbi arutlus kasutades vajadusel aksioome või varem tõestatud teoreeme; 3) arutluse tulemusel jõutakse järelduseni, et väite eitamine on võimatu, sest viib vastuollu kas teoreemi eelduse või tuntud tõdedega; 4) tehakse kokkuvõte, et kuna väite eitus ei kehti, siis kehtib väide ise. 5.kahe sirge lõikamine sirgega ja sirgete paralleelsuse tunnused. Kaht nurka, mille sisepiirkonnad on ühel pool lõikajat nimetatakse sisenurkkadeks näiteks nurgad 4 ja 5
1*(Normi ja kauguse def. Näidata, et reaalarvu abs.väärtus rahuldab normi ja aksioome)Normiks vektorruumis V nimetatakse reeglit, mis igale vektorile seab vastavusse skalaari , kusjuures on täidetud järgnevad tingimused: 1). 2). 1). *Kauguseks ruumis V nimetatakse reeglit, mis igale kahele selle ruumi elemendile seab vastavusse skalaari d(u,v), kusjuures on täidetud järgnevad tingimused: 1). 2). 3). *Lause: Reaalarvu absoluutväärtus rahuldab normi aksioome. Tõestus: 2*( -ümbruse definitsioon. Reaalarvu ühepoolsed ümbrused. Lõpmatuse ümbrused)Punkti - ümbrukseks nim. hulka *Reaalarvu a R korral saame U(a) = {x R|a - < x < a + }. *Reaalarvu a vasakpoolseks ümbruseks nimetatakse suvalist poollõiku (a - , a], kus > 0. *Reaalarvu a parempoolseks ümbruseks nimetatakse suvalist poollõiku [a, a + ), kus > 0. *Suuruse lõpmatus ümbruseks nimetatakse suvalist vahemikku (M , ), kus M > 0.
kogu oma määramispiirkonnas on kasvav või kahanev. Funktsiooni f nimetatakse kasvavaks ehk rangelt kasvavaks piirkonnas X, kui iga x1 ∈ X ja x2 ∈ X korral, mis rahuldavad võrratust x1< x2, kehtib võrratus f(x1) < f(x2). 1. Naidata, et hulgal X pidevate funktsioonide ruumis C(X) sobib normiks (rahuldab normi Funktsiooni f nimetatakse kahanevaks ehk rangelt kahanevaks piirkonnas X, kui iga x1 ∈ X ja x2 aksioome) || f ||∞ := sup x∈X | f(x)|. ∈X korral, mis rahuldavad võrratust x1 < x2, kehtib võrratus f (x1) > f(x2). 3. Jada definitsioon. Koonduvad jadad, jada piirväärtus. Jada piirväärtuse omadused. Jadaks nimetatakse funktsiooni, mille määramispiirkonnaks on naturaalarvude hulk N = {1, 2, 3, . . .} Ütleme, et jada {xn}∞n=1 koondub suuruseks a (ehk jada {xn}∞n=1 piirväärtus on a) kui iga 0 < ε ∈ R korral leidub N ∈ N nii et xn ∈ Uε(a) iga n > N korral
1 aksioome. Tasakaalu aksioom.Kui vabale kehale mõjub kaks jõudu saab keha olla tasakaalus kui nende jõud on võrdsed F1=F2 vastassuunalised ning mõjuvad piki sama sirget. Kehale millele mõjub üks jõud ei saa kunagi olla tasakaalus. ,,Aksioom antud jõusüsteemi mõju jäigale kehale ei muutu, kui sinna lisada või sealt ära jätta tasakaalus jõusüsteem.3.aksioom Keha ühes punktis rakendatud kahel mitteparalleelsel jõul on resultant, mis rakendub samas punktis ja mida kujutab nende jõudude kui rööpküliku külgedele ehitatud rööpküliku diagonaal.4aksioom ühe materiaalse keha mõjumisel teisele esineb suuruselt sama,kuid vastupidise suunaga vastumõju.5aksioom ehk jäigastamise aksioom.Deformeeruva keha tasakaal antud jõusüsteemi mõjul ei muutu,kui see keha lugeda jäigaks.6aksioomehk sidemete aksioom Aktiivsed jõud koos nende poolt põhjustatud toereaktsioonidega moodustavad välisjõud. 2. Koonduvtasapinnaline jõusüsteem koosneb ühele kehale rakendatu...
kommutatiivne. Järeldus2 AB + ( BC + CD ) = ( AB + BC ) + CD vektorite assotsiatiivsus. Järeldus3 BB = 0 AB = AB + BB on olemas null vektor. Järeldus4 BA = ( -a ) AA = AB + BA 0 = a + ( -a ) eksisteerib vastandvektor. Aksioomid 1 4 seovad algmõisteid punkt ja vektor. Järgnevalt vaatleme aksioome, mis on seotud reaalarvudega. Aksioom*1 Igale reaalarvule ja vektorile a seatakse vastavusse parajasti üks vektor b, nii et b = a. Aksioom*2 ( a ) = ( ) a Aksioom*3 ( a + b ) = a + b Aksioom*4 ( + ) a = a + a Aksioom*5 1 a = a Viimastest aksioomidest saab teha järeldused: Järeldus*1 0 a = 0 Järeldus*2 ( - a ) = ( -1) a
Jääklikme Lagrange kuju............................................................................................................ 13 14.Kahe- ja mitmemuutuja funktsiooni lokaalsete ekstreemumite piisavad tingimused. Üks tingimustest tõestada.......................................................................................... 15 1. Skalaarkorrutis, norm ja kaugus. Aritmeetiline punktiruum ja vektorruum. Näidata, et x Rn korral rahuldavad normi aksioome suurused ||x||2 := xk 2 k , || x ||1 := k | x k | ja || x || := max | x k | . Ruumi Rn vektorite x = (x1; ... ; xn) ja y = (y1; ... ; yn) skalaarkorrutis (xy) defineeritakse seosega xy = x1y1 + ... + xnyn Normiks vektorruumis V nimetatakse reeglit, mis igale vektorile seab vastavusse skalaari , kusjuures on täidetud järgnevad tingimused: 1). 2). 3).
Palju on 9245,66+56-7000, 05? lihtsalt minu fantaasia viljad? Kuidas tõestada Fermat' teoreemi? Mis on inimese elu eesmärk maailmas? Pole võimalik vastata vaatluse ega arvutamise teel! Kimbatus ja Matemaatikas, loogikas, grammatikas, heraldikas, males. abitus: kust/kuidas otsida vastuseid? Vastuse saame kasutades aksioome, reegleid jms "Filosoofilise probleemi vorm on: ,,Ma ei orienteeru."" Ludwig Wittgenstein (2005) IV. FILOSOOFIA VALDKONNAD A. Teoreetiline filosoofia Filosoofias orienteerumiseks tasub tunda filosoofia kr vaatlus, uurimine valdkondi st kus mingite küsimuste/probleemidega tegeletakse
jada elementide väljajätmise teel. Bolzano-WeierstraSi teoreem. Igast tõkestatud jadast saab eraldada koonduva osajada. Konkreetsed: 10. Näidata, et lõpmata väikese suuruse ja tõkestatud suuruse korrutis on lõpmata väike. - 1. Näidata, et hulgal X pidevate funktsioonide ruumis C(X) sobib normiks (rahuldab normi lim xa (c(x)) = c lim xa (x)= c*0=0 aksioome) ||f|| := sup f(x), x X. 2. Näidata, et reaalarvude jaoks saame kauguse defineerida absoluutväärtuse abil (st d(u, v) := |v- 11. Näidata, et kahe lõpmata väikese suuruse korrutis ja summa on lõpmata väikesed. u| lim xa (x)= 0 lim xa (x)= 0 (u,v R) rahuldab meetrika aksioome)
liikumise geomeetrilisi omadusi. Kinemaatika uurib ja kirjeldab kehade liikumist ruumis. Seejuures pole oluline, mis on liikumise põhjuseks. Näiteks saab kinemaatikaseaduste abil arvutada, kui kõrgele lendab otse üles visatud kivi. Selleks kasutatakse liikumisvõrrandeid. Kinemaatika üheks põhimõisteks ja põhiliseks suuruseks on aeg (). See koosneb hetkedest. Kinemaatika jaguneb ja deformeeruva keskkonna kinemaatikaks. Kinemaatikas ei ole aksioome ning rajaneb geomeetria aksioomidele. Aeg mehaanikas on pidevalt ja ühtlaselt muutuv skalaarne suurus, mis ei sõltu üheski ruumipunktis ega üheski taustsüsteemis keha liikumisest. Aeg on sõltumatu muutuja. Kõiki teisi muutuvaid suursi vaadeldakse aja funktsioonidena. on alati aja lugemise algus. Jäiga keha kinemaatika Jäiga keha kinemaatikas (ja punktmassi kinemaatikas) kasutatavate põhiliste suuruste seas on teepikkus s (nihe), kiirus v ja kiirendus a, nurkkiirus ja nurkkiirendus
Demonstratiivne argumentatsioon ei saa tugineda ainult faktidel. Illusioon, et faktidest võib midagi vahetult tuleneda, tekib sellest, et inimesed tuginevad arutlustes teatud eeldustele, mida nad ei sõnasta ning mis tunduvad neile olevat enesestmõistetavad.16 Nimetatud asjaolusid arvesse võttes saab millegi tõestamisest rääkida vaid matemaatikas ja loogikas. Seal tuginetakse aksioomidele ja varem tõestatud teoreemidele ning kasutatakse täpselt määratletud mõisteid. Neid aksioome ja teoreeme vaidlustatakse harva võib-olla on asi selles, et nad puudutavad väga harva kellegi isiklikke huve. 14. Meos 1996, 100 15. Meos 1996, 102 16. Meos 1996, 104 12 Võiks öelda, et tõestus on selline argumentatsioon, mida üldjuhul keegi ei vaidlusta. Et vaid matemaatikas ja loogikas võib kohata selliseid argumentatsioone, ütlemegi, et ainult seal saab rääkida millegi tõestamisest
Mitteformaalse aksiomaatilise teooria skeem: o Fikseeritakse mingi hulk antud teoorias uuritavaid objekte, nendel defineeritud funktsioone ja seoseid ning sümboolika nende tähistamiseks o Teatud hulk väiteid loetakse tõesteks a priori (ilma tõestuseta). Neid väiteid nimetatakse selle teooria aksioomideks o Teooria arendamine seisneb nn. teoreemide tõestamises. Teoreemideks loetakse väiteid, mida saab tõestada ,,ainult aksioome kasutades". Väidete mugavamaks sõnastamiseks võidakse olemasolevate mõistete baasil defineerida uusi Peano aritmeetika aksioomid: o ¬ = 0 o = = o [ + 0 = ] o [ + = ( + )] o [ 0 = 0] o [ = + ] o Kõik valemid kujul 0 &[ ] Aksioomidest P1-P2 saame, et on olemas lõpmatu naturaalarvude jada 0, 0 , 0 , 0 , ... . Tavaliselt tähistame
lähte-eeldustele. Tõsikindluse ja range tõestatuse musterkujuks pidas Spinoza geomeetriat, kus aksioomidest rangelt dedutseeritakse teoreemid. Sellepärast kirjutas ta oma peateose "Eetika" niinimetatud geomeetrilisel meetodil. "Eetika" alguses on antud definitsioonid, siis on sõnastatud aksioomid , edasi on nende definitsioonide ja aksioomide alusel tõestatud teoreemid. Seejuures käsitletakse aksioome seisukohtadena, mille tõestus on intuitiivselt selge. Kõik ülejäänud tõed tulenevad aksioomidest ja definitsioonidest kui oma loogilisest alusest. Uueaegse filosoofia kallimaid aardeid - Ethica more geometrico demonstrara - valati Spinoza poolt geomeetrilisse vormi. Selle viis raamatut käsitlevad: 1. Jumalat; 2. hinge olemust ja algupära; 3. afektide algupära; 4. inimese (vaimset) orjapõlve (s.o. vabaduse puudumist ehk afektide võimu); 5
punkti a ümbruses f(x) on esitatav kujul f(x) =f(a) + f ' (a)(x-a) + 0(x-a), kus lim 0(x-a) / (x-a) = 0 x→a Funktsiooni f(x) diferentseeruvusest punktis x järeldub selle funktsiooni pidevus punktis x, st f(x) ∈ D(x) => f(x) ∈ C(x) KONKREETSED KÜSIMUSED Näidata, et hulgal X pidevate funktsioonide ruumis C(X) sobib normiks (rahuldab normi aksioome)||f||∞ := sup |f(x)|. x∈X 2 kahe reaalarvu x1;x2 ∈ R, kaugust saame arvutada d(x1,x2) = x2 - x1 3 Koonduva jada piirväärtuse ühesuse tõestus. lim (α(x) + β(x)) = lim α(x)+lim β(x)= 0+0=0 x→a x→a x→a 5 Sõnastada jada piirväärtuse peamised omadused. Üks omadus tõestada. 1 Konstantse jada piirväärtuseks on see konstant: ∀x ∈ X(f(x) = c) =⇒ lim f(x) = c
Teoreemi tõestamiseks tuleb teda kirjeldav väide tuletada aritmeetika aluseid kajastavate väidete hulgast, kasutades selle juures lisaks vaid elementaarselt tõeseid väiteid. Kui me niisuguse tuletuse oleme leidnud, on teoreem ilma igasuguse kahtlusevarjuta õige. 1.7 Aksioomid, reeglid ja mittetäielikkus Niisiis on loogikute üks ülesanne välja eraldada mõtlemise kirjapandavaid baaskomponente: oma struktuuri tõttu paratamatult tõeseid väiteid ehk aksioome ja teadalolevalt tõestest väidetest uute väidete moodustamise elementaarseid reegleid. Kõigi selliste mõtlemise baaskomponentide olulisim omadus on, et nende tõesust ei saa tõestada: me lihtsalt teame ehk usume, et nad on tõesed. Enamasti usume me seda sellepärast, et need baaskomponendid on niivõrd lihtsad ja nende tõesus näib olevat paratamatu. Ei saa ju kahelda väites ``kui A, siis A'', samas ei saa seda väidet ka kuidagi tõestada:
Väide: arv jagub viiega NB kasutatakse teoreemi sõnastamisel ja Teoreem. Rööpküliku diagonaalid tõestamisel poolitavad teineteist. Väide: diagonaalid poolitavad teineteist 12.Teoreemi tõestamine - loogiline arutelu; Ül.616 teoreemi tõesuse põhjendamine; Antud AM=AN. Tõesta, et kasutatakse aksioome; lähtutakse TÕESTUS. teoreemi eeldusest ning varem teada 1.Joonisel on võrdhaarne kolmnurk, olevatest tõdedest; jõutakse otsusele, et haarad võrdsed. teoreemi väide on tõene 2.Võrdhaarse kolmnurga alusnurgad on võrdsed. 3.Nurgad 1 ja 2 on alusnurkade kõrvunurgad.
Soovitud puutujatasandi 7. Näidata, et 𝐱 𝛜 𝐑𝐧 korral rahuldab normi aksioome ‖𝐱‖𝟐 ∶= √∑𝐤 𝐱𝐤𝟐 ‖x‖2 ∶= √∑k xk2 = lim =
t. kogemusest sõltumatu teadmine, oma aprioorsusele vaatamata kogemusega kooskõlastuma? Vt. “Prolegomena …” § 6, 7, 8 ja märkus I. Matemaatilise teadmise eripära filosoofilise teadmisega võrreldes . Juba aasta- tuhandeid oli Euroopa teoreetilise mõtlemise jaoks matemaatilise teadmise klassikaliseks näiteks olnud Eukleidese “Elemendid”. Selles raamatus on matemaatiline teadmine esitatud aksiomaatilisel kujul. Esituse aluseks on fundamentaalsed definitsioonid, järgneb rida aksioome ja postulaate, ning seejärel tuletatakse nendest definitsioonidest, aksioomidest ja postulaatidest geomeetria ja aritmeetika teoreemid. Teoreetiline refleksioon selle teose üle oli ammusest ajast juurelnud aksioomide loomuse üle. On need sellised laused, mille tõestust pole veel leitud? Või on nad laused, mis on iseendast evidentsed ja sellisena ei vaja tõestamist? Leibniz, kelle matemaatika-käsitlusega Kant eelkõige polemiseerib, oli veendunud selles, et kõik
Koolkondi/filosoofiavoolusid seob ühine eeldus filosoofia tegemise viisidest: põhiprobleemidest ja meetoditest mida ei panda igapäevaselt kahtuse alla. 3.Selgitage filosoofiliste küsimuste eripära Berlini järgi? Filosoofidele jääv ülesanne on käsitleda kõike seda , mis ei ole haaratav teaduslike meetoditega 1)Empiirilised küsimused: *Kus on Peetri Mantel? Teeme kindlaks vaatluse teel. 2)Formaalsed küsimused: *Palju on 2+3? Vastuse saame kasutades aksioome jms 3)Filosoofilised küsimused: Mis on aeg? Pole võimalik vastata vaatluse ega arvutuse teel! Need on väga mitmekesised: ühed käsitlevad fakte, teised väärtusi; ühed puudutavad sõnu ja sümboleid, teised nende kasutamise meetodeid, osa puudutab seoseid eri teadmisvaldkondade vahel, ühed käsitlevad mõtlemise lähtealuseid, teised kõlbelise, ühiskondliku või poliitilise tegevuse loomust ja eesmärke
Teine võimalus on, et nüüdsest hakkan uskuma lendavate sigade saame vaatluse teel. Vastuseid ei pruugi olla kerge leida, aga me teame kust neid otsida. olemasolusse. Nii ühel kui teisel juhul hoolitsen oma seisukohtade kooskõla eest. b) Formaalsed küsimused *Palju on 9245,66+56-7000, 05? *Matemaatikas, loogikas, . Mis uskumuste süsteem? *Uskumuste süsteemi määratlemise probleem. *Kelle grammatikas, heraldikas, males. *Vastuse saame kasutades aksioome, reegleid jms uskumustega peab väide olema kooskõlas, selleks et see väide saaks olla tõene? b. "Piiskop c) Filosoofilised küsimused *Mis on aeg? Mis on inimese elu eesmärk maailmas? Pole Stubbsi probleem" Vaatame kahte uskumust: 1)"Piiskop Stubbs poodi mõrvari poolt" võimalik vastata vaatluse ega arvutamise teel! Kimbatus ja abitus: kust/kuidas otsida 2)"Piiskop Stubbs suri oma voodis" *Mõlemad uskumused on koherentsed mõne uskumuste
tõese aksioomi püstitamisel negatiivse näite jõud suurem. XLVII Inimaru panevad kõige rohkem liikuma need asjad, mis saavad mõtet tabada ja haarata samal ajal ja järsku; millest fantaasia on harjunud täituma ja täis puhutud saama: aga ülejäänu kohta ta kujutab ette ja oletab, et need on kuidagi, kuigi tajumatul kombel niisugused nagu need vähesed, mis mõtet ümbritsevad; aga selleks et käia läbi kaugete ja heterogeensete näidete juurest, mille peal aksioome läbi katsutakse nagu tule peal, on aru täiesti aeglane ja saamatu, kui teda selleks ei sunnita karmide seaduste ja vägivaldse võimuga. XLVIII 4 Inimaru on ihaldav ega ole võimeline peatuma ja puhkama, vaid kibeleb kaugemale; aga asjata. Seega on mõeldamatu, et oleks mingi maailma äär või lõpp, vaid alati tuleb meile otsekui paratamatult pähe, et on miski kaugem
= või = , siis võrratus (2) kehtib. Seepärast eeldame, et Tõestame nüüd võrratuse (2). Kui ja . Valime suvalise reaalarvu x ja moodustame vektori = + x . Aksioomi 1° põhjal 0 , s.t. ( + x ) ( + x ) 0 . (4) Avame skalaarkorrutise aksioome kasutades sulud: ( + x ) + ( x ) ( + x ) 0, + ( x ) + ( x ) + ( x ) ( x ) 0, + x ( ) + x ( ) + x 2 ( ) 0, + x ( ) + x ( ) + x2
võib saada süsteemi liikumise diferentsiaalvõrrandid. Muutuva massiga kehade mehaanika rajas Peterburgi Polütehnilise Instituudi professor Ivan Mestserski (1859-1935). Oma kuulsa võrrandi esitas ta magistri- dissertatsioonis "Muutuva massiga punkti dünaamika" 1897. aastal. Seda arendas ta edasi ja üldistas 1904. aastal. Raketiteooria looja on K. Tsiolkovski (1857-1935). §2. Dünaamika aksioomid Dünaamika aksioome on neli. Kolmeks esimeseks on Newtoni kolm seadust. Neljanda aksioomi, nn "jõudude mõju sõltumatuse printsiibi" esitas hiljem Lagrange. 1. I aksioom. Inertsiseadus. Punktmass, millele ei mõju jõudusid, säilitab oma paigalseisu või ühtlase sirgjoonelise liikumise seni, kuni talle rakendatud jõud ei sunni teda seda olekut muutma. Selle seaduse avastas juba G. Galilei 1638. aastal. Asi oli nimelt selles, et Vana-
nende definitsioonide loogilised järeldused. (Vrd Poincar´e 1914: II osa, ptk iii.) Geomeetria iseenesest ei käi füüsikalise ruumi koh- ta; ei saa öelda, et see iseendast üldse millegi "kohta" käiks. Aga me võime geomeetriat kasutada füüsikalise ruumi üle arutlemisel. See tähendab, kui oleme kord andnud aksioomidele füüsikalise tõlgenduse, võime järgnevalt rakendada teoreeme objektide pu- hul, mis rahuldavad neid aksioome. Kas geomeetriat saab raken- dada tegeliku füüsikalise maailma puhul või ei, on empiiriline küsimus, mis jääb väljapoole geomeetria enese ulatust. Seetõttu pole mõtet küsida, millised meile teadaolevatest arvukatest geo- meetriatest on väärad ja millised tõesed. Sel määral, mil need kõik on vabad vasturääkivustest, on nad kõik tõesed. Küsida võib, mil- line neist on mingil antud juhul kõige kasulikum, millist neist saab
vahetatavad, s. t.(AT )-1= (A-1)T . VEKTORRUUM (ÜLE REAALARVUDE HULGA): Mittetühja hulka V nimetame vektorruumiks üle reaalarvude R, kui hulgal V on järgmine ehitus: I On antud kujutus + : V × V ->V; (x, y) -> x + y, mida nimetame (hulga V) elementide liitmiseks. II On antud kujutus : R × V -> V; (, x) -> x, mida nimetame (hulga V) elemendi korrutamiseks reaalarvuga (vasakult) . III Elementide liitmine ja reaalarvuga korrutamine peavad rahuldama järgmisi aksioome: 1. Elementide liitmine on assotsiatiivne, s. t. iga x, y, z V korral kehtib (x + y) + z = x + (y + z). 2.Hulgas V leidub selline element, mida nimetame nullelemendiks ja tähistame 0 abil, et iga x V korral kehtivad seosed x + 0 = x, 0 + x = x. 3.Iga elemendi x V korral leidub hulgas V selline element, mida nimetame elemendi x vastandelemendiks ja tähistame -x abil, et kehtivad seosed x + (-x) = 0, (-x) + x = 0. 4.Elementide liitmine on kommutatiivne, s.t. iga x, y V korral x + y = y + x. 5
32. Palun loetleda üles tarbijate ostukäitumise mõjurid? 33. Selgitage lühidalt turunduse mõjurite olemust tarbijate ostukäitumises? Turundus saab tarbijaid mõjutada turunduskomplekside abil. Et ostustiimulid oleksid tugevad, on vaja õigesti valida nelja turundusinstrumendi kombinatsioon. Esmajärjekorras tuleb määratleda toode, mis vastaks turu vajadustele. Kui teil pole õiget toodet, siis pole teil mitte midagi, kõlab üks turunduskompleksi kujundamise aksioome. Tarbija valib toote selles sisalduvate väärtuste järgi. Otsuse langetamisel võrdleb ta tootest saadavat tulu tehtavate kulutustega. Seepärast tuleb ostustiimulitena käsitleda nii tulus sisalduvaid väärtusi kui kulude struktuuris olevaid elemente. 34. Selgitage lühidalt keskkonna mõjurite olemust tarbijate ostukäitumises? Majanduslikest mõjuritest üheks olulisemaks on ostujõud. Ostujõud näitab raha suhtelist
3. Võrdluse tabel- Tabelis on esitatud näited erineva intensiivsusega oma uurimuse laadi. Et saada õige tulemuse kasutatakse järgmisi eeskirju: ühe uuritava looduse suurenemise või vähenemise puhul peab minti teine loodus muutma sama kvaliteedi ja kvantiteedi suunas. 21) ohud looduse uurimisel (Eessõna) Looduse tõlgendamiseks on vaja meetodit: “me ei ammuta tegu teost ega katset katsetest sarnaselt empiirikutele, vaid põhjuseid ja aksioome teost ja katsetest ning põhjustest ja aksioomidest uuesti teo ja katsed...” Looduse tõese tõlgenduse raskused: • Meeled – on küündimatud ja petlikud • Aru – sünnipärane loomus ja suunatus Metafoorid: ämblik, sipelgas, mesilane Locke: (1632-1704) 22) milles seisneb Locke`i tunnetusteoreetiline empirism (teadmine ja kogemus) Kõik ideed tulevad aistimisest ja refleksioonist. Oletame siis, et vaim on niiöelda
Ka makromaailmas esineb määramatust, mida see seadus ei arvesta: näiteks sotsioloogiliste küsitluste korral vastuste lahter “ei oska öelda”. Küllaldase aluse seadus: iga väidet tuleb põhjendada mingi teise väitega, mille tõesus on kontrollitud. Öeldakse ka nii, et me peame mõtlema küllaldasel alusel. See välistab tühjade juttude, laest võetud andmete, pseudoteaduste jne kasutamist. Põhjendamiseks (tõestamiseks) kasutatakse faktilist materjali, aksioome, teoreeme, mõõtmisi, loodusseadusi, loogikaseadusi jne. Näide. Ma väidan, et olen pikem kui mu poeg. Kuidas tõestada? Tuleb pikkusi võrrelda üldtunnustatud etaloni - joonlauaga. Lõpetuseks üks Otsene tõestus analoogia põhjal TEES: kägu on sarnane sputnikuga ARGUMENT: nii sputnik kui kägu kukuvad kuid alla ei kuku. TÕESTUS: analoogia põhjal võib öelda, et nad on sarnased. Viga: rikutud on samasuse seadust (argumendis muutub “kukkumise” sisu). 2.4
Upanisadid sisaldavad vestlusi 8 filosoofide vahel. Veda-kirjandusest sündis suutrate stiil, millest sai hilisem teaduskirjandus. Küsitakse, kuidas altar ehitada (arhitektuur), millal rituaal läbi viia (kalender). Sutra tähendab lõnga, millega palmilehtedele kirjutatud tekstid kokku seoti. Juhtnöörid pandi kirja aksioomlausetena. Seetõttu tekkisid suutratele omakorda kommentaarid, mis ümbritsesid aksioome bhasa (bhasya). Teaduskirjandus on üles ehitatud samal eeskujul. Teaduskirjandus Jaguneb sisuliste teemade kaupa. Dharmatekstid (dharma õiglus, moraal, ka aatom; siin üks inimese elu eesmärkidest). Elu eesmärk pidi vastama seadmusele. Kamatekstid: kama e füüsiline kirg (,,Kamasutra"). Kõik võis lähtuda ka artha'st (eesmärk, siht; selles kontekstis kasu) kasule orienteeritud kirjandus. Moksakirjandus (moksa e vabanemine): religioossed
Tarbija ostukäitumise mõjurid. Järgnevalt vaadeldakse, kuidas loetletud mõjurid toimivad ostukäitumisele. 5.2. Turunduse mõjurid Turundus saab tarbijaid mõjutada turunduskomplekside abil. Et ostustiimulid oleksid tugevad, on vaja õigesti valida nelja turundusinstrumendi kombinatsioon. Esmajärjekorras tuleb määratleda toode, mis vastaks turu vajadustele. “Kui teil pole õiget toodet, siis pole teil mitte midagi,” kõlab üks turunduskompleksi kujundamise aksioome. Tarbija valib toote selles sisalduvate väärtuste järgi. Otsuse langetamisel võrdleb ta tootest saadavat tulu tehtavate kulutustega (vt. joonis 18). Seepärast tuleb ostustiimulitena käsitleda nii tulus sisalduvaid väärtusi kui kulude struktuuris olevaid 2 elemente. Sageli rõhutatakse üksnes toote ratsionaalseid väärtusi, jättes esile toomata emotsionaalsed küljed
5. paralleelide aksioom: väljaspool sirget asuvat punkti saab läbida ainult üks sirge, mis selle sirgega ei lõiku. *. Kui kumbki kahest asjast on võrdne kolmandaga, siis on ka need kaks omavahel võrdsed. [Nendest tõdedest lähtudes tõestab Eukleides näiteks, et leidub ainult viit sorti korrapäraseid hulktahukaid väide, mis pole sugugi silmanähtav. Selle teoreemi tuletatavus eeltoodud aksioomidest on seda hämmastavam, et osa aksioome (3-5) on väga üldise iseloomuga, mitte eriomase geomeetrilise sisuga.] [Carnap: Paralleelide postulaadi ümber palju vaieldud, kuni XIX saj.-ni vaid sel teemal, kas ta on aksioomina vajalik. Paljud matemaatikud uskusid, et ta võib saada teistest aksioomidest tuletatud teoreemiks. Tegelikult olid kõik need katsed loogiliselt vigased ja põhinesid kantiaanlikul intuitsioonil, mille järgi geomeetria aksioomid selged ja lihtsad pidid olema õiged. (Kanti aprioorne süntees
Mõned süllogismi moodused vastavad kehtivale süllogismile, teised ei vasta. Aristoteles analüüsis empiiriliselt süllogismi mooduseid ning sõnastas lihtsa kategoorilise süllogismi reeglid, mille täitmine võimaldab koostada kehtivaid süllogisme. Süllogismi reegleid saab kasutada ka süllogismi kehtivuse kriteeriumidena, hindamaks, kas antud süllogism on kehtiv või mitte. Süllogismi reeglite põhjendamiseks traditsioonilises loogikas kasutatakse süllogistika aksioome.3 Süllogismi reeglitele vastav süllogism on kehtiv arutlus ning juhul, kui eeldused on tõesed, on tõene ka lõppjäreldus ning arutlus on korrektne. Lihtsa kategoorilise süllogismi reegleid võib liigitada terminite ja eelduste reegliteks. Neist piisab iga kategoorilise süllogismi kehtivuse või kehtetuse määramiseks. SÜLLOGISMI TERMINITE REEGLID 1. Igas süllogismis peab olema mitte vähem ega rohkem kui kolm terminit (kolme termini reegel)
armastust ja tundeid puudutavaid filosoofilisi · Eneseteadvus teemasid. · GOGITO, ERGO SUM. mõtlen, järelikult olen · Lõpuks kutsub Rootsi kuninganna ta oma olemas. õukonda. · Siin leiab sõnastuse läänemaise filosoofia üks · Ta soostub minema. Külmetub Rootsis ja sureb kuulsamaid filosoofilisi aksioome. kopsupõletikku paar kuud pärast Rootsi saabumist. · Ükskõik kui palju ma kahtlust ei lisaks, vähemalt · "Arutlus meetodist" 1637 üks tõde on väljaspool kahtlust: mu enda · Õige mõistuse kasutamise juures olemasolu. · Tuleb vältida kõiki eelarvamusi ja tõesena tunnustada üksnes seda, mis on selgelt ja · Jumalatõestus
D α Joonis 4.29 Need reaktsioonjõud täidavad kindlalt alapunktis 4 toodud reeglit, nii võiks seega ülesannet lahendada küll (muidugi, jõudusid tuleb siin veel joonistada). Niimoodi lahendades tulevad tasakaaluvõrrandid aga äärmiselt ebamugavad ja seetõttu nii lahendama ei hakata. Teisendame jõudude süsteemi punktis A, kasutades staatika aksioome. 1. Keha ühte punkti A on rakendatud kaks jõudu. Liidame need rööpküliku reegli põhjal kokku. FA FA1 FA 2
Mõned süllogismi moodused vastavad kehtivale süllogismile, teised ei vasta. Aristoteles analüüsis empiiriliselt süllogismi mooduseid ning sõnastas lihtsa kategoorilise süllogismi reeglid, mille täitmine võimaldab koostada kehtivaid süllogisme. Süllogismi reegleid saab kasutada ka süllogismi kehtivuse kriteeriumidena, hindamaks, kas antud süllogism on kehtiv või mitte. Süllogismi reeglite põhjendamiseks traditsioonilises loogikas kasutatakse süllogistika aksioome.3 Süllogismi reeglitele vastav süllogism on kehtiv arutlus ning juhul, kui eeldused on tõesed, on tõene ka lõppjäreldus ning arutlus on korrektne. Lihtsa kategoorilise süllogismi reegleid võib liigitada terminite ja eelduste reegliteks. Neist piisab iga kategoorilise süllogismi kehtivuse või kehtetuse määramiseks. SÜLLOGISMI TERMINITE REEGLID 1. Igas süllogismis peab olema mitte vähem ega rohkem kui kolm terminit (kolme termini reegel)
· FP (1978) · Miranda (1978) · ML (1980) · Hope Loogilised keeled Loogiliste keelte omapära seisneb selles, et nendes kirjutatud programm kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi. Loogilisi ja funktsionaalseid keeli nimetatakse teinekord ka deklaratiivseteks keelteks, s.t.
• Miranda (1978) • ML (1980) • Hope Loogilised keeled Loogiliste keelte omapära seisneb selles, et nendes kirjutatud programm kirjeldab ülesandes kasutatavate objektide seosed loogiliste avaldistena, mille väärtused saavad olla kas tõesed või väärad. Ka programmi töö tulemuseks on esitatud küsimuse tõeväärtus. Võib ka rääkida selliselt, et loogilise 14 / 115 programmeerimise käigus pannakse kirja aksioome ja programmi täitmise käigus püütakse tõestada esitatavaid väiteid. Tuntumaks loogiliseks keeleks on Prolog, mis on välja töötatud 1970. aastate alguses. Kui jaapanlased rääkisid viienda põlvkonna arvutitest, mis hakkab suhtlema kasutajaga hääle abil, siis planeerisid nad kasutada uutes arvutites just Prologi. Loogilisi ja funktsionaalseid keeli nimetatakse teinekord ka deklaratiivseteks keelteks, s.t. programmis me kirjeldame ehk deklareerime seoseid ja reegleid,
defineeritakse vähim element min X ehk min {x | x ∈ X}. Suurimat elementi nimetatakse ka maksimaalseks ja vähimat elementi minimaalseks. Märkus 1. Hulgateoorias nõutakse lineaarse järjestuse seoselt sageli, et ta oleks refleksiivne, antisüm- meetriline, transitiivne ning kõik elemendid oleks omavahel võrreldavad. Vahetu kontroll näitab, et 4 on selline seos parajasti siis, kui < on seos, mis rahuldab aksioome (O1)–(O2), kus a 4 b ⇔ a < b ∨ a = b. Märkus 2. Kui järjestus 4 hulgas A pole lineaarne, st. kui leiduvad elemendid, mis pole omavahel võrreldavad, siis on suurima ja maksimaalse elemendi mõisted erinevad. Nimelt öeldakse, et a ∈ A on hulga X ⊆ A maksimaalne element, kui a ∈ X ning iga x ∈ X korral kehtib implikatsioon a 4 x ⇒ a = x. Seega iga suurim element on ühtlasi maksimaalne, aga mitte tingimata vastupidi. Samasugune
meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse". Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria ,,mittevastuolulisust" antud teoorias tõestada. Just niimoodi
meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse". Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria ,,mittevastuolulisust" antud teoorias tõestada. Just niimoodi
meetodit, milledeks on siis vaatlus, eksperiment, mõõtmine, modelleerimine, mitmesugused võrdlused, klassifikatsioon, arutlused analoogia alusel, hüpoteeside püstitamine, teooriate kasutamine, analüüs ja süntees, induktsioon ja deduktsioon jne. Teoreetilist meetodit on olemas peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab „vastuolulisuse“. Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria „mittevastuolulisust“ antud teoorias tõestada. Just niimoodi
kolmest surnud vaalist, millel kiigub maailm. Ergo -- usk on matemaatiliselt absoluutne vale, matemaatiline vale. Niisugune on usu ja matemaatika vahekord. Seda ütlen teile kui sotsialist. Teine asi muusika. Igas leierkastiski on rohkem tõtt kui muinasjutus kolmest surnud vaalist, sest leierkastil on osa matemaatikast, mis on sfääride muusika. Kas saab muusikat tõestada? Ei! Muusika on tõestamatu. Aga matemaatika? On tema tõestatav? On keegi tõestanud aksioome? Näete, ka matemaatika on tõestamatu. Teda võib ainult õppida, kui on peaaju. Mina kasvatan teile matemaatilise peaaju. Selleks tulete täna õhtul kell viis minu juurde, sest mina tahan teist teha esimesed inimesed härra Mauruse kooli. Mõistate? Esimesed inimesed, kes taipavad, mis sadajalgne on pi ja mis ninasarvik logarütm. Kuulsite: kell viis! Mäe uulits 26. Kui ma kodu ei ole, astuge sisse: uks on lahti; oodake, kuni tulen."
annaabi.ee 
