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. Iga lause on kas tõene või väär · Mittevasturääkivuse seadus...
Sissejuhatus,lausearvutus,loogikaseadused Milliste matemaatikavaldkondadega Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele pideva matemaatika valdkondadega, ehk nendega, kus tegeletakse pidevate funktsioonidega. Näiteks matemaatiline analüüs, integraal- ja differentsiaalaarvutused. Milliste arvudega diskreetne matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega. Mis on verbaalne esitus? Mistahes info esitamine lingvistilise keele abil, nii suulisel kui kirjalikul kujul. Näiteks ajaloo ja filosoofia puhul on tegemsit aladega, kus kogu info on verbaalsel kujul. Mis on formaalne esitus? Mistahes info esitamine, reeglina kirjalik info,ilma lingvistilise keele abita, ehk esitus kokkulepitud sümbolite abil. Näiteks matemaatika, füüsika, keemia, kus infot esitakse nii formaalselt kui verbaalselt. Milline omadus peab olema formaalsetel esitlustel? Mistahes formaalne esitus peab olema üheselt tõlgendatav...
Lausearvutuse tehted, 3. KT Eitus ¬p Konjunktsioon p & q. (korrutustehe) Loomulikus keeles on konjunktsiooni indikaatoriteks ja, ning, ent, kuid, aga, nii...kui ka...; vahel võib konjunktsiooni tähistada ka punkt või koma. Disjunktsioon p ∨q. Või (liitlause) Lause on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. Lause on väär vaid siis, kui mõlemad p ja q on väärad (0). Implikatsioon p →q. Lause on väär ainult siis, kui p on tõene ja q on väär. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. Ekvivalents p↔q. Loomulikus keeles on ekvivalentsi indikaatoriteks väljendid … siis ja ainult siis, kui … ; … parajasti siis, kui … ; tarvilik ja piisav tingimus; ühekorraga. Lause on tõene ...
Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks. Kokkulepped sulgude kohta: 1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->. 2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsu...
Diskmatt terminid Lausearvutus Disjunktsioon: liitlause on tõene, kui vähemalt üks osalause on tõene Ekvivalents: liitlause on tõene, kui osalaused on sarnased Implikatsioon: liitlause on tõene, kui esimene muutuja on väär või teine muutuja on tõene Inversioon: eitus Ja-tehe: konjunktsioon Konjunktsioon: liitlause on tõene, kui mõlemad osalaused on tõesed Lause: iga lause, mille puhul saab rääkida tema vastavusest tegelikkusele (millel on tõeväärtus) Olemasolu kvantor: näitab, et predikaat kehtib oma määramispiirkonna vähemalt ühe muutujate puhul Predikaat: lause, mis sisaldab ühte või enamat muutujat Samaselt tõene predikaat: predikaat, mis kehtib kogu määramispiirkonnas Samaselt väär predikaat: predikaat, mis ei kehti kusagil määramispiirkonnas Tautoloogia: samaselt tõene lause Täidetav predikaat: predikaat, mis on tõene osas oma määramispiirkonnas Üldsuse kvantor: näitab, et predikaat kehtib oma m...
Diskreetse matemaatika elemendid 2013/2014 LAUSEARVUTUS. TÕESTUSED. 1. Lausearvutuse lausetele esitatavad tingimused. [1] o Välistatud kolmanda seadus. Iga lause on kas tõene või väär. o Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. o Nende nõuete põhjal kuuluvad vaadeldavate hulka ainult nii sugused laused, mis midagi väidavad, kusjuures sellel väitel on olemas ühene tõeväärtus. o . Välistatud kolmanda seaduse nõudel jäävad kõrvale kõik küsilaused ja paljud hüüdlaused, samuti kõik käsud ning mõttetud sõnaühendid. Mitte-vasturääkivuse seadus välistab mitmesugused paradoksid, näiteks „See lause siin on väär“, ja muud taolised väited, mille tõeväärtust pole võimalik üheselt määrata. o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2. Lausearvutuse tehted. Tehete järjekord. Lausearvutuse valem. [1] Tehted o Eitus (märk ¬). Igapäevake...
MATEMAATILINE LOOGIKA 1. LAUSEARVUTUS Lausearvutuse tehted: Eitus (¬) Konjuktsioon (&) Disjunktsioon (V) Implikatsioon (->) Ekvivalents (<->) Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: o iga lausemuutuja on lausearvutuse valem o kui F on lausearvutuse valem, siis ka ¬F on lausearvutuse valem o kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG), (F->G) ja (F<->G) on lausearvutuse valemid Lausearvutuse valemi F tõeväärtus etteantud väärtustusel leitakse järgmiste reeglite abil: o 1) Kui F = ¬G, siis F = 1 parajasti siis, kui G = 0 o 2) Kui F = G & H, siis F = 1 parajasti siis, kui G = 1 ja H = 1 o 3) Kui F = G H, siis F = 1 parajasti siis, kui G = 1 või H = 1 o 4) Kui F = G H, siis F = 1 parajasti siis, kui G = 0 või H = 1 o 5) Kui F = G H, ...
IT MATEMAATILISED ALUSED Loogika (TAUNO ÕUNAPUU) 30.01.14 Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kuntslikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest.Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises. Predikaatarvutus on lausearvutuse laiendus...
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. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjun...
Tingimuslaused Tingimuslaused suunavad programmi tegevuste sooritamist vastavalt sellele, kuidas on täidetud vajalikud tingimused. NB! *Tingimuslause kirjutamisel ümbritsetakse mitmest lausest koosnav grupp loogeliste sulgudega st võetakse gruppi. *Üksiku lause puhul loogelisi sulge vaja pole(kuid võib panna). *Võtmesõnadega(praegusel juhul if ja else-iga) algavate lausete lõppu semikoolonit ei tohi! Näiteks: if(x==o) //Kui muutuja x väärtus on 0, x=1 // siis omistada x-i väärtuseks 1. if lause if lausel on kaks kuju: A) Sisaldab ainult if operaatorit Ühelauseline if if(tingimusavaldis) lause1; Mitmelauseline if if(tingimusavaldis) { lause1; lause2; lause3; } B) Sisaldab if ja else operaatorit else osa täidetakse siis kui ta on väär(false) Kirjutamisel on kaks varianti if(tingimusavaldis) if(tingimusavaldis){ { lause1; lause1;...
Arutluse tõestamine Arutlust saab loogikas esitada kujul: E1 E2 E3 ... En J kus E1 ... En on lausearvutuse avaldistena esitatud eeldused ja J (kontrollimist ootav) järeldus. Seoseks, mis viib eeldusest järelduseni saab kasutada lausearvutust. Nimelt võib ülaltoodud arutluse esitada ühe lausearvutuse valemina kujul: E1&E2&...&En J Kui nüüd sellise lause tõeväärtustabel on samaselt tõene, siis võime öelda, et järeldus J järeldub eeldustest E1 ... En. Näide 1. Kui Marile meeldib Jüri, siis Mari naeratab Jürile. Marile meeldib Jüri. Mari naeratab Jürile. Teisendame arutluse lausearvutuse kujule MN M N Ja esitame selle ühe avaldisega: (MN)&MN. 1. 2. 3. M N (M N) & M N 1 1 1 1 ...
Lausearvutus 1) a. Lausearvutuse lausetele esitatavad tingimused: a.i. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. a.ii. Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. a.iii. Tehteid võib teostada ükskõik milliste lausetega. a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2) a. Eitus (märk ¬). Lause mittekehtimine. b. Konjunktsioon (märk &) tähendab seost ,,ja". c. Disjunktsioon (märk ) väljendab seost ,,või". Siin on kasutusel mittevälistav ,,või". d. Implikatsioon (märk ) väljendab tingimuslikku konstruktsiooni ,,kui ..., siis ...". e. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost ,,parajasti siis, kui". f. Tehete järjekord kõrgemast madalamani ¬, &, , , . ...
1_fl_i-v L1. SISSEJUHATUS Mõtlemine on käsiteldav kui igasugune aktiivne vaimne protsess. Tulemuslikku mõtlemist iseloomustab abstraheerimine, analüüs ja süntees. Mõtlemisvahendite põhjal võib seda jaotada · kaemuslik-motoorne, · kujundlik · sõnalis-loogiline (verbaal-loogiline). Sõnalis-loogiline mõtlemine tugineb mõistetele. Verbaalne mõtlemine avaldub inimese oskuses ... · opereerida mõistetega, neid võrrelda ja analüüsida; · püstitada hüpoteese, formuleerida kontseptsioone ja teooriaid; · seletada olemasolevaid teadmisi; · saada uusi teadmisi olemasolevate põhjal. Ratsionaalne mõtlemine on järjekindel ja reeglipärane (ehk loogiline) mõtlemine. See võib olla korrigeeritud kogemusega, mille allikaks peetakse tegelikkust. Eesmärgiks on sageli tegelikkusega kohanemine. Irratsionaalne mõt...
1. LOENG Sissejuhatus Lausearvutus: Teoreemid sõnastatakse tavaliselt kujul: ,,Kui A, siis B". Teoreemi osa A, mis on seotud sõnaga kui, nimetatakse teoreemi eelduseks, ja osa, mis on seotud sõnaga siis, väiteks. Näide: Kui kaks vektorit on risti, siis nende vektorite skalaarkorrutis on null. Näide: Kui nurgad on kõrvunurgad, siis nende summa on 180o. Teoreemi tõestamine tähendab selle näitamist, et eeldusest A järeldub väide B. Tõestamisel lähtutakse aksioomidest ja varem tõestatud teoreemidest. Vahetades teoreemis ,,Kui A, siis B" eelduse ja väite, saame lause ,,Kui B, siis A". Seda lauset nimetatakse antud lause pöördlauseks. Kui lause kehtib, siis selle lause pöördlause ei pruugi kehtida. Näide: Lause: ,,Kui arv lõpeb nulliga, siis ta jagub viiega" (kehtib). Pöördlause: ,,Kui arv jagub viiega, siis ta lõpeb nulliga" (ei kehti). Näide: Lau...
Kursuse "Filosoofia ja loogika" (HS-310) loogika osa loengukonspekt Argumentatsiooni (arutluse) komponendid Üldiselt: argumentatsioon on omavahel (loogiliselt) seotud väidete kogum, mille eesmärk on meid milleski veenda (nt mingi seisukoha õigsuses, mingi tegevuse soovitavuses. Just veenmine on komponent, mis eristab argumentatsioone ka teistest loogiliselt seotud väidetekogumitest: näiteks "Ma kihutan autoga sellepärast nii kiiresti, et mul on gaas põhjas" pole mitte argumentatsioon, vaid seletus. Väited Oma vormi poolest on väited subjekt-predikaat konstruktsioonid1: Subjekt see väite komponent mille kohta midagi väidetakse. Predikaat - see väite komponent, mida väidetakse. Oma sisu poolest jaotuvad subjekt-predikaat konstruktsioonid laias laastus hinnanguteks ja propositsioonideks. Propositsioon on väitelause mõte või sisu, mis saab olla tõene või väär. Nt ei saa olla tõene või väär väite "L...
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. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunk...
1.LOOGIKA AINE JA PÕHIREEGLID Ratsionaalne mõtlemine- järjekindel ja reeglipärane mõisteline mõtlemine, kusjuures reeglid peavad olema mingil viisil õigustatud. Need võivad tugineda nt kogemuse üldisusele, mille allikaks peetakse tihti tegelikkust. Ratsionaalse mõtlemise eesmärk- tegelikkusega kohanemine. LOOGIKA UURIMISVALDKOND ongi peamiselt ratsionaalse mõtlemise seaduspärasused ja mõtlemise aktide produktid. Irratsionaalne mõtlemine- ebakindel, reeglipäratu või järgib väljendamatuid või vaieldavaid reegleid. Ei kuulu otseselt loogika uurimisvaldkonda, kuid selle olemasoluga tuleb arvestada. Võib tugineda mõtleja sisemistele ajenditele, nt soovidele või hirmudele, sageli neid ajendeid ei teadvustata. Mõnikord on mõtlemise aluseks irratsionaalne soov või usk, aga arutluskäigud võivad olla vägagi ratsionaalsed. Intuitsioonile tuginev irratsionaalne mõtlemine ehk intuitiivne mõtlemine võib olla mõnes olukorras isegi efektiivsem kui loog...
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, implikatsioon, ekvivalents. Binaarsed tehted on need tehted, mida saab teh...
Loogika harjutuseksami küsimused-vastused 1. Hägusloogikas võib lause tõesusaste olla: 0,25 2. Kui unaarne predikaat ei ole samaselt väär, siis on see kindlasti: Kehtestatav 3. Milline traditsioonilise loogika põhireegel ei ole otseselt ega kaudselt kasutusel klassikalise loogika põhialuste fikseerimisel: Küllaldase aluse seadus 4. Kuidas jagunevad küsimused vastuste hulga alusel? Õiged ja ebaõiged. 5. Atributiivse lihtväitena termin on alati piiritletud, kui ta esineb… Eitava väite predikaadina 6. Disjunktsioonitehte eitus on … Selle operandide eituste konjunktsioon. 7. Traditsioonilisele arutlusele „üldiselt üksikule“ vastab klassikalises loogikas … Üldisuskvantori eemaldamine. 8. Olgu antud süllogism: „Kui kana ei mune, siis ta ei kaaguta. Kana kaagutab, seega ta muneb.“ Millise süllogismi moodusega on tegu? Kehtiv modus tollens 9. Milline allpool toodud operaa...
Mis on Diskreetne Matemaatika ? Termineid: — verbaalne esitus on mistahes info esitamine lingvistilise keele abil. " diskreetne " ≡ " mitte pidev " ehk " astmeline " — formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk kokkulepitud sümbolite abil. vs. " Diskreetne Matemaatika " ↔ " Pidev Matemaatika " NB! MÕTLEMINE on alati verbaalne ehk toimub mingi lingvistilise keele Diskreetne Matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. abil. ...
SEMANTILINE KOLMNURK: TEEMA 1!! 1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tšcnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: • sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; • mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; • teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma mõtteid väljendada; • loogika kui teadus (õpetus, filosoofia vms), mis uurib keeles väljenduva mõtlemise kõige...
1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: · sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; · mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; · teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma ...
1. Olgu meil kasutada predikaadid ISA(x,y), EMA(x,y) ja MEES(x) mis tähendavad vastavalt, et x on y isa, x on y ema ja x on meessoost. Predikaatmuutujate määramispiirkonnaks on kõigi inimeste hulk. Väljendada predikaatarvutuse abil sugulussidemed: a) õed - x ja y on õed kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬(MEES(x) MEES(y))). või x on y-i õde kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬MEES(x)) lugesin õigeks ka nö. kasuõdede variandi. (25% õigeid vastuseid) b) vanatädi - x on y-i vanatädi kui xy (VANATÄDI(x,y) zuvw((EMA(z,y) ISA(z,y)) & (EMA(u,z) ISA(u,z)) & EMA(v,u) & EMA(v,x) & ISA(w,u) & ISA(w,x) & ¬mees(x)) siin seega z on y-i ema või isa, u on vanaema või vanaisa ja x on viimase õde. (7% õigeid vastuseid) 2. Kui mu abikaasa mind petab, siis jätan ta maha või hakkan ka ise teda petma. Kui ma oma abik...
AIY3310 Diskreetne matemaatika Lühikonspekt Käesolev lühikonspekt katab suure osa aines AIY3310 (endise koodiga LIY3310) loetavast. Samal ajal ei saa seda materjali vaadelda kui antud aine täiskonspekti, mille läbitöötamine garanteeriks hea eksamiresultaadi. Loengutes ja harjutustundides käsitletakse mitmeid probleeme tunduvalt põhjalikumalt. Sellest hoolimata usun, et antud kirjutisest on paljudele tudengitest lugejatele kasu valmistumisel kontrolltööks ja eksamiks. Margus Kruus HULGATEOORIA PÕHIMÕISTEID HULK - algmõiste, intuitiivse definitsiooni järgi objektide kogum. George Cantor (1845-1918) - saksa matemaatik, hulgateooria rajaja. Hulgad jaotuvad lõpmatuteks ja lõplikeks. Meie kursuses käsitletakse lõplikke hulki, mõnikord ka lõpmatuid loenduvaid hulki. Hulgateoreetilised operatsioonid · Hulkade ühend AB={x |(xA)V (xB)} · Hulkade ühisosa (lõige) AB={x |(xA)& (xB) · Hulga täiend A = { x | ( x I ) & ( x A ) }, kus I on n...
HULGATEOORIA PÕHIMÕISTEID HULK - algmõiste, intuitiivse definitsiooni järgi objektide kogum. George Cantor (1845-1918) - saksa matemaatik, hulgateooria rajaja. Hulgad jaotuvad lõpmatuteks ja lõplikeks. Meie kursuses käsitletakse lõplikke hulki, mõnikord ka lõpmatuid loenduvaid hulki. Hulgateoreetilised operatsioonid Hulkade ühend A B = { x ( x A) V ( x B ) } Hulkade ühisosa (lõige) A B = { x ( x A) & ( x B ) Hulga täiend A = { x ( x I ) & ( x A ) }, kus I on nn. universaalhulk. Hulkade vahe A B = { x ( x A) & ( x B ) } Hulkade sümmeetriline vahe A B = { x (( x A ) & ( x B )) V (( x A ) & ( x B )) } Hulga A astmehulgaks 2A nimetatakse hulga A kõigi alamhulkade hulka. Hulgateoreetiliste operatsioonide omadused Kommutatiivsusseadused A B = B A B = B Assotsiatiivsusseadused A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C Distributiivsusseadused A ( B C ) = ...
MATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED, ÜLESANDED LEA PALLAS I OSA SISUKORD 1. ARVUHULGAD …………………………………………………… 2 2. ARITMEETIKA ……………………………………………….…… 3 2.1 Mõningate arvude kõrgemad astmed ………………………….……. 3 2.2 Hariliku murru põhiomadus ………………………………….…….. 3 2.3 Tehetevahelised seosed ……………………………………….…….. 3 2.4 Tehted harilike murdudega ………………………………….……… 4 2.5 Tehete põhiomadused ……………………………………….……… 5 2.6 Näited tehete kohta positiivsete ja negatiivsete arvudega …….…….. 5 2.7 Näited tehete kohta ratsionaalarvudega ……………………….……. 6 2.8 Protsent ja promill …………………………………………….……. 8 2.9 Näited protsentarvutusest …………………………………………... 9 2.10 Arvu absoluutväärtus ………………………………………………. 10 2.11 Ülesanded ……………………………………………………….….. 11 3. ALGEBRA …………………………………………………….……. 12 3.1 Astmed ………………………...
Eesti Põllumajandusülikool Tehnikateaduskond Mehaanika ja masinaõpetuse instituut Enno Saks Joonestuspakett AutoCAD 2000 (versioon 15.0) II Kolmemõõtmeline raalprojekteerimine & Programmeeritud joonestamine Tartu 2000 1. Ruumilised koordinaadid Ruumiliste jooniste valmistamiseks on vajalik tunda tähtsamaid ruumilisi koordinaatsüs- teeme (vt joonis 1): ristkoordinaate xyz, silinderkoordinaate rz ja sfäärkoordinaate . Silinderkoordinaatide saamiseks tuleb punkt P(x,y,z) projekteerida XY-tasandile, selleks on joonisel 1 punkt P'(x,y,0). Punkti P' kaugus koordinaatide algusest O ongi parajasti polaar- raadius r (r = x 2 + y 2 ), polaarnurk (0O < 360O , või ka 180O < 180O ) on aga nurk X-telje positiivse suuna ja polaarraadiuse vahel, kusjuures x = rcos , y = rsin . Koordinaadid...
annaabi.ee 
