ITI 0041 Loogika arvutiteaduses Sügis 2005 / Tarmo Uustalu Loeng 4 PREDIKAATLOOGIKA
|
|
- Μαία Μπουκουβαλαίοι
- 6 χρόνια πριν
- Προβολές:
Transcript
1 PREDIKAATLOOGIKA Predikaatloogika on lauseloogika tugev laiendus. Predikaatloogikas saab nimetada asju ning rääkida nende omadustest. Väljendusvõimsuselt on predikaatloogika seega oluliselt peenekoelisem kui lauseloogika. Samas on predikaatloogikate valemite tõesuse, üldkehtivuse või kehtestatavuse kontroll oluliselt raskem kui lauseloogika valemite oma. 1
2 PREDIKAATLOOGIKA: SÜNTAKS Predikaatloogika signatuur on paar (FC, PC), kus FC = {f, g,..., c, d,...} on tähestik, mille sümboleid nimetatakse funktsioonisümboliteks; igale sümbolile on määratud mingi lõplik aarsus; ja PC = {p, q,...} on tähestik, mille sümboleid nimetatakse predikaatsümboliteks; ka neil on kõigil fikseeritud lõplik aarsus. 0-aarseid funktsioonisümboleid kutsutakse ka indiviidsümboliteks, 0-aarseid predikaatsümboleid kutsutakse ka lausesümboliteks. Kõiki nimetatud sümboleid on (meil siin) mõistlik lugeda konstantideks. Lisaks eeldame loenduvat tähestikku Var = {x, y,...}, mida nimetame muutujavaruks. Tema elemente nimetame (indiviid)muutujateks. 2
3 Predikaatloogika termid (üle signatuuri (FC, PC)) on hulk väljendeid ehk keel Tm = {t, u,...}, mis on defineeritud induktiivselt järgmiste tingimustega: iga indiviidmuutuja x on term; iga indiviidkonstant c on term; kui f on n-aarne funktsioonikonstant ja t 1,..., t n on termid, siis f(t 1,..., t n ) on term. Näide: x, c, f(x, c), g(f(x, c), h(d)) on termid. 3
4 Predikaatloogika valemid (üle signatuuri (FC, PC)) on hulk väljendeid ehk keel Fma = {A, B,...}, mis on defineeritud induktiivselt järgmiste tingimustega: kui p on n-aarne predikaatkonstant ja t 1,..., t n on termid, siis p(t 1,..., t n ) on valem (nn atomaarvalem); (verum, tõde), (falsum, väärus) on valemid; kui A on valem, siis A (mitte-a) on samuti valem; kui A, B on valemid, siis A B (A ja B), A B (A või B), A B (kui A, siis B e A implitseerib B) on ka valemid; kui x on indiviidmuutuja ja A on valem, siis x A (iga x korral A) ja x A (leidub x, et A) on valemid. Sümboleid (üldisuskvantor), (olemasolukvantor) nimetatakse kvantoriteks. Näide:, p(x), x ( p(x) q(h(x), c)), x y z.(f(x, z) f(y, z)) on valemid. 4
5 Kvantorid seovad muutujaid valemis, täpsemalt muutujate esinemisi. Kvantoriteta valemis on kõik muutujaesinemised vabad. Valemis x A [ x A] on muutuja x vabad esinemised valemis A välimise kvantori [ ] poolt seotud. Näide: Valemis p(x) x (q(x) x r(x)) on muutuja x esimene esinemine vaba, teine seotud üldisuskvantoriga, kolmas eksistentsikvantoriga. A[t/x] tähistab valemit, mis saadakse valemist A muutuja x kõigi vabade esinemiste asendamisel termiga t. Näiteid: (p(x, y) r(a, x))[f(z)/x] = p(f(z), y) r(a, f(z)); (p(x) x q(x))[c/x] = p(c) x q(x). 5
6 Valemi alamvalemiteks on kõik temas alamväljenditena esinevad valemid. Laiemas mõttes on valemi alamvalemiteks kõigi temas alamväljenditena esinevate valemite kõik substitutsioonieksemplarid (valemid, mis on saadud vabade muutujate süstemaatilisel asendamisel mingite termidega). Näide: Valemi x y z (f(x, z) f(y, z)) alamvalemiteks võib lugeda mh valemid y z (f(h(c), z) f(y, z)) ja f(h(w), d) f(f(c, w), d). 6
7 PREDIKAATLOOGIKA: SEMANTIKA Olgu (FC, PC) fikseeritud predikaatloogiline signatuur, st funktsioonikonstantide (sh indiviidkonstantide) ja predikaatkonstantide tähestik. Struktuur on siis suvaline paar M = (D, I), kus D on mingi mittetühi hulk (põhihulgaks ehk kandja) ning I on sõltuv funktsioon (interpretatsioon), mis igale n-aarsele funktsioonikonstandile seab vastavuse mingi funktsiooni D n D (sh igale indiviidkonstandile mingi elemendi hulgast D) ja igale n-aarsele predikaatkonstandile mingi funktsiooni D n {1, 0}. Omistus (assignment) on suvaline funktsioon α : Var D. Suvalise omistuse α ja suvaliste x Var, d D jaoks defineerime modifitseeritud omistuse α{d/x} järgmiselt: d kui y = x (süntaktiliselt) α{d/x}(y) = α(y) muidu 7
8 Predikaatarvutuse termide väärtustus struktuuris M = (D, I) ja omistuse α suhtes on funktsioon M,α : Tm D, mis on defineeritud induktsiooniga järgmiselt: x M,α = α(x), kui x on indiviidmuutuja; c M,α = I(c), kui c on indiviidkonstant; f(t 1,..., t n ) M,α = I(f)( t 1 M,α,..., t n M,α ), kui f in funktsioonikonstant. 8
9 Predikaatarvutuse valemite väärtustus struktuuris M = (D, I) ja omistuse α suhtes on funktsioon M,α : Fma {1, 0}, mis on defineeritud induktsiooniga järgmiselt: p(t 1,..., t n ) M,α = I(p)( t 1 M,α,..., t n M,α ), kui p on predikaatkonstant; M,α = 1, M,α = 0; A M,α = 1 A M,α ; A B M,α = min( A M,α, B M,α ); A B M,α = max( A M,α, B M,α ); A B M,α = max(1 A M,α, B M,α ); x A M,α = min d D ( A M,α{d/x} ); x A M,α = max d D ( A M,α{d/x} ). 9
10 Valem A loetakse struktuuris M omistuse α suhtes tõeseks (tähistus M = A[α]), kui A M,α = 1. Võime veenduda, et iga M = (D, I) ja α korral M = p(t 1,..., t n )[α] parajasti siis, kui I(p)( t 1 M,α,..., t n M,α ) = 1, kui p on predikaatkonstant; M = [α] alati; M = [α] mitte kunagi; M = A[α] parajasti siis, kui M = A[α]; M = A B[α] parajasti siis, kui M = A[α] ja M = B[α]; M = A B[α] parajasti siis, kui M = A[α] või M = B[α]; M = A B[α] parajasti siis, kui M = A[α] või M = B[α]; M = x A[α] parajasti siis, kui iga d D korral M = A[α{d/x}]; M = x A[α] parajasti siis, kui leidub d D, et M = A[α{d/x}]; 10
11 Struktuur M = (D, I) kehtestab valemi A, A kehtib M-is, A on M-is tõene ehk M on A mudel (tähistus M = A), kui M = A [α] (st. A M,α = 1) iga omistuse α korral. Valem A on üldkehtiv, tautoloogiline ehk loogiliselt tõene (tähistus = A), kui A on tõene igas struktuuris iga omistuse korral. Valem A on kehtestatav, kui leiduvad struktuur ja omistus, milles A on tõene. Valemid A ja B on loogiliselt samaväärsed, kui neil on samad tõeväärtused iga struktuuris iga omistuse korral. 11
12 Näiteid predikaatloogika väljendusvõimalustest: x y (p(x, y) p(y, x)): p on sümmeetriline relatsioon; x y p(x, y): funktsioonina mõistetuna on p totaalne; x y (p(x) p(y)): mõnel põhihulga elemendil on omadus p, mõnel pole (see valem saab olla tõene ainult siis, kui põhihulgas on vähemalt kaks elementi); x p(a, x): a on põhihulga vähim element relatsiooni p suhtes. 12
13 Näiteid predikaatloogika tautoloogiatest: x A x A x A x A x A x A x y A y x A x (A B) x A x B x (A B) x A x B x A x B x (A B) x (A B) x A x B ( x A x B) x (A B) x (A B) ( x A x B) 13
14 Erinevalt lauseloogika juhust, ei ole TAUT (tautoloogiakontroll) ega SAT (kehtestatavuskontroll) predikaatloogika puhul lahenduvad. TAUT on poollahenduv, st leiduvad algoritmid, mis etteantud valemi kohta vastavad jah, kui see valem on üldkehtiv, ning vastavad ei või ei lõpeta, kui ta on vääratav. SAT on kopoollahenduv, st leiduvad algoritmid, mis etteantud valemi kohta vastavad jah või ei lõpeta, kui see valem on kehtestatav, ning vastavad ei, kui ta on vastuoluline. 14
Punktide jaotus: kodutööd 15, nädalatestid 5, kontrolltööd 20+20, eksam 40, lisapunktid Kontrolltööd sisaldavad ka testile vastamist
Loeng 2 Punktide jaotus: kodutööd 15, nädalatestid 5, kontrolltööd 20+20, eksam 40, lisapunktid Kontrolltööd sisaldavad ka testile vastamist P2 - tuleb P1 lahendus T P~Q = { x P(x)~Q(x) = t} = = {x P(x)
Διαβάστε περισσότεραKompleksarvu algebraline kuju
Kompleksarvud p. 1/15 Kompleksarvud Kompleksarvu algebraline kuju Mati Väljas mati.valjas@ttu.ee Tallinna Tehnikaülikool Kompleksarvud p. 2/15 Hulk Hulk on kaasaegse matemaatika algmõiste, mida ei saa
Διαβάστε περισσότεραMATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED LEA PALLAS XII OSA
MATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED LEA PALLAS XII OSA SISUKORD 8 MÄÄRAMATA INTEGRAAL 56 8 Algfunktsioon ja määramata integraal 56 8 Integraalide tabel 57 8 Määramata integraali omadusi 58
Διαβάστε περισσότεραKirjeldab kuidas toimub programmide täitmine Tähendus spetsifitseeritakse olekuteisendussüsteemi abil Loomulik semantika
Operatsioonsemantika Kirjeldab kuidas toimub programmide täitmine Tähendus spetsifitseeritakse olekuteisendussüsteemi abil Loomulik semantika kirjeldab kuidas j~outakse l~oppolekusse Struktuurne semantika
Διαβάστε περισσότεραFunktsiooni diferentsiaal
Diferentsiaal Funktsiooni diferentsiaal Argumendi muut Δx ja sellele vastav funktsiooni y = f (x) muut kohal x Eeldusel, et f D(x), saame Δy = f (x + Δx) f (x). f (x) = ehk piisavalt väikese Δx korral
Διαβάστε περισσότεραMudeliteooria. Kursust luges: Kalle Kaarli september a. 1 Käesoleva konspekti on L A TEX-kujule viinud Indrek Zolk.
Mudeliteooria Kursust luges: Kalle Kaarli 1 20. september 2004. a. 1 Käesoleva konspekti on L A TEX-kujule viinud Indrek Zolk. 2 Sisukord 1 Põhimõisted 9 1.1 Signatuur ja struktuur.................. 9
Διαβάστε περισσότεραLokaalsed ekstreemumid
Lokaalsed ekstreemumid Öeldakse, et funktsioonil f (x) on punktis x lokaalne maksimum, kui leidub selline positiivne arv δ, et 0 < Δx < δ Δy 0. Öeldakse, et funktsioonil f (x) on punktis x lokaalne miinimum,
Διαβάστε περισσότεραT~oestatavalt korrektne transleerimine
T~oestatavalt korrektne transleerimine Transleerimisel koostatakse lähtekeelsele programmile vastav sihtkeelne programm. Transleerimine on korrektne, kui transleerimisel programmi tähendus säilib. Formaalsemalt:
Διαβάστε περισσότεραSuhteline salajasus. Peeter Laud. Tartu Ülikool. peeter TTÜ, p.1/27
Suhteline salajasus Peeter Laud peeter l@ut.ee Tartu Ülikool TTÜ, 11.12.2003 p.1/27 Probleemi olemus salajased sisendid avalikud väljundid Program muud väljundid muud sisendid mittesalajased väljundid
Διαβάστε περισσότεραGeomeetrilised vektorid
Vektorid Geomeetrilised vektorid Skalaarideks nimetatakse suurusi, mida saab esitada ühe arvuga suuruse arvulise väärtusega. Skalaari iseloomuga suurusi nimetatakse skalaarseteks suurusteks. Skalaarse
Διαβάστε περισσότεραKontekstivabad keeled
Kontekstivabad keeled Teema 2.1 Jaan Penjam, email: jaan@cs.ioc.ee Rekursiooni- ja keerukusteooria: KV keeled 1 / 27 Loengu kava 1 Kontekstivabad grammatikad 2 Süntaksipuud 3 Chomsky normaalkuju Jaan Penjam,
Διαβάστε περισσότεραDiskreetne matemaatika 2016/2017. õ. a. Professor Peeter Puusemp
Diskreetne matemaatika 2016/2017. õ. a. Professor Peeter Puusemp http://www.staff.ttu.ee/ puusemp/ Sellel kodulehe aadressil asub alajaotuse Diskreetne matemaatika all elektrooniline õpik ja ülesannete
Διαβάστε περισσότεραMATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED, ÜLESANDED LEA PALLAS VII OSA
MATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED, ÜLESANDED LEA PALLAS VII OSA SISUKORD 57 Joone uutuja Näited 8 58 Ülesanded uutuja võrrandi koostamisest 57 Joone uutuja Näited Funktsiooni tuletisel on
Διαβάστε περισσότεραHAPE-ALUS TASAKAAL. Teema nr 2
PE-LUS TSL Teema nr Tugevad happed Tugevad happed on lahuses täielikult dissotiseerunud + sisaldus lahuses on võrdne happe analüütilise kontsentratsiooniga Nt NO Cl SO 4 (esimeses astmes) p a väärtused
Διαβάστε περισσότεραFormaalsete keelte teooria. Mati Pentus
Formaalsete keelte teooria Mati Pentus http://lpcs.math.msu.su/~pentus/ftp/fkt/ 2009 13. november 2009. a. Formaalsete keelte teooria 2 Peatükk 1. Keeled ja grammatikad Definitsioon 1.1. Naturaalarvudeks
Διαβάστε περισσότεραHULGATEOORIA ELEMENTE
HULGATEOORIA ELEMENTE Teema 2.2. Hulga elementide loendamine Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 1 / 31 Loengu kava 2 Hulga elementide loendamine Hulga võimsus Loenduvad
Διαβάστε περισσότεραLambda-arvutus. λ-termide süntaks. Näiteid λ-termidest. Sulgudest hoidumine. E ::= V muutuja (E 1 E 2 ) aplikatsioon (λv.
Lambda-arvutus λ-termide süntaks Näiteid λ-termidest Sulgudest hoidumine Lambda-arvutus E ::= V muutuja (E 1 E 2 ) aplikatsioon (λv. E) abstraktsioon (λx. x) (((λx. (λf. (f x))) y)(λz. z)) (λx. y) (λx.
Διαβάστε περισσότεραMatemaatiline analüüs I iseseisvad ülesanded
Matemaatiline analüüs I iseseisvad ülesanded Leidke funktsiooni y = log( ) + + 5 määramispiirkond Leidke funktsiooni y = + arcsin 5 määramispiirkond Leidke funktsiooni y = sin + 6 määramispiirkond 4 Leidke
Διαβάστε περισσότεραMatemaatiline analüüs I iseseisvad ülesanded
Matemaatiline analüüs I iseseisvad ülesanded. Leidke funktsiooni y = log( ) + + 5 määramispiirkond.. Leidke funktsiooni y = + arcsin 5 määramispiirkond.. Leidke funktsiooni y = sin + 6 määramispiirkond.
Διαβάστε περισσότεραRuumilise jõusüsteemi taandamine lihtsaimale kujule
Kodutöö nr.1 uumilise jõusüsteemi taandamine lihtsaimale kujule Ülesanne Taandada antud jõusüsteem lihtsaimale kujule. isttahuka (joonis 1.) mõõdud ning jõudude moodulid ja suunad on antud tabelis 1. D
Διαβάστε περισσότεραKeerukusteooria elemente
Keerukusteooria elemente Teema 5 Jaan Penjam, email: jaan@cs.ioc.ee Keerukusteooria elemente 1 / 45 Sisukord 1 Algoritmi keerukus 2 Ülesannete keerukusklassid Jaan Penjam, email: jaan@cs.ioc.ee Keerukusteooria
Διαβάστε περισσότεραGraafiteooria üldmõisteid. Graaf G ( X, A ) Tippude hulk: X={ x 1, x 2,.., x n } Servade (kaarte) hulk: A={ a 1, a 2,.., a m } Orienteeritud graafid
Graafiteooria üldmõisteid Graaf G ( X, A ) Tippude hulk: X={ x 1, x 2,.., x n } Servade (kaarte) hulk: A={ a 1, a 2,.., a m } Orienteeritud graafid Orienteerimata graafid G(x i )={ x k < x i, x k > A}
Διαβάστε περισσότερα2.2.1 Geomeetriline interpretatsioon
2.2. MAATRIKSI P X OMADUSED 19 2.2.1 Geomeetriline interpretatsioon Maatriksi X (dimensioonidega n k) veergude poolt moodustatav vektorruum (inglise k. column space) C(X) on defineeritud järgmiselt: Defineerides
Διαβάστε περισσότεραYMM3740 Matemaatilne analüüs II
YMM3740 Matemaatilne analüüs II Gert Tamberg Matemaatikainstituut Tallinna Tehnikaülikool gert.tamberg@ttu.ee http://www.ttu.ee/gert-tamberg G. Tamberg (TTÜ) YMM3740 Matemaatilne analüüs II 1 / 29 Sisu
Διαβάστε περισσότεραKOMBINATSIOONID, PERMUTATSIOOND JA BINOOMKORDAJAD
KOMBINATSIOONID, PERMUTATSIOOND JA BINOOMKORDAJAD Teema 3.1 (Õpiku peatükid 1 ja 3) Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Kombinatoorika 1 / 31 Loengu kava 1 Tähistusi 2 Kombinatoorsed
Διαβάστε περισσότεραKATEGOORIATEOORIA. Kevad 2016
KTEGOORITEOORI Kevad 2016 Loengukonspekt Lektor: Valdis Laan 1 1. Kategooriad 1.1. Hulgateoreetilistest alustest On hästi teada, et kõigi hulkade hulka ei ole olemas. Samas kategooriateoorias sooviks me
Διαβάστε περισσότερα2. HULGATEOORIA ELEMENTE
2. HULGATEOORIA ELEMENTE 2.1. Hulgad, nende esitusviisid. Alamhulgad Hulga mõiste on matemaatika algmõiste ja seda ei saa def ineerida. Me võime vaid selgitada, kuidas seda abstraktset mõistet endale kujundada.
Διαβάστε περισσότεραKATEGOORIATEOORIA. Kevad 2010
KTEGOORITEOORI Kevad 2010 Loengukonspekt Lektor: Valdis Laan 1 1. Kategooriad 1.1. Hulgateoreetilistest alustest On hästi teada, et kõigi hulkade hulka ei ole olemas. Samas kategooriateoorias sooviks me
Διαβάστε περισσότερα1 Funktsioon, piirväärtus, pidevus
Funktsioon, piirväärtus, pidevus. Funktsioon.. Tähistused Arvuhulki tähistatakse üldlevinud viisil: N - naturaalarvude hulk, Z - täisarvude hulk, Q - ratsionaalarvude hulk, R - reaalarvude hulk. Piirkonnaks
Διαβάστε περισσότεραTuletis ja diferentsiaal
Peatükk 3 Tuletis ja diferentsiaal 3.1 Tuletise ja diferentseeruva funktsiooni mõisted. Olgu antud funktsioon f ja kuulugu punkt a selle funktsiooni määramispiirkonda. Tuletis ja diferentseeruv funktsioon.
Διαβάστε περισσότεραArvuteooria. Diskreetse matemaatika elemendid. Sügis 2008
Sügis 2008 Jaguvus Olgu a ja b täisarvud. Kui leidub selline täisarv m, et b = am, siis ütleme, et arv a jagab arvu b ehk arv b jagub arvuga a. Tähistused: a b b. a Näiteks arv a jagab arvu b arv b jagub
Διαβάστε περισσότεραEhitusmehaanika harjutus
Ehitusmehaanika harjutus Sõrestik 2. Mõjujooned /25 2 6 8 0 2 6 C 000 3 5 7 9 3 5 "" 00 x C 2 C 3 z Andres Lahe Mehaanikainstituut Tallinna Tehnikaülikool Tallinn 2007 See töö on litsentsi all Creative
Διαβάστε περισσότεραKontekstivabad keeled
Kontekstivabad keeled Teema 2.2 Jaan Penjam, email: jaan@cs.ioc.ee Rekursiooni- ja keerukusteooria: KV keeled 1 / 28 Sisukord 1 Pinuautomaadid 2 KV keeled ja pinuautomaadid Jaan Penjam, email: jaan@cs.ioc.ee
Διαβάστε περισσότεραMATEMAATILISEST LOOGIKAST (Lausearvutus)
TARTU ÜLIKOOL Teaduskool MATEMAATILISEST LOOGIKAST (Lausearvutus) Õppematerjal TÜ Teaduskooli õpilastele Koostanud E. Mitt TARTU 2003 1. LAUSE MÕISTE Matemaatilise loogika ühe osa - lausearvutuse - põhiliseks
Διαβάστε περισσότεραMatemaatiline analüüs IV praktikumiülesannete kogu a. kevadsemester
Matemaatiline analüüs IV praktikumiülesannete kogu 4. a. kevadsemester . Alamhulgad ruumis R m. Koonduvad jadad. Tõestage, et ruumis R a) iga kera s.o. ring) U r A) sisaldab ruutu keskpunktiga A = a,b),
Διαβάστε περισσότερα28. Sirgvoolu, solenoidi ja toroidi magnetinduktsiooni arvutamine koguvooluseaduse abil.
8. Sigvoolu, solenoidi j tooidi mgnetinduktsiooni vutmine koguvooluseduse il. See on vem vdtud, kuid mitte juhtme sees. Koguvooluseduse il on sed lihtne teh. Olgu lõpmt pikk juhe ingikujulise istlõikeg,
Διαβάστε περισσότεραVektorid II. Analüütiline geomeetria 3D Modelleerimise ja visualiseerimise erialale
Vektorid II Analüütiline geomeetria 3D Modelleerimise ja visualiseerimise erialale Vektorid Vektorid on arvude järjestatud hulgad (s.t. iga komponendi väärtus ja positsioon hulgas on tähenduslikud) Vektori
Διαβάστε περισσότεραSemantiline analüüs. Süntaksipuu dekoreeritakse tüübi- ja muu kontekstist sõltuva
Semantiline analüüs Semantiline analüüs Semantiline analüüs kontrollib programmi kontekstuaalsete sõltuvuste korrektsust: leiab vastavuse defineerivate ja kasutusesinemiste vahel, leiab esinemiste tüübid
Διαβάστε περισσότερα20. SIRGE VÕRRANDID. Joonis 20.1
κ ËÁÊ Â Ì Ë Æ Á 20. SIRGE VÕRRANDID Sirget me võime vaadelda kas tasandil E 2 või ruumis E 3. Sirget vaadelda sirgel E 1 ei oma mõtet, sest tegemist on ühe ja sama sirgega. Esialgu on meie käsitlus nii
Διαβάστε περισσότεραAvaliku võtmega krüptograafia
Avaliku võtmega krüptograafia Ahto Buldas Motiivid Salajase võtme vahetus on tülikas! Kas ei oleks võimalik salajases võtmes kokku leppida üle avaliku kanali? 2 Probleem piiramatu vastasega! Kui vastane
Διαβάστε περισσότερα4.1 Funktsiooni lähendamine. Taylori polünoom.
Peatükk 4 Tuletise rakendusi 4.1 Funktsiooni lähendamine. Talori polünoom. Mitmetes matemaatika rakendustes on vaja leida keerulistele funktsioonidele lihtsaid lähendeid. Enamasti konstrueeritakse taolised
Διαβάστε περισσότεραEesti koolinoorte XLVIII täppisteaduste olümpiaadi
Eesti koolinoorte XLVIII täppisteaduste olümpiaadi lõppvoor MATEMAATIKAS Tartus, 9. märtsil 001. a. Lahendused ja vastused IX klass 1. Vastus: x = 171. Teisendame võrrandi kujule 111(4 + x) = 14 45 ning
Διαβάστε περισσότερα9. AM ja FM detektorid
1 9. AM ja FM detektorid IRO0070 Kõrgsageduslik signaalitöötlus Demodulaator Eraldab moduleeritud signaalist informatiivse osa. Konkreetne lahendus sõltub modulatsiooniviisist. Eristatakse Amplituuddetektoreid
Διαβάστε περισσότερα4.2.5 Täiustatud meetod tuletõkestusvõime määramiseks
4.2.5 Täiustatud meetod tuletõkestusvõime määramiseks 4.2.5.1 Ülevaade See täiustatud arvutusmeetod põhineb mahukate katsete tulemustel ja lõplike elementide meetodiga tehtud arvutustel [4.16], [4.17].
Διαβάστε περισσότερα1 Kompleksarvud Imaginaararvud Praktiline väärtus Kõige ilusam valem? Kompleksarvu erinevad kujud...
Marek Kolk, Tartu Ülikool, 2012 1 Kompleksarvud Tegemist on failiga, kuhu ma olen kogunud enda arvates huvitavat ja esiletõstmist vajavat materjali ning on mõeldud lugeja teadmiste täiendamiseks. Seega
Διαβάστε περισσότερα1.1. NATURAAL-, TÄIS- JA RATSIONAALARVUD
1. Reaalarvud 1.1. NATURAAL-, TÄIS- JA RATSIONAALARVUD Arvu mõiste hakkas kujunema aastatuhandeid tagasi, täiustudes ja üldistudes koos inimkonna arenguga. Juba ürgühiskonnas tekkis vajadus teatavaid hulki
Διαβάστε περισσότερα4 T~oenäosuse piirteoreemid Tsentraalne piirteoreem Suurte arvude seadus (Law of Large Numbers)... 32
Sisukord 1 Sündmused ja t~oenäosused 4 1.1 Sündmused................................... 4 1.2 T~oenäosus.................................... 7 1.2.1 T~oenäosuse arvutamise konkreetsed meetodid (üldise
Διαβάστε περισσότεραJätkusuutlikud isolatsioonilahendused. U-arvude koondtabel. VÄLISSEIN - COLUMBIA TÄISVALATUD ÕÕNESPLOKK 190 mm + SOOJUSTUS + KROHV
U-arvude koondtabel lk 1 lk 2 lk 3 lk 4 lk 5 lk 6 lk 7 lk 8 lk 9 lk 10 lk 11 lk 12 lk 13 lk 14 lk 15 lk 16 VÄLISSEIN - FIBO 3 CLASSIC 200 mm + SOOJUSTUS + KROHV VÄLISSEIN - AEROC CLASSIC 200 mm + SOOJUSTUS
Διαβάστε περισσότεραAlgebraliste võrrandite lahenduvus radikaalides. Raido Paas Juhendaja: Mart Abel
Algebraliste võrrandite lahenduvus radikaalides Magistritöö Raido Paas Juhendaja: Mart Abel Tartu 2013 Sisukord Sissejuhatus Ajalooline sissejuhatus iii v 1 Rühmateooria elemente 1 1.1 Substitutsioonide
Διαβάστε περισσότεραSisukord. 4 Tõenäosuse piirteoreemid 36
Sisukord Sündmused ja tõenäosused 5. Sündmused................................... 5.2 Tõenäosus.................................... 8.2. Tõenäosuse arvutamise konkreetsed meetodid (üldise definitsiooni
Διαβάστε περισσότεραPLASTSED DEFORMATSIOONID
PLAED DEFORMAIOONID Misese vlavustingimus (pinegte ruumis) () Dimensineerimisega saab kõrvaldada ainsa materjali parameetri. Purunemise (tugevuse) kriteeriumid:. Maksimaalse pinge kirteerium Laminaat puruneb
Διαβάστε περισσότεραKrüptoloogia II: Sissejuhatus teoreetilisse krüptograafiasse. Ahto Buldas
Krüptoloogia II: Sissejuhatus teoreetilisse krüptograafiasse Ahto Buldas 22. september 2003 2 Sisukord Saateks v 1 Entroopia ja infohulk 1 1.1 Sissejuhatus............................ 1 1.2 Kombinatoorne
Διαβάστε περισσότεραAritmeetilised ja loogilised operaatorid. Vektor- ja maatriksoperaatorid
Marek Kolk, Tartu Ülikool Viimati muudetud : 6.. Aritmeetilised ja loogilised operaatorid. Vektor- ja maatriksoperaatorid Aritmeetilised operaatorid Need leiab paletilt "Calculator" ja ei vaja eraldi kommenteerimist.
Διαβάστε περισσότεραsin 2 α + cos 2 sin cos cos 2α = cos² - sin² tan 2α =
KORDAMINE RIIGIEKSAMIKS III TRIGONOMEETRIA ) põhiseosed sin α + cos sin cos α =, tanα =, cotα =, cos sin + tan =, tanα cotα = cos ) trigonomeetriliste funktsioonide täpsed väärtused α 5 6 9 sin α cos α
Διαβάστε περισσότεραSkalaar, vektor, tensor
Peatükk 2 Skalaar, vektor, tensor 1 2.1. Sissejuhatus 2-2 2.1 Sissejuhatus Skalaar Üks arv, mille väärtus ei sõltu koordinaatsüsteemi (baasi) valikust Tüüpiline näide temperatuur Vektor Füüsikaline suurus,
Διαβάστε περισσότερα2. FÜÜSIKALISE SUURUSE MÕISTE
Soojusõpetus 2 1 2. FÜÜSIKALISE SUURUSE MÕISTE 2.1. Mõõtmisteooria Füüsikalise suuruse üldise mõiste avab mõõtmisteooria. Mõõtmisteooria loogiline koht on enne füüsikakursust. Probleemide komplitseerituse
Διαβάστε περισσότεραDEF. Kolmnurgaks nim hulknurka, millel on 3 tippu. / Kolmnurgaks nim tasandi osa, mida piiravad kolme erinevat punkti ühendavad lõigud.
Kolmnurk 1 KOLMNURK DEF. Kolmnurgaks nim hulknurka, millel on 3 tippu. / Kolmnurgaks nim tasandi osa, mida piiravad kolme erinevat punkti ühendavad lõigud. Kolmnurga tippe tähistatakse nagu punkte ikka
Διαβάστε περισσότεραALGEBRA I. Kevad Lektor: Valdis Laan
ALGEBRA I Kevad 2013 Lektor: Valdis Laan Sisukord 1 Maatriksid 5 1.1 Sissejuhatus....................................... 5 1.2 Maatriksi mõiste.................................... 6 1.3 Reaalarvudest ja
Διαβάστε περισσότεραKoduseid ülesandeid IMO 2017 Eesti võistkonna kandidaatidele vol 4 lahendused
Koduseid ülesandeid IMO 017 Eesti võistkonna kandidaatidele vol 4 lahendused 17. juuni 017 1. Olgu a,, c positiivsed reaalarvud, nii et ac = 1. Tõesta, et a 1 + 1 ) 1 + 1 ) c 1 + 1 ) 1. c a Lahendus. Kuna
Διαβάστε περισσότεραSkalaar, vektor, tensor
Peatükk 2 Skalaar, vektor, tensor 1 2.1. Sissejuhatus 2-2 2.1 Sissejuhatus Skalaar Üks arv, mille väärtus ei sõltu koordinaatsüsteemi (baasi) valikust Tüüpiline näide temperatuur Vektor Füüsikaline suurus,
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραDeformeeruva keskkonna dünaamika
Peatükk 4 Deformeeruva keskkonna dünaamika 1 Dünaamika on mehaanika osa, mis uurib materiaalsete keskkondade liikumist välismõjude (välisjõudude) toimel. Uuritavaks materiaalseks keskkonnaks võib olla
Διαβάστε περισσότεραLexical-Functional Grammar
Lexical-Functional Grammar Süntaksiteooriad ja -mudelid 2005/06 Kaili Müürisep 6. aprill 2006 1 Contents 1 Ülevaade formalismist 1 1.1 Informatsiooni esitus LFG-s..................... 1 1.2 a-struktuur..............................
Διαβάστε περισσότεραSisukord. 3 T~oenäosuse piirteoreemid Suurte arvude seadus (Law of Large Numbers)... 32
Sisukord Sündmused ja t~oenäosused 4. Sündmused................................... 4.2 T~oenäosus.................................... 7.2. T~oenäosuse arvutamise konkreetsed meetodid (üldise definitsiooni
Διαβάστε περισσότερα6.6 Ühtlaselt koormatud plaatide lihtsamad
6.6. Ühtlaselt koormatud plaatide lihtsamad paindeülesanded 263 6.6 Ühtlaselt koormatud plaatide lihtsamad paindeülesanded 6.6.1 Silindriline paine Kui ristkülikuline plaat on pika ristküliku kujuline
Διαβάστε περισσότερα3. LOENDAMISE JA KOMBINATOORIKA ELEMENTE
3. LOENDAMISE JA KOMBINATOORIKA ELEMENTE 3.1. Loendamise põhireeglid Kombinatoorika on diskreetse matemaatika osa, mis uurib probleeme, kus on tegemist kas diskreetse hulga mingis mõttes eristatavate osahulkadega
Διαβάστε περισσότεραPlaneedi Maa kaardistamine G O R. Planeedi Maa kõige lihtsamaks mudeliks on kera. Joon 1
laneedi Maa kaadistamine laneedi Maa kõige lihtsamaks mudeliks on kea. G Joon 1 Maapinna kaadistamine põhineb kea ümbeingjoontel, millest pikimat nimetatakse suuingjooneks. Need suuingjooned, mis läbivad
Διαβάστε περισσότεραLexical-Functional Grammar
Lexical-Functional Grammar Süntaksiteooriad ja -mudelid 2005/06 Kaili Müürisep ATI 6. aprill 2006 Kaili Müürisep (ATI) Lexical-Functional Grammar 6. aprill 2006 1 / 35 Informatsiooni esitus LFG-s c-struktuur
Διαβάστε περισσότεραVektorid. A=( A x, A y, A z ) Vektor analüütilises geomeetrias
ektorid Matemaatikas tähistab vektor vektorruumi elementi. ektorruum ja vektor on defineeritud väga laialt, kuid praktikas võime vektorit ette kujutada kui kindla arvu liikmetega järjestatud arvuhulka.
Διαβάστε περισσότεραFunktsioonide õpetamisest põhikooli matemaatikakursuses
Funktsioonide õpetamisest põhikooli matemaatikakursuses Allar Veelmaa, Loo Keskkool Funktsioon on üldtähenduses eesmärgipärane omadus, ülesanne, otstarve. Mõiste funktsioon ei ole kasutusel ainult matemaatikas,
Διαβάστε περισσότεραCompress 6000 LW Bosch Compress LW C 35 C A ++ A + A B C D E F G. db kw kw /2013
55 C 35 C A A B C D E F G 50 11 12 11 11 10 11 db kw kw db 2015 811/2013 A A B C D E F G 2015 811/2013 Toote energiatarbe kirjeldus Järgmised toote andmed vastavad nõuetele, mis on esitatud direktiivi
Διαβάστε περισσότεραVektoralgebra seisukohalt võib ka selle võrduse kirja panna skalaarkorrutise
Jõu töö Konstanse jõu tööks lõigul (nihkel) A A nimetatakse jõu mooduli korrutist teepikkusega s = A A ning jõu siirde vahelise nurga koosinusega Fscos ektoralgebra seisukohalt võib ka selle võrduse kirja
Διαβάστε περισσότεραSirgete varraste vääne
1 Peatükk 8 Sirgete varraste vääne 8.1. Sissejuhatus ja lahendusmeetod 8-8.1 Sissejuhatus ja lahendusmeetod Käesoleva loengukonspekti alajaotuses.10. käsitleti väändepingete leidmist ümarvarrastes ja alajaotuses.10.3
Διαβάστε περισσότερα1 MTMM Kõrgem matemaatika, eksamiteemad 2014
1 MTMM.00.188 Kõrgem matemaatika, eksamiteemad 2014 Eksamitöö annab kokku 80 punkti ja ülesanded jagunevad järgmisse kuude gruppi: P1 ( 10p ) - ülesanded I kontrolltöö põhiteemade peale; P2 ( 10p ) - ülesanded
Διαβάστε περισσότερα1 Entroopia ja informatsioon
Kirjadus: T.M. Cover, J.A. Thomas "Elemets of iformatio theory", Wiley, 99 ja 2006. Yeug, Raymod W. "A first course of iformatio theory", Kluwer, 2002. Mackay, D. "Iformatio theory, iferece ad learig algorithms",
Διαβάστε περισσότεραSissejuhatus mehhatroonikasse MHK0120
Sissejuhatus mehhatroonikasse MHK0120 2. nädala loeng Raavo Josepson raavo.josepson@ttu.ee Loenguslaidid Materjalid D. Halliday,R. Resnick, J. Walker. Füüsika põhikursus : õpik kõrgkoolile I köide. Eesti
Διαβάστε περισσότεραPrisma. Lõik, mis ühendab kahte mitte kuuluvat tippu on prisma diagonaal d. Tasand, mis. prisma diagonaal d ja diagonaaltasand (roheline).
Prism Prisms nimese ulu, mille s u on vsvl rlleelsee j võrdsee ülgedeg ulnurgd, ning ülejäänud ud on rööüliud, millel on ummgi ulnurgg üine ülg. Prlleelseid ulnuri nimese rism õjdes j nende ulnurde ülgi
Διαβάστε περισσότερα1 Reaalarvud ja kompleksarvud Reaalarvud Kompleksarvud Kompleksarvu algebraline kuju... 5
1. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, 2013-14. 1 Reaalarvud ja kompleksarvud Sisukord 1 Reaalarvud ja kompleksarvud 1 1.1 Reaalarvud................................... 2 1.2 Kompleksarvud.................................
Διαβάστε περισσότεραKORDAMINE RIIGIEKSAMIKS VII teema Vektor. Joone võrrandid.
KORDMINE RIIGIEKSMIKS VII teema Vektor Joone võrrandid Vektoriaalseid suuruseid iseloomustavad a) siht b) suund c) pikkus Vektoriks nimetatakse suunatud sirglõiku Vektori alguspunktiks on ja lõpp-punktiks
Διαβάστε περισσότεραMathematica kasutamine
mathematica_lyhi_help.nb 1 Mathematica kasutamine 1. Sissejuhatus Programmi Mathematica avanemisel pole programmi tuum - Kernel - vaikimisi käivitatud. Kernel on programmi see osa, mis tegelikult teostab
Διαβάστε περισσότεραΔΗΜΟΤΙΚΕΣ ΕΚΛΟΓΕΣ 18/5/2014 ΑΚΥΡΑ
ΔΗΜΟΤΙΚΕΣ ΕΚΛΟΓΕΣ 18/5/2014 ΑΚΥΡΑ ΑΔΑΜΗΣ Δ.Κ. / Τ.Κ. E.T. ΕΓΓ/ΝΟΙ ΨΗΦΙΣΑΝ ΕΓΚΥΡΑ ΓΙΟΒΑΣ ΙΩΑΝΝΗΣ ΛΕΥΚΑ ΠΑΝΑΓΙΩΤΗΣ ΜΑΝΤΑΣ ΠΑΝΑΓΙΩΤΗΣ ΔΑΛΙΑΝΗΣ ΓΕΩΡΓΙΟΣ ΑΣΤΡΟΣ 5 2.728 1.860 36 1.825 69 3,8% 152 8,3% 739 40,5%
Διαβάστε περισσότεραEnergiabilanss netoenergiavajadus
Energiabilanss netoenergiajadus 1/26 Eelmisel loengul soojuskadude arvutus (võimsus) φ + + + tot = φ φ φ juht v inf φ sv Energia = tunnivõimsuste summa kwh Netoenergiajadus (ruumis), energiakasutus (tehnosüsteemis)
Διαβάστε περισσότερα2017/2018. õa keemiaolümpiaadi piirkonnavooru lahendused klass
2017/2018. õa keemiaolümpiaadi piirkonnavooru lahendused 11. 12. klass 18 g 1. a) N = 342 g/mol 6,022 1023 molekuli/mol = 3,2 10 22 molekuli b) 12 H 22 O 11 + 12O 2 = 12O 2 + 11H 2 O c) V = nrt p d) ΔH
Διαβάστε περισσότεραEesti koolinoorte XLI täppisteaduste olümpiaad
Eesti koolinoorte XLI täppisteaduste olümpiaad MATEMAATIKA III VOOR 6. märts 994. a. Lahendused ja vastused IX klass.. Vastus: a) neljapäev; b) teisipäev, kolmapäev, reede või laupäev. a) Et poiste luiskamise
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότεραKORDAMINE RIIGIEKSAMIKS V teema Vektor. Joone võrrandid.
KORDMINE RIIGIEKSMIKS V teema Vektor Joone võrrandid Vektoriaalseid suuruseid iseloomustavad a) siht b) suund c) pikkus Vektoriks nimetatakse suunatud sirglõiku Vektori alguspunktiks on ja lõpp-punktiks
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραMATEMAATILINE ANAL U US II Juhend TT U kaug oppe- uli opilastele
MATEMAATILINE ANALÜÜS II Juhend TTÜ kaugõppe-üliõpilastele TALLINNA TEHNIKAÜLIKOOL Matemaatikainstituut MATEMAATILINE ANALÜÜS II Juhend TTÜ kaugõppe-üliõpilastele Tallinn 24 3 MATEMAATILINE ANALÜÜS II
Διαβάστε περισσότεραKrüptoräsid (Hash- funktsioonid) ja autentimine. Kasutatavaimad algoritmid. MD5, SHA-1, SHA-2. Erika Matsak, PhD
Krüptoräsid (Hash- funktsioonid) ja autentimine. Kasutatavaimad algoritmid. MD5, SHA-1, SHA-2. Erika Matsak, PhD 1 Nõudmised krüptoräsidele (Hash-funktsionidele) Krüptoräsiks nimetatakse ühesuunaline funktsioon
Διαβάστε περισσότεραSTM A ++ A + A B C D E F G A B C D E F G. kw kw /2013
Ι 47 d 11 11 10 kw kw kw d 2015 811/2013 Ι 2015 811/2013 Toote energiatarbe kirjeldus Järgmised toote andmed vastavad nõuetele, mis on esitatud direktiivi 2010/30/ täiendavates määrustes () nr 811/2013,
Διαβάστε περισσότεραΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ. Καηηγορημαηικός Λογιζμός
ΔΙΑΚΡΙΣΑ ΜΑΘΗΜΑΣΙΚΑ Καηηγορημαηικός Λογιζμός Μοπθέρ Θεωπημάηων Υπάξρεη έλα αληηθείκελν ώζηε λα ηζρύεη θάηη. Υπαξμηαθόο πνζνδείθηεο Γηα θάζε αληηθείκελν ηζρύεη όηη θάηη. Καζνιηθόο πνζνδείθηεο 2 Καηηγοπήμαηα
Διαβάστε περισσότερα6 Mitme muutuja funktsioonid
6 Mitme muutu funktsioonid Reaalarvude järjestatud paaride (x, ) hulga tasandi punktide hulga vahel on üksühene vastavus, st igale paarile vastab üks kindel punkt tasandil igale tasandi punktile vastavad
Διαβάστε περισσότεραΚατ οίκον Εργασία 2 Λύσεις
Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)
Διαβάστε περισσότεραT~OENÄOSUSTEOORIA JA MATEMAATILINE STATISTIKA
http://wwwttuee http://wwwstaffttuee/ math TALLINNA TEHNIKAÜLIKOOL MATEMAATIKAINSTITUUT http://wwwstaffttuee/ itammeraid Ivar Tammeraid T~OENÄOSUSTEOORIA JA MATEMAATILINE STATISTIKA Elektrooniline ~oppematerjal
Διαβάστε περισσότερα(Raud)betoonkonstruktsioonide üldkursus 33
(Raud)betoonkonstruktsioonide üldkursus 33 Normaallõike tugevusarvutuse alused. Arvutuslikud pinge-deormatsioonidiagrammid Elemendi normaallõige (ristlõige) on elemendi pikiteljega risti olev lõige (s.o.
Διαβάστε περισσότεραEcophon Square 43 LED
Ecophon Square 43 LED Ecophon Square 43 on täisintegreeritud süvistatud valgusti, saadaval Dg, Ds, E ja Ez servaga toodetele. Loodud kokkusobima Akutex FT pinnakattega Ecophoni laeplaatidega. Valgusti,
Διαβάστε περισσότεραss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s
P P P P ss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s r t r 3 2 r r r 3 t r ér t r s s r t s r s r s ér t r r t t q s t s sã s s s ér t
Διαβάστε περισσότεραP P Ó P. r r t r r r s 1. r r ó t t ó rr r rr r rí st s t s. Pr s t P r s rr. r t r s s s é 3 ñ
P P Ó P r r t r r r s 1 r r ó t t ó rr r rr r rí st s t s Pr s t P r s rr r t r s s s é 3 ñ í sé 3 ñ 3 é1 r P P Ó P str r r r t é t r r r s 1 t r P r s rr 1 1 s t r r ó s r s st rr t s r t s rr s r q s
Διαβάστε περισσότερα8. KEEVISLIITED. Sele 8.1. Kattekeevisliide. Arvutada kahepoolne otsõmblus terasplaatide (S235J2G3) ühendamiseks. F = 40 kn; δ = 5 mm.
TTÜ EHHATROONIKAINSTITUUT HE00 - ASINATEHNIKA -, 5AP/ECTS 5 - -0-- E, S 8. KEEVISLIITED NÄIDE δ > 4δ δ b k See 8.. Kattekeevisiide Arvutada kahepoone otsõmbus teraspaatide (S5JG) ühendamiseks. 40 kn; δ
Διαβάστε περισσότεραJuhuslik faktor ja mitmetasandilised mudelid
Peatükk 2 Juhuslik faktor ja mitmetasandilised mudelid Uurime inimese verer~ohku. Inimese verer~ohk on üsnagi varieeruv ja s~oltub üsnagi tugevalt hetkeolukorrat mida inimene on enne m~o~otmist söönud/joonud,
Διαβάστε περισσότερα