Suhteline salajasus. Peeter Laud. Tartu Ülikool. peeter TTÜ, p.1/27
|
|
- Ἀελλώ Βονόρτας
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Suhteline salajasus Peeter Laud peeter Tartu Ülikool TTÜ, p.1/27
2 Probleemi olemus salajased sisendid avalikud väljundid Program muud väljundid muud sisendid mittesalajased väljundid Kas programm rahuldab järgnevat salajasustingimust? Avalikud väljundid tehakse kõigile teatavaks,... aga salajaste sisendite kohta ei tohi midagi avalikuks saada,... aga me oleme mingil viisil kindlaks teinud, et mittesalajased väljundid ei anna salajaste sisendite kohta sensitiivset infot. Formaalne definitsioon? Programmianalüüs? TTÜ, p.2/27
3 Ettekande ülesehitus Keele süntaks ja semantika. Turvalisuse definitsioon. Programmianalüüs. Abstraktne domeen. Üleminekufunktsioonid. declassify-lause. Lihtne, semantiliselt ebakorrektne analüüs. Programmi ümberkirjutamine. Kahe analüüsi suhe. TTÜ, p.3/27
4 Programmeerimiskeel Lihtne imperatiivne keel (WHILE). P ::= x := o(x 1,..., x k ) skip P 1 ; P 2 if b then P 1 else P 2 while b do P Programmi olekute hulk State on Var Val. x, x 1,..., x k, b Var, o Op. Salajased sisendid muutujate Var S Var esialgsed väärtused. Avalikud/mittesalajased väljundid muutujate Var P Var / Var NS Var lõppväärtused. TTÜ, p.4/27
5 Deterministlik semantika Denotatsiooniline semantika kujutab programmi algoleku lõppolekuks. [P] : State State defineeritud induktiivselt üle süntaksi; State = State { }; tähistab mittetermineerumist. Meie tulemused on hetkel termineerumistundetud. Termineerumisega seotud küsimused on ilmselt teistest küsimustest sõltumatud. Seetõttu loeme me [P] : State State. TTÜ, p.5/27
6 Mittemõjutatavus Harilik definitsioon: Programmi avalike väljundite väärtused peavad olema määratud tema teiste sisendite väärtustega. f : (Var T Val) (Var P Val) nii et kõigi S State jaoks [P](S) VarP = f(s VarT ). Siin Var T tähistab programmi mittesalajasi sisendeid. TTÜ, p.6/27
7 Mittemõjutatavus Tähistagu S 1 = X S 2 võrdust S 1 X = S 2 X, kus X Var. Siis mittemõjutatavus tähendab, et kõigi S 1, S 2 State jaoks S 1 = VarT S 2 = [P ](S 1 ) = VarP [P ](S 2 ). TTÜ, p.7/27
8 Suhteline salajasus Programmi avalike väljundite väärtused peavad olema määratud tema teiste sisendite ja mittesalajaste väljundite väärtustega. S 1 = VarT S 2 [P](S 1 ) = VarNS [P](S 2 ) [P](S 1 ) = VarP [P](S 2 ) Kui eeldame (üldisust kitsendamata), et P ei omista muutujatele Var T -s, siis [P](S 1 ) = VarT [P](S 2 ) [P](S 1 ) = VarNS [P](S 2 ) [P](S 1 ) = VarP [P](S 2 ) TTÜ, p.8/27
9 Abstraktne domeen Mingite (suvaliste) S State ja X, Y, Z Var korral huvitab meid, kas S 1 = X S 2 S 1 = Y S 2 S 1 = Z S 2 kehtib kõigi S 1, S 2 S jaoks. Piisab, kui teame kõigi X Var ja z Var jaoks, kas kehtib kõigi S 1, S 2 S jaoks. S 1 = X S 2 S 1 (z) = S 2 (z) Me abstraheerime P(State)-i domeeniga P(P(Var) Var). Olgu α abstraktsioonifunktsioon. TTÜ, p.9/27
10 Analüüsi üldstruktuur Let A võimalike algolekute hulga abstraktsioon. Rakenda P analüüsi A -le, see annab A -i. A abstraheerib võimalike lõppolekute hulka. Ta on konservatiivne abstraktsioon osad paarid (X, z) võivad puududa. Kui ( Var T Var NS, x ) A kõigi x Var P jaoks, siis võime programmi turvaliseks lugeda. TTÜ, p.10/27
11 Abstraktsiooni omadusi Olgu A = α(s) mingi S State jaoks. Siis ({z}, z) A, (X, z) A (X Y, z) A, (X {y}, z) A (X, y) A (X, z) A kehtivad kõigi X, Y Var ja y, z Var jaoks. Ütleme, et A P(Var) Var on kinnine, kui ta neid implikatsioone rahuldab. A sulund on vähim kinnine A-d sisaldav hulk. TTÜ, p.11/27
12 Omistamiste analüüs Analüüs A(x := o(x 1,..., x k )), rakendatuna A -le, konstrueerib A -i järgmisel viisil: tapa x, s.t. kustuta kõik (X, z), kus x X või x = z; lisa ({x 1,..., x k }, x); moodusta sulund. (eeldame, et x {x 1,..., x k }) Kui mõni x i on peale tehet leitav mingist hulgast X {x, x 1,..., x k } siis lisa teisel sammul ka (X, x i ). Näide: y on leitav hulgast {x, z} peale tehet x := y + z. TTÜ, p.12/27
13 skip-i ja kompositsiooni analüüs A(skip) on identsusfunktsioon. A(P 1 ; P 2 ) = A(P 2 ) A(P 1 ). TTÜ, p.13/27
14 if then else-i analüüs Vaatame programmi if b then P 1 else P 2. Olgu {x 1,..., x k } = Var asgn Var muutujad, millele P 1 -s või P 2 -s omistatakse. Olgu Var = Var {N, x true 1,..., x true k, x false 1,..., x false k } Programmil on sama funktsionaalsus. P true 1 on P 1, kus kõik x i -d on asendatud x true i -ga. P false 2 on defineeritud sarnaselt. Analüüsi hoopis parempoolset programmi. N := b x true 1 := x 1 x false 1 := x 1... x true k x false k P true 1 P false 2 := x k := x k x 1 := N? x true 1 : x false 1... x k := N? x true k : x false k TTÜ, p.14/27
15 Lisaks:? :-de jada analüüsimine Vaatame programmi x 1 := N? x true 1 : x false 1 ; x 2 := N? x true 2 : x false 2 ; ; x k := N? x true k Kui : x false k X Var\{x 1,..., x k } Y {x 1,..., x k } i {1,..., k} (X, N) A (X Y true, x true i ) A (X Y false, x false i ) A siis võime võtta (X Y, x i ) A. TTÜ, p.15/27
16 Harude sõltumatu analüüs Programmi if b then P 1 else P 2 võime analüüsida järgmiselt: Olgu N uus muutuja, olgu Siis võtame (X, z) A, kui (X, z) A 1 A 2 ; A 1 = A(N := b; P 1 )(A ) A 2 = A(N := b; P 2 )(A ). kui X {z} Var asgn, siis (X\Var asgn, N) A 1 (või A 2 ). TTÜ, p.16/27
17 while-i analüüs A(while b do P), rakendatuna A -le, rakendab talle analüüsi A(if b then P else skip) seni kaua, kuni jõuab püsipunktini. Korrektsus järeldub võrdusest [while b do P] = [while b do P] [if b then P else skip ]. TTÜ, p.17/27
18 Alternatiiv Programmi while b do P analüüsiks: Olgu A 1 suurim (hulkade sisalduvuse mõttes), mis rahuldab võrrandit A 1 = A A(N := b; P)(A 1 ) (leitakse iteratiivselt, algväärtuseks võime võtta A ). Siis võtame (X, z) A, kui (X, z) A 1 ; kui X {z} Var asgn, siis (X\Var asgn, N) A 1. TTÜ, p.18/27
19 Deklassifitseerimislause Me lisame programmeerimiskeelde lause kus x Var. declassify(x), Tema semantika on sama, mis lausel skip. Intuitiivne tähendus: praegusel hetkel ei ole võimalik x väärtusest midagi salajaste sisendite kohta leida. Intuitiivne tähendus kajastub analüüsis. TTÜ, p.19/27
20 Lihtne analüüs deklassifitseerimisega Vaatame analüüsi, mis kujutab programmi alguses mittesalajsed muutujad lõpus avalikeks muutujateks. B(P) : P(Var) P(Var), nii argument kui ka väärtus on avalike muutujate hulgad. { B {x}, if x 1,..., x k B B(x := o(x 1,..., x k ))(B ) = B \{x}, otherwise. B(declassify(x))(B ) = B {x} skip ja kompositsioon nagu A. TTÜ, p.20/27
21 Lihtne analüüs, if then else B = B(if b then P 1 else P 2 )(B ) leitakse järgmiselt: kus N on uus muutuja. z B, kui z B 1 B 2 ; B 1 = B(N := b; P 1 )(B ) B 2 = B(N := b; P 2 )(B ), kui z Var asgn, siis N B 1 (ehk N B 2 ). TTÜ, p.21/27
22 Lihtne analüüs, while Programmi while b do P analüüsiks: Olgu B 1 suurim (hulkade sisalduvuse mõttes), mis rahuldab võrrandit B 1 = B B(N := b; P)(B 1 ) (leitakse iteratiivselt). Siis z B parajasti siis, kui z B 1 ; kui z Var asgn, siis N B 1. TTÜ, p.22/27
23 Analüüside seostamine Olgu B Var. Etteantud Var T ja Var NS jaoks olgu ξ(b) := { ( Var T Var NS, x ) : x B}. ξ seob B ja A määramis-/muutumispiirkonnad. B analüüsi B leitud salajast infot mittesisaldavad muutujad. Me tahame defineerida programmiteisenduse ja hulga Var NS nii, et kõigi programmide P ja B Var jaoks kehtiks ξ ( B(P)(B ) ) A(P)(ξ(B )). S.t. A oleks vähemalt sama täpne kui B. Var NS -i kuuluvate muutujate väärtused iseloomustavad, kui palju declassify-d infot annavad. TTÜ, p.23/27
24 Programmiteisendus (1/3) Olgu d uus muutuja. Siis P := [ ] d := Nil; T(P) ja Var NS = {d}. T on defineeritud järgmiselt: T(P) = P, kui P-s pole deklassifitseerimislauseid; T(declassify(x)) := [ tmp := d; d := (x, tmp) ], kus tmp on uus muutuja; Analüüsi A juures: nii y kui ka z on x-st peale tehet x := (y, z) leitavad. T(P 1 ; P 2 ) = T(P 1 ); T(P 2 ); TTÜ, p.24/27
25 Programmiteisendus (2/3) Olgu if - ja while-laused märgendatud. Samas programmis ei esine sama märgend kaks korda. T(if l b then P 1 else P 2 ) := if b then tmp := d; d := ( l, tmp); T(P 1 ) else tmp := d; d := ( l, tmp); T(P 2 ), kus l on antud if -lause märgend. tmp on uus muutuja; l Val on väärtus, mis kuskil mujal ei esine. TTÜ, p.25/27
26 Programmiteisendus (3/3) T(while l b do P) := tmp := d; d := ( a l, tmp); while b do [ T(P); tmp := d; d := ( i l, tmp)], kus l on antud while-lause märgend. tmp on uus muutuja; a l, i l Val on väärtused, mis kuskil mujal ei esine. a l algus ; i l iteratsioon. TTÜ, p.26/27
27 Analüüs A kohendamine if - ja while-lausete analüüse on võimalik optimistlikumaks muuta, sest muutuja d lõppväärtusest on tänu -le võimalik leida tema algväärtus ja väärtus peale iga iteratsiooni. Võime lugeda, et d Var asgn, kuigi talle if -lause harudes või tsüklis omistatakse. S.t. tingimuse (X, z) Var asgn = (X\Var asgn, N) A 1 võib asendada tingimusega (X, z) Var asgn \{d} = (X\(Var asgn \{d}), N) A 1. Seda läheb A ja B seostamisel vaja... TTÜ, p.27/27
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
Διαβάστε περισσότερα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:
Διαβάστε περισσότεραITI 0041 Loogika arvutiteaduses Sügis 2005 / Tarmo Uustalu Loeng 4 PREDIKAATLOOGIKA
PREDIKAATLOOGIKA Predikaatloogika on lauseloogika tugev laiendus. Predikaatloogikas saab nimetada asju ning rääkida nende omadustest. Väljendusvõimsuselt on predikaatloogika seega oluliselt peenekoelisem
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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}
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΚεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας
Κεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή - 1 Μία κλασσική γλώσσα προγραμματισμού αποτελείται από: Εκφράσεις (των
Διαβάστε περισσότεραPLASTSED DEFORMATSIOONID
PLAED DEFORMAIOONID Misese vlavustingimus (pinegte ruumis) () Dimensineerimisega saab kõrvaldada ainsa materjali parameetri. Purunemise (tugevuse) kriteeriumid:. Maksimaalse pinge kirteerium Laminaat puruneb
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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),
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 5
Άσκηση 1 (α) {x = 12 y = 7} skip {y = 7} Λύσεις Σειράς Ασκήσεων 5 Η προδιαγραφή αυτή είναι ορθή τόσο με την έννοια της μερικής ορθότητας όσο και με την έννοια της ολικής ορθότητας. Αυτό οφείλεται στο γεγονός
Διαβάστε περισσότεραΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2014
ΤΑΞΗ: 3 η ΤΑΞΗ ΕΠΑ.Λ. (Α Β ΟΜΑ Α) ΜΑΘΗΜΑ: ΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΙ ΙΚΟΤΗΤΑΣ Ηµεροµηνία: Κυριακή 4 Μαΐου 2014 ιάρκεια Εξέτασης: 3 ώρες ΘΕΜΑ Α Α1. α - Σωστό β - Σωστό γ - Λάθος δ - Λάθος ε Λάθος ΑΠΑΝΤΗΣΕΙΣ
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΟΜΟΣΠΟΝ ΙΑ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑ ΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2013
ΤΑΞΗ: 3 η ΤΑΞΗ ΕΠΑ.Λ. (Α Β ΟΜΑ Α) ΜΑΘΗΜΑ: ΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΙ ΙΚΟΤΗΤΑΣ ΘΕΜΑ Α Ηµεροµηνία: Κυριακή 14 Απριλίου 2013 ιάρκεια Εξέτασης: 3 ώρες ΕΚΦΩΝΗΣΕΙΣ Α1. Να γράψετε στο τετράδιο σας το γράµµα
Διαβάστε περισσότερα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
Διαβάστε περισσότεραVeaarvutus ja määramatus
TARTU ÜLIKOOL Tartu Ülikooli Teaduskool Veaarvutus ja määramatus Urmo Visk Tartu 2005 Sisukord 1 Tähistused 2 2 Sissejuhatus 3 3 Viga 4 3.1 Mõõteriistade vead................................... 4 3.2 Tehted
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραTTÜ informaatikainstituut. Tutvumine Pythoniga
TTÜ informaatikainstituut Tutvumine Pythoniga Python on lihtne kuid võimas programmeerimiskeel, mis leiab üha laiemat kasutamist väga erineva iseloomuga rakenduste loomiseks. Tegemist on vabavaralise tarkvaraga.
Διαβάστε περισσότεραTTÜ informaatikainstituut. Tutvumine Pythoniga
TTÜ informaatikainstituut Tutvumine Pythoniga Python on lihtne kuid võimas programmeerimiskeel, mis leiab üha laiemat kasutamist väga erineva iseloomuga rakenduste loomiseks. Tegemist on vabavaralise tarkvaraga.
Διαβάστε περισσότερα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; δ
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραsiis on tegemist sümmeetrilise usaldusvahemikuga. Vasakpoolne usaldusvahemik x i, E x = EX, D x = σ2
Vahemikhinnangud Vahemikhinnangud Olgu α juhusliku suuruse X parameeter ja α = α (x 1,..., x n ) parameetri α hinnang. Kui ε > 0 on kindel suurus, siis vahemiku (α ε, α +ε) otspunktid on samuti juhuslikud
Διαβάστε περισσότεραMathcadi tööleht ja vormistamisvahendid
Marek Kolk, Tartu Ülikool Viimati muudetud : 6.1.15 Mathcadi tööleht ja vormistamisvahendid Mathcad töötab üldjoontes sarnaselt teistele Windowsi programmidele. Sellegipoolest on palju pisikesi nüansse,
Διαβάστε περισσότερα1. Paisksalvestuse meetod (hash)
1. Paisksalvestuse meetod (hash) Kas on otsimiseks võimalik leida paremat ajalist keerukust kui O(log n)? Parem saaks olla konstantne keerukus O(1), mis tähendaks seda, et on kohe teada, kust õige kirje
Διαβάστε περισσότερα(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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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 α
Διαβάστε περισσότεραFUNKTSIONAALNE PROGRAMMEERIMINE. Skeemid. Eesmärk: esitada riistvara skeeme ja teisi andmevoodiagrammidel baseeruvaid kirjeldusi Haskellis
Skeemid Eesmärk: esitada riistvara skeeme ja teisi andmevoodiagrammidel baseeruvaid kirjeldusi Haskellis VARMO VENE 1 Skeemid Skeemid koosnevad juhtmetest ja komponentidest Läbi juhtmete voolavad etteantud
Διαβάστε περισσότερα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
Διαβάστε περισσότεραSisukord. 2 Programmeerimiskeel C
Veiko Sinivee 2 Programmeerimiskeel C Sisukord Sissejuhatus...1 Programmeerimiskeel C...1 C - keele programmi ehitusest...4 Abiprogramm MAKE...13 Enamkasutatavad funktsioonid...16 Funktsioonid printf()
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραReview Exercises for Chapter 7
8 Chapter 7 Integration Techniques, L Hôpital s Rule, and Improper Integrals 8. For n, I d b For n >, I n n u n, du n n d, dv (a) d b 6 b 6 (b) (c) n d 5 d b n n b n n n d, v d 6 5 5 6 d 5 5 b d 6. b 6
Διαβάστε περισσότερα,millest avaldub 21) 23)
II kursus TRIGONOMEETRIA * laia matemaatika teemad TRIGONOMEETRILISTE FUNKTSIOONIDE PÕHISEOSED: sin α s α sin α + s α,millest avaldu s α sin α sα tan α, * t α,millest järeldu * tα s α tα tan α + s α Ülesanne.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότεραΔΗΜΟΤΙΚΕΣ ΕΚΛΟΓΕΣ 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%
Διαβάστε περισσότεραMatemaatiline analüüs II praktikumiülesannete kogu a. kevadsemester
Matemaatiline analüüs II praktikumiülesannete kogu 5. a. kevadsemester . Kahe ja kolme muutuja funktsiooni määramispiirkond, selle raja, kinnisus ja lahtisus. Olgu X ja Y hulgad. Kujutus e. funktsioon
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ
ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ Διδάσκουσα Δρ Β. Καβακλή Χειμερινό Εξάμηνο 2001 1 Παράδειγμα Υπολογισμός Μισθού ΑΡΧΗ
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 26-01-2014
ΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 26-01-2014 ΘΕΜΑ Α Α1. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς από τις παρακάτω προτάσεις 1-5 και δίπλα τη λέξη Σωστό, αν είναι
Διαβάστε περισσότεραRF võimendite parameetrid
RF võimendite parameetrid Raadiosageduslike võimendite võimendavaks elemendiks kasutatakse põhiliselt bipolaarvõi väljatransistori. Paraku on transistori võimendus sagedusest sõltuv, transistor on mittelineaarne
Διαβάστε περισσότεραΑποτελέσματα προόδου
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://courses.softlab.ntua.gr/progintro/ Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) Δημήτρης Φωτάκης (fotakis@cs.ntua.gr)
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΕΞΕΤΑΣΕΙΣ ΓΙΑ ΤΑ ΑΝΩΤΕΡΑ ΚΑΙ ΑΝΩΤΑΤΑ ΕΚΠΑΙΔΕΥΤΙΚΑ ΙΔΡΥΜΑΤΑ 2005 ΠΛΗΡΟΦΟΡΙΚΗ ΛΥΣΕΙΣ 1 ΜΕΡΟΣ Α 1. Αρχή Διάβασε
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότεραOverview. Transition Semantics. Configurations and the transition relation. Executions and computation
Overview Transition Semantics Configurations and the transition relation Executions and computation Inference rules for small-step structural operational semantics for the simple imperative language Transition
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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)
Διαβάστε περισσότεραalpha Language age (3/5) alpha Language Φροντιστήριο Syntax Directed Translation and
alpha Language (1/5) ΗΥ-340 Γλώσσες και Μεταφραστές Φροντιστήριο Syntax Directed Translation and alpha Language Στην alpha δεν υπάρχει main() συνάρτηση, ο κώδικας ξεκινάει την εκτέλεση από την αρχή του
Διαβάστε περισσότεραΜαζέρας Αχιλλέας. Οι εντολές επανάληψης στην Pascal (While) Φυσικός Αυτοματιστής M.Sc. Νοέµβριος 2009
Μαζέρας Αχιλλέας Φυσικός Αυτοματιστής M.Sc. Οι εντολές επανάληψης στην Pascal (While) Νοέµβριος 2009 ίνονται διαδοχικά από το πληκτρολόγιο τα βάρη µερικών κιβωτίων (απροσδιόριστο το πλήθος τους) µε το
Διαβάστε περισσότερα3. IMPULSS, TÖÖ, ENERGIA
KOOLIFÜÜSIKA: MEHAANIKA3 (kaugõppele) 3. IMPULSS, TÖÖ, ENERGIA 3. Impulss Impulss, impulsi jääus Impulss on ektor, mis on õrdne keha massi ja tema kiiruse korrutisega p r r = m. Mehaanikas nimetatakse
Διαβάστε περισσότερα7.7 Hii-ruut test 7.7. HII-RUUT TEST 85
7.7. HII-RUUT TEST 85 7.7 Hii-ruut test Üks universaalsemaid ja sagedamini kasutust leidev test on hii-ruut (χ 2 -test, inglise keeles ka chi-square test). Oletame, et sooritataval katsel on k erinevat
Διαβάστε περισσότεραVahendid Otsus Analüüs: Analüüsi Riskantseid Otsuseid
Vahendid Otsus Analüüs: Analüüsi Riskantseid Otsuseid Link: http://home.ubalt.edu/ntsbarsh/opre640a/partix.htm Kui sa alustada kindlust, siis lõpetab kahtlusi, kuid kui te tahate sisu alustada kahtlusi,
Διαβάστε περισσότερα2017/2018. õa keemiaolümpiaadi lõppvooru ülesannete lahendused klass
217/218. õa keemiaolümpiaadi lõppvooru ülesannete lahendused 11. 12. klass 1. a) Vee temperatuur ei muutu. (1) b) A gaasiline, B tahke, C vedel Kõik õiged (2), üks õige (1) c) ja d) Joone õige asukoht
Διαβάστε περισσότεραKandvad profiilplekid
Kandvad profiilplekid Koosanud voliaud ehiusinsener, professor Kalju Looris ja ehnikalisensiaa Indrek Tärno C 301 Pärnu 2003 SISUKORD 1. RANNILA KANDVATE PROFIILPLEKKIDE ÜLDANDMED... 3 2. DIMENSIOONIMINE
Διαβάστε περισσότερα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",
Διαβάστε περισσότερα- Αναπαράσταση ακέραιας τιµής : - Εύρος ακεραίων : - Ακέραιοι τύποι: - Πράξεις µε ακεραίους (DIV - MOD)
Η Γλώσσα Pascal Χαρακτηριστικά Τύποι Δεδοµένων Δοµή προγράµµατος 1. Βασικές έννοιες Χαρακτηριστικά της γλώσσας Pascal Γλώσσα προγραµµατισµού Συντακτικό Σηµασιολογία Αλφάβητο της γλώσσας Pascal (Σύνολο
Διαβάστε περισσότεραΒασικά Στοιχεία της Java
Βασικά Στοιχεία της Java Παύλος Εφραιμίδης Java Βασικά Στοιχεία της γλώσσας Java 1 Τύποι Δεδομένων Η Java έχει δύο κατηγορίες τύπων δεδομένων: πρωτογενείς (primitive) τύπους δεδομένων αναφορές Java Βασικά
Διαβάστε περισσότερα