Kirjeldab kuidas toimub programmide täitmine Tähendus spetsifitseeritakse olekuteisendussüsteemi abil Loomulik semantika
|
|
- Ἀληκτώ Γιαννόπουλος
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Operatsioonsemantika Kirjeldab kuidas toimub programmide täitmine Tähendus spetsifitseeritakse olekuteisendussüsteemi abil Loomulik semantika kirjeldab kuidas j~outakse l~oppolekusse Struktuurne semantika kirjeldab programmi täitmist üksikute sammude kaupa
2 Loomulik semantika Konfiguratsioonid on kujul S, s v~oi s, kus S on lause ja s on olek (so. keskond mis annab muutujatele väärtused) Üleminekud on kujul S, s s Iga keelekonstruktsiooniga seotakse tuletusreegel kuidas lihtsamate konstruktsioonide üleminekutest antud konstruktsiooni üleminek saavutatakse
3 Keele While loomulik semantika Tühilause skip, s s Omistamine x := a, s s[x A[[a]]s] Kompositsioon S 1, s s S 2, s s S 1 ; S 2, s s
4 Keele While loomulik semantika Tingimuslause S 1, s s if b then S 1 else S 2, s s S 2, s s if b then S 1 else S 2, s s if B[[b]]s = tt if B[[b]]s = ff While-tsükkel S, s s while b do S, s s while b do S, s s while b do S, s s if B[[b]]s = tt if B[[b]]s = ff
5 Keele While loomulik semantika Näide: y := 1; while (x = 1) do (y := y x; x := x 1) A 2, s 3 s 4 A 3, s 4 s 5 A 2, s 1 s 2 A 3, s 2 s 3 A 2 ; A 3, s 1 s 3 A 2 ; A 3, s 3 s 5 W, s 5 s 5 W, s 3 s 5 A 1, s 0 s 1 W, s 1 s 5 kus A 1 ; W, s 0 s 5 A 1 = y := 1 s 0 = [x 3] s 3 = [x 2, y 3] A 2 = y := y x s 1 = [x 3, y 1] s 4 = [x 2, y 6] A 3 = x := x 1 s 2 = [x 3, y 3] s 5 = [x 1, y 6] W = while (x = 1) do (A 2 ; A 3 )
6 Semantika omadusi ekvivalents Laused S 1 ja S 2 on semantiliselt samaväärsed (ekvivalentsed) kui iga oleku s ja s korral S 1, s s S 2, s s Lemma: Lause while b do S on semantiliselt samaväärne lausega if b then (S; while b do S) else skip T~oestus: while b do S, s s if b then (S; while b do S) else skip, s s ( ) ( )
7 Semantika omadusi ekvivalents (t~oestuse järg) ( ) ( ), B[[b]]s = tt. T 1. T 2 S, s s while b do S, s s while b do S, s s. T 1. T 2 S, s s while b do S, s s S; while b do S, s s if b then (S; while b do S) else skip, s s
8 Semantika omadusi ekvivalents (t~oestuse järg) ( ) ( ), B[[b]]s = ff while b do S, s s skip, s s if b then (S; while b do S) else skip, s s ( ) ( ), B[[b]]s = tt ( ) ( ), B[[b]]s = ff
9 Semantika omadusi determinism Semantika on ühene (determineeritud) kui suvaliste S, s, s, s korral S, s s S, s s = s = s Teoreem: Keele While loomilik semantika on ühene. T~oestus: Eeldame et S, s s ning näitame et kui S, s s siis s = s. T~oestus toimub induktsiooniga S, s s tuletuspuu struktuuri järgi.
10 Semantiline funktsioon S ns Loomulik semantika indutseerib semantilise funktsiooni S ns : Stm (State State) so. iga lause S jaoks defineerime (osalise) funktsiooni S ns [[S]] State { State s if S, s s S ns [[S]]s = undef otherwise
11 Struktuurne semantika Konfiguratsioonid on kujul S, s v~oi s, kus S on lause ja s on olek Üleminekud on kujul S, s S, s v~oi S, s s Konfiguratsioon on l~oppkonfiguratsioon, kui ühtegi temast lähtuvat üleminekut ei leidu k-sammuline üleminek S, s k γ L~oplikusammuline üleminek S, s γ
12 Keele While struktuurne semantika Tühilause skip, s s Omistamine x := a, s s[x A[[a]]s] Kompositsioon S 1, s S 1, s S 1 ; S 2, s S 1 ; S 2, s S 1, s s S 1 ; S 2, s S 2, s
13 Keele While struktuurne semantika Tingimuslause if b then S 1 else S 2, s S 1, s if b then S 1 else S 2, s S 2, s if B[[b]]s = tt if B[[b]]s = ff While-tsükkel while b do S, s if b then (S; while b do S) else skip, s
14 Keele While struktuurne semantika Näide: y := 1; while (x = 1) do (y := y x; x := x 1), [x 3] while (x = 1) do (y := y x; x := x 1), [x 3, y 1] if (x = 1) then ((A 2 ; A 3 ); W ) else skip, [x 3, y 1] y := y x; x := x 1; W, [x 3, y 1] x := x 1; W, [x 3, y 3] while (x = 1) do (y := y x; x := x 1), [x 2, y 3] if (x = 1) then ((A 2 ; A 3 ); W ) else skip, [x 1, y 6] skip, [x 1, y 6] [x 1, y 6] kus A 2 = y := y x A 3 = x := x 1 W = while (x = 1) do (A 2 ; A 3 )
15 Semantika omadusi Laused S 1 ja S 2 on semantiliselt samaväärsed (ekvivalentsed) kui iga oleku s ja l~oppkonfiguratsiooni γ korral S 1, s γ S 2, s γ Semantika on ühene (determineeritud) kui suvaliste S, s, γ ja γ korral S, s γ S, s γ = γ = γ Teoreem: Keele While struktuurne semantika on ühene.
16 Semantika omadusi Lemma: Kui S 1 ; S 2, s k s siis leiduvad s, k 1, k 2 sellised et S 1, s k 1 s ja S 2, s k 2 s, kus k = k 1 + k 2. T~oestus: Induktsiooniga derivatsioonijada S 1 ; S 2, s k s pikkuse järgi. Induktsiooni baas triviaalne. Hüpotees, et k k 0 jaoks kehtib. Näitame, et kehtib ka korral. S 1 ; S 2, s k 0+1 s
17 Semantika omadusi Lemma: Alljärgnev implikatsioon ei kehti! S 1 ; S 2, s S 2, s = S 1, s s Lemma: Alljärgnev implikatsioon kehtib! S 1, s k s = S 1 ; S 2, s k S 2, s
18 Semantiline funktsioon S sos Struktuurne semantika indutseerib semantilise funktsiooni S sos : Stm (State State) so. iga lause S jaoks defineerime (osalise) funktsiooni S sos [[S]] State { State s if S, s S sos [[S]]s = s undef otherwise
19 Loomuliku ja struktuurse semantika samaväärsus Teoreem: Iga keele While lause S korral S ns [[S]] = S sos [[S]] Lemma: Iga keele While lause S korral S, s s = S, s s Lemma: Iga keele While lause S korral S, s k s = S, s s
20 Keele While laiendused katkestamine Abstraktne süntaks S ::= x := a skip S 1 ; S 2 if b then S 1 else S 2 while b do S abort Katkestab programmi töö Loomulik ja struktuurne semantika jäävad samaks! Loomulikus semantikas pole v~oimalik eristada l~opmatut tsüklit (while true do skip) ning katkestamist (abort) Struktuurses semantikas on l~opmatu tsükkel esitatud l~opmatu derivatsiooni kaudu ning katkestamine l~opliku derivatsiooni kaudu, mis l~opeb kinnijäänud konfiguratsioonis (stuck configuration)
21 Keele While laiendused mittedetermineeritus Abstraktne süntaks S ::= x := a skip S 1 ; S 2 if b then S 1 else S 2 while b do S S 1 or S 2 Mittedetermineeritud valik Näiteks lause (x := 1 or (x := 2; x := x + 2)) täitmise järel v~oib muutuja x väärtuseks olla kas 1 v~oi 4
22 Keele While laiendused mittedetermineeritus Loomulik semantika S 1, s s S 2, s s S 1 or S 2, s s S 1 or S 2, s s Struktuurne semantika S 1 or S 2, s S 1, s S 1 or S 2, s S 2, s Loomulikus semantikas väldib mittedetermineeritus l~opmatut tsüklit (kui see on v~oimalik) Struktuurses semantikas mittedetermineeritus ei väldi l~opmatuid tsükleid
23 Keele While laiendused paralleelsus Abstraktne süntaks S ::= x := a skip S 1 ; S 2 if b then S 1 else S 2 while b do S S 1 par S 2 Paralleelne täitmine Näiteks lause (x := 1 par (x := 2; x := x + 2)) täitmise järel v~oib muutuja x väärtuseks olla kas 1, 3 v~oi 4
24 Keele While laiendused paralleelsus Loomulik semantika S 1, s s S 2, s s S 2, s s S 1, s s S 1 par S 2, s s S 1 par S 2, s s Struktuurne semantika S 1, s S 1, s S 1 par S 2, s S 1 par S 2, s S 2, s S 2, s S 1 par S 2, s S 1 par S 2, s S 1, s s S 1 par S 2, s S 2, s S 2, s s S 1 par S 2, s S 1, s Struktuurne semantika v~oimaldab väljendada käskude p~oimumist Loomulikus semantikas pole see v~oimalik
25 Lihtne imperatiivne keel Block Laiendab keelt While plokkstruktuuridega lokaalsete muutujate defineerimiseks Süntaktilised kategooriad n Num x Var a AExp b BExp S Stm D Dec arvud muutujad aritmeetilised avaldised t~oeväärtusavaldised laused muutujate deklaratsioonid
26 Lihtne imperatiivne keel Block Abstraktne süntaks Näide: S ::= x := a skip S 1 ; S 2 if b then S 1 else S 2 while b do S begin D S end D ::= var x := a; D ε begin var y := 1; (x := 1; begin var x := 2; y := x + 1 end; x := y + x) end
27 Lihtne imperatiivne keel Block Plokkstruktuuri loomulik semantika D, s D s S, s s begin D S end, s s [DV(D) s] kus DV(var x := a; D) = {x} DV(D) DV(ε) = { ja (s s x if x X [X s]) x = s x if x X Deklaratsioonide loomulik semantika D, s[x A[[a]]s] D s var x := a; D, s D s ε, s D s
28 Lihtne imperatiivne keel Proc Laiendab keelt Block protseduuridefinitsioonide ja väljakutsetega Süntaktilised kategooriad n Num x Var a AExp b BExp S Stm D Dec p PName P Proc arvud muutujad aritmeetilised avaldised t~oeväärtusavaldised laused muutujate deklaratsioonid protseduuride nimed protseduuride definitsioonid
29 Lihtne imperatiivne keel Proc Abstraktne süntaks S ::= x := a skip S 1 ; S 2 if b then S 1 else S 2 while b do S begin D P S end call p D ::= var x := a; D ε P ::= proc p is S; P ε
30 Lihtne imperatiivne keel Proc Näide: begin var x := 0; proc p is x := x 2; proc q is call p; begin var x := 5; proc p is x := x + 1; call q; y := x end end
31 Keele Proc loomulik semantika Protseduuride keskond dünaamiline skoopimine Env P = PName Stm Protseduuride keskond staatiline skoopimine Üleminekud on kujul Env P = PName Stm Env P env S, s s
32 Keele Proc loomulik semantika Tühilause env skip, s s Omistamine env x := a, s s[x A[[a]]s] Kompositsioon env S 1, s s env S 2, s s env S 1 ; S 2, s s
33 Keele Proc loomulik semantika Tingimuslause env S 1, s s env if b then S 1 else S 2, s s env S 2, s s env if b then S 1 else S 2, s s if B[[b]]s = tt if B[[b]]s = ff While-tsükkel env S, s s env while b do S, s s env while b do S, s s if B[[b]]s = tt env while b do S, s s if B[[b]]s = ff
34 Keele Proc loomulik semantika Plokkstruktuur D, s D s upd(p, env) S, s s env begin D P S end, s s [DV(D) s] Protseduuri keskkonna muutmine Dünaamiline skoopimine upd(proc p is S; P, env) = upd(p, env[p S]) upd(ε, env) = env Staatiline skoopimine upd(proc p is S; P, env) = upd(p, env[p (S, env)]) upd(ε, env) = env
35 Keele Proc loomulik semantika Protseduuride väljakutsumine dünaamiline skoopimine env S, s s env call p, s s where env p = S Protseduuride väljakutsumine staatiline skoopimine env S, s s env call p, s s where env p = (S, env ) Rekursiivsete protseduuride väljakutsumine staatiline skoopimine env [p (S, env )] S, s s env call p, s s where env p = (S, env )
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:
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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 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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραGeomeetrilised vektorid
Vektorid Geomeetrilised vektorid Skalaarideks nimetatakse suurusi, mida saab esitada ühe arvuga suuruse arvulise väärtusega. Skalaari iseloomuga suurusi nimetatakse skalaarseteks suurusteks. Skalaarse
Διαβάστε περισσότεραΚεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας
Κεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή - 1 Μία κλασσική γλώσσα προγραμματισμού αποτελείται από: Εκφράσεις (των
Διαβάστε περισσότερα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)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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}
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΜαζέρας Αχιλλέας. Οι εντολές επανάληψης στην Pascal (While) Φυσικός Αυτοματιστής M.Sc. Νοέµβριος 2009
Μαζέρας Αχιλλέας Φυσικός Αυτοματιστής M.Sc. Οι εντολές επανάληψης στην Pascal (While) Νοέµβριος 2009 ίνονται διαδοχικά από το πληκτρολόγιο τα βάρη µερικών κιβωτίων (απροσδιόριστο το πλήθος τους) µε το
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΟΜΟΣΠΟΝ ΙΑ ΕΚΠΑΙ ΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑ ΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2013
ΤΑΞΗ: 3 η ΤΑΞΗ ΕΠΑ.Λ. (Α Β ΟΜΑ Α) ΜΑΘΗΜΑ: ΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΙ ΙΚΟΤΗΤΑΣ ΘΕΜΑ Α Ηµεροµηνία: Κυριακή 14 Απριλίου 2013 ιάρκεια Εξέτασης: 3 ώρες ΕΚΦΩΝΗΣΕΙΣ Α1. Να γράψετε στο τετράδιο σας το γράµµα
Διαβάστε περισσότεραΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2014
ΤΑΞΗ: 3 η ΤΑΞΗ ΕΠΑ.Λ. (Α Β ΟΜΑ Α) ΜΑΘΗΜΑ: ΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΙ ΙΚΟΤΗΤΑΣ Ηµεροµηνία: Κυριακή 4 Μαΐου 2014 ιάρκεια Εξέτασης: 3 ώρες ΘΕΜΑ Α Α1. α - Σωστό β - Σωστό γ - Λάθος δ - Λάθος ε Λάθος ΑΠΑΝΤΗΣΕΙΣ
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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.
Διαβάστε περισσότερα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..............................
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραιαφάνειες παρουσίασης #3
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ
ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ Διδάσκουσα Δρ Β. Καβακλή Χειμερινό Εξάμηνο 2001 1 Παράδειγμα Υπολογισμός Μισθού ΑΡΧΗ
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / Γ ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 27/01/2013
ΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / Γ ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 27/01/2013 ΘΕΜΑ Α Α1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν, γράφοντας δίπλα στο γράμμα που αντιστοιχεί σε κάθε πρόταση τη
Διαβάστε περισσότεραΜεταγλωττιστές Βελτιστοποίηση
Μεταγλωττιστές Βελτιστοποίηση Νίκος Παπασπύρου nickie@softlab.ntua.gr Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχ. και Μηχ. Υπολογιστών Εργαστήριο Τεχνολογίας Λογισμικού Πολυτεχνειούπολη, 15780
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΑποτελέσματα προόδου
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ http://courses.softlab.ntua.gr/progintro/ Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) Δημήτρης Φωτάκης (fotakis@cs.ntua.gr)
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραιαφάνειες παρουσίασης #3
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης #3!Λογικά διαγράµµατα
Διαβάστε περισσότεραΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ ΔΟΜΗΜΕΝΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Γ ΕΠΑΛ
ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ ΔΟΜΗΜΕΝΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Γ ΕΠΑΛ ΘΕΜΑ Α Α.1 Να χαρακτηρίσετε σωστή (Σ) ή λανθασμένη (Λ) καθεμία από τις παρακάτω προτάσεις (Μονάδες 10) 1. Ένας αλγόριθμος μπορεί να έχει άπειρα βήματα
Διαβάστε περισσότεραΔΗΜΟΤΙΚΕΣ ΕΚΛΟΓΕΣ 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%
Διαβάστε περισσότεραΠίνακας Περιεχομένων. 1. Locals Window & BreakPoints
Πίνακας Περιεχομένων 1. Locals Window & BreakPoints... 1 2. Άσκηση 1 (Select case)... 4 3. Άσκηση 2 (For)... 4 4. Άσκηση 3 (Do Loop)... 5 5. Άσκηση 4 (Do Loop)... 6 1. Locals Window & BreakPoints 2.
Διαβάστε περισσότεραNeformalna verifikacija
Neformalna verifikacija Bojan Petrović bojan_petrovic@fastmail.fm Haklab Beograd April 2015 Haklab Beograd Software Foundations Software Foundations Glavni tvorac kursa je Bendžamin Pirs sa Univerziteta
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 5
Άσκηση 1 (α) {x = 12 y = 7} skip {y = 7} Λύσεις Σειράς Ασκήσεων 5 Η προδιαγραφή αυτή είναι ορθή τόσο με την έννοια της μερικής ορθότητας όσο και με την έννοια της ολικής ορθότητας. Αυτό οφείλεται στο γεγονός
Διαβάστε περισσότεραΑ2. Να γράψετε στο τετράδιό σας τους αριθμούς 1,2,3,4,5 από τη Στήλη Α και δίπλα το γράμμα α,β,γ,δ,ε,στ της Στήλης Β που δίνει τη σωστή αντιστοιχία.
ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΩΝ ΚΑΙ ΕΣΠΕΡΙΝΩΝ ΕΠΑΓΓΕΛΜΑΤΙΚΩΝ ΛΥΚΕΙΩΝ (ΟΜΑ Α A ) ΚΑΙ ΜΑΘΗΜΑΤΩΝ ΕΙ ΙΚΟΤΗΤΑΣ ΕΠΑΓΓΕΛΜΑΤΙΚΩΝ ΛΥΚΕΙΩΝ (ΟΜΑ Α Β ) ΠΕΜΠΤΗ 7 ΙΟΥΝΙΟΥ 2012 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΟΜΗΜΕΝΟΣ
Διαβάστε περισσότερα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),
Διαβάστε περισσότερα- Αναπαράσταση ακέραιας τιµής : - Εύρος ακεραίων : - Ακέραιοι τύποι: - Πράξεις µε ακεραίους (DIV - MOD)
Η Γλώσσα Pascal Χαρακτηριστικά Τύποι Δεδοµένων Δοµή προγράµµατος 1. Βασικές έννοιες Χαρακτηριστικά της γλώσσας Pascal Γλώσσα προγραµµατισµού Συντακτικό Σηµασιολογία Αλφάβητο της γλώσσας Pascal (Σύνολο
Διαβάστε περισσότεραΤΕΧΝΟΛΟΓΙΑ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΤΕΧΝΟΛΟΓΙΑ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Έλεγχος ροής Δομή επιλογής (if, switch) Δομές επανάληψης (while, do-while, for) Διακλάδωση
Διαβάστε περισσότεραΑλγοριθμική & Δομές Δεδομένων- Γλώσσα Προγραμματισμού Ι (PASCAL) (PASCAL ) Εντολές Ελέγχου & Επανάληψης
Αλγοριθμική & Δομές Δεδομένων- Γλώσσα Προγραμματισμού Ι (PASCAL) (PASCAL ) Εντολές Ελέγχου & Επανάληψης Εντολές Ελέγχου 2 Γενικά Εντολές λήψης αποφάσεων Επιτρέπουν στο πρόγραμμα να εκτελεί διαφορετικές
Διαβάστε περισσότεραΑλγόριθμοι. Α. Υπολογιστικά Προβλήματα. Β. Εισαγωγή στους Αλγόριθμους. Γ. ομή Αλγόριθμων. Δ. ομές εδομένων
Αλγόριθμοι Α. Υπολογιστικά Προβλήματα Β. Εισαγωγή στους Αλγόριθμους Γ. ομή Αλγόριθμων Δ. ομές εδομένων Α. Υπολογιστικά Προβλήματα Πρόβλημα: Μια μη αποδεκτή κατάσταση που χρειάζεται επίλυση. Η διατύπωση
Διαβάστε περισσότεραΑπαντήσεις στο μάθημα Δομημένος Προγραμματισμός ΕΠΑΛ
Απαντήσεις στο μάθημα Δομημένος Προγραμματισμός ΕΠΑΛ ΘΕΜΑ Α Α1. α-σωστό β-λάθος γ-λάθος δ-σωστό ε-σωστό Α2. 1. ε 2. γ 3. α 4. στ 5. β Α4. Α) Σχολικό βιβλίο σελίδα 58 Βασικές αλγοριθμικές δομές: επιλογή,
Διαβάστε περισσότεραΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΤΕΛΟΣ 1ΗΣ ΑΠΟ 6 ΣΕΛΙ ΕΣ
ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΠΑΝΕΛΛΑ ΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΩΝ ΚΑΙ ΕΣΠΕΡΙΝΩΝ ΕΠΑΓΓΕΛΜΑΤΙΚΩΝ ΛΥΚΕΙΩΝ (ΟΜΑ Α A ) ΚΑΙ ΜΑΘΗΜΑΤΩΝ ΕΙ ΙΚΟΤΗΤΑΣ ΕΠΑΓΓΕΛΜΑΤΙΚΩΝ ΛΥΚΕΙΩΝ (ΟΜΑ Α Β ) ΕΥΤΕΡΑ 16 ΙΟΥΝΙΟΥ 2014 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ:
Διαβάστε περισσότεραΑΠΑΝΤΗΣΕΙΣ. H διαδικασία ανεύρεσης λογικών λαθών περιλαμβάνει : β- Σωστό. Διαπίστωση του είδους του λάθους γ- Σωστό δ- Λάθος
ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ Γ ΤΑΞΗ ΕΠΑΛ (ΟΜΑΔΑ Α ) & ΜΑΘΗΜΑΤΩΝ ΕΙΔΙΚΟΤΗΤΑΣ ΕΠΑΛ (ΟΜΑΔΑ Β ) ΤΕΤΑΡΤΗ 08/04/2015 - ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: ΟΚΤΩ (8) ΘΕΜΑ Α ΑΠΑΝΤΗΣΕΙΣ Α1. Α2. α-
Διαβάστε περισσότεραΔημιουργία Δυαδικών Δέντρων Αναζήτησης
Δημιουργία Δυαδικών Δέντρων Αναζήτησης Τα Δυαδικά δέντρα αναζήτησης είναι διατεταγμένα δυαδικά δέντρα όπου έχει σημασία η διάταξη των παιδιών κάθε κόμβου. Συγκεκριμένα για τα Δυαδικά δέντρα αναζήτησης,
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΠροέλευση της Pazcal ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ. Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Προέλευση της Pazcal Διδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΕΞΕΤΑΣΕΙΣ ΓΙΑ ΤΑ ΑΝΩΤΕΡΑ ΚΑΙ ΑΝΩΤΑΤΑ ΕΚΠΑΙΔΕΥΤΙΚΑ ΙΔΡΥΜΑΤΑ 2005 ΠΛΗΡΟΦΟΡΙΚΗ ΛΥΣΕΙΣ 1 ΜΕΡΟΣ Α 1. Αρχή Διάβασε
Διαβάστε περισσότερα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
Διαβάστε περισσότεραιαφάνειες παρουσίασης #5
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ http://www.corelab.ece.ntua.gr/courses/programming/ ιδάσκοντες: Στάθης Ζάχος (zachos@cs.ntua.gr) Νίκος Παπασπύρου (nickie@softlab.ntua.gr) ιαφάνειες παρουσίασης #5!Παρουσίαση
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΓραπτές εξετάσεις στο μάθημα: ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (Θ) Εισηγητής: Γεωργίου Χρήστος ΘΕΜΑΤΑ & ΑΠΑΝΤΗΣΕΙΣ. Β. Χαρακτήρας(Αλφαριθμητικά)
Γραπτές εξετάσεις στο μάθημα: ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (Θ) Εισηγητής: Γεωργίου Χρήστος ΘΕΜΑΤΑ & ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑ Α Α1. Να γράψετε στην κόλλα σας τους αριθμούς της στήλης Α που αντιστοιχούν με τα γράμματα
Διαβάστε περισσότεραΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ-ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΚΑΔΗΜΑΪΚΟ ΕΠΑΛ- ΚΑΝΙΓΓΟΣ 13- ΤΗΛ
ΘΕΜ 1.. Χαρακτηρίστε τις προτάσεις που ακολουθούν ως Σωστό, αν οι προτάσεις είναι σωστές και ως Λάθος αν οι προτάσεις είναι λάθος. 1.Είναι πάντα δυνατή η μετατροπή της εντολής WHILE DO σε FOR DO. 2. Στην
Διαβάστε περισσότεραΚεφάλαιο 11 Επανάληψη Ασκήσεις 03
Κεφάλαιο 11 : Επανάληψη 3 ο Φύλλο Εργασιών Άσκηση 01 Να γραφτεί τµήµα προγράµµατος που θα εµφανίζει τους περιττούς ακέραιους αριθµούς από 1 έως 99. Να γράψετε τρεις παραλλαγές του προγράµµατος : µε την
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΠΡΟΤΕΙΝΟΜΕΝΕΣ ΛΥΣΕΙΣ
ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙ ΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΕΞΕΤΑΣΕΙΣ ΓΙΑ ΤΑ ΑΝΩΤΕΡΑ ΚΑΙ ΑΝΩΤΑΤΑ ΕΚΠΑΙ ΕΥΤΙΚΑ Ι ΡΥΜΑΤΑ Μάθηµα: Πληροφορική Ηµεροµηνία εξέτασης: Σάββατο,
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2009
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2009 Μάθημα: ΠΛΗΡΟΦΟΡΙΚΗ ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΛΥΣΕΙΣ 1. 2. 1. Προκαταρτική Έρευνα Μελέτη Σκοπιμότητας
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ. Διδάσκουσα Δρ Β.
ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΑΛΓΟΡΙΘΜΟΥΣ ΚΑΙ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ Διδάσκουσα Δρ Β. Καβακλή Χειμερινό Εξάμηνο 2001 1 Ο τύπος char Επιτρέπει να διαβάζουμε
Διαβάστε περισσότεραΠαραγωγή Ενδιάµεσου Κώδικα. Γιώργος Μανής
Παραγωγή Ενδιάµεσου Κώδικα Γιώργος Μανής Παραγωγή Ενδιάµεσου Κώδικα Κώδικας σε αρχική γλώσσα Κώδικας σε ενδιάµεση γλώσσα Κώδικας σε γλώσσα µηχανής (assembly) Παραγωγή Ενδιάµεσου Κώδικα Συντακτικό δέντρο
Διαβάστε περισσότεραΠαραγωγή Ενδιάµεσου Κώδικα
Παραγωγή Ενδιάµεσου Κώδικα Παραγωγή Ενδιάµεσου Κώδικα Κώδικας σε αρχική γλώσσα Γιώργος Μανής Κώδικας σε ενδιάµεση γλώσσα Κώδικας σε γλώσσα µηχανής (assembly) Παραγωγή Ενδιάµεσου Κώδικα Ενδιάµεση Γλώσσα
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΒΑΣΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΕΣ ΔΟΜΕΣ ΣΕ ΨΕΥΔΟΚΩΔΙΚΑ ΚΑΙ ΣΕ ΔΡΠ
Πώς περιγράφω τον αλγόριθμο; Η φυσική (καθομιλουμένη γλώσσα) είναι μία λύση, αλλά όχι πάντα πρακτική. Χρειάζομαι κάτι πιο δομημένο όπως π.χ. ο ψευδοκώδικας ή όπως θα δούμε αργότερα και ο ίδιος ο κώδικας.
Διαβάστε περισσότερα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].
Διαβάστε περισσότεραB (10) Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 1
: B (10) 2010 Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 1 B B Formal Methods: Software Development in B Qiu Zongyan (May 11, 2010) 2 x : S S S S x := min(s) Formal Methods: Software
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙ ΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2006 ΛΥΣΕΙΣ
ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙ ΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2006 Μάθηµα: ΠΛΗΡΟΦΟΡΙΚΗ Ηµεροµηνία και ώρα εξέτασης: Τρίτη, 6 Ιουνίου 2006 ΜΕΡΟΣ Α
Διαβάστε περισσότεραΔομή Επανάληψης. Κεφάλαιο 7 Mike Trimos
Δομή Επανάληψης Κεφάλαιο 7 Mike Trimos Δομή Επανάληψης Η Διαδικασία αυτή ονομάζεται Βρόγχος ή Επανάληψη (Loop) και η εντολή ή το σύνολο των εντολών που επαναλαμβάνονται ονομάζεται Σώμα της Δομής. Η γλώσσα
Διαβάστε περισσότεραΚεφάλαιο 5 Αξιωματική Σημασιολογία και Απόδειξη Ορθότητας Προγραμμάτων
Κεφάλαιο 5 Αξιωματική Σημασιολογία και Απόδειξη Ορθότητας Προγραμμάτων Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Τα προγράμματα μιας (κλασικής) γλώσσας προγραμματισμού
Διαβάστε περισσότεραΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ PASCAL
ΓΛΩΣΣΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ PASCAL ΓΕΝΙΚΗ ΔΟΜΗ ΠΡΟΓΡΑΜΜΑΤΟΣ Program Ονομα_προγραμματος; «πρόγραμμα» Πρόγραμμα 1 Program Lesson1_Program1; Write('Hello World!!!'); {σχόλια} Επεξήγηση Προγράμματος Program Lesson1_Program1;
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2015
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2015 Μάθημα: ΠΛΗΡΟΦΟΡΙΚΗ ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΛΥΣΕΙΣ ΜΕΡΟΣ Α 1. ΑΡΧΗ Διάβασε timi Ψευδής timi
Διαβάστε περισσότεραΕνότητα 1: «Εισαγωγή στην Αλγοριθμική και τον Προγραμματισμό. Απλές ασκήσεις με γλώσσα Pascal»
Ενισχυτική διδασκαλία διδακτικές ενότητες αλγοριθμικής και εισαγωγής στον προγραμματισμό Ενότητα 1: «Εισαγωγή στην Αλγοριθμική και τον Προγραμματισμό. Απλές ασκήσεις με γλώσσα Pascal» διδάσκων: χρήστος
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 26-01-2014
ΜΑΘΗΜΑ / ΤΑΞΗ : ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ / ΕΠΑΛ ΣΕΙΡΑ: ΗΜΕΡΟΜΗΝΙΑ: 26-01-2014 ΘΕΜΑ Α Α1. Να γράψετε στο τετράδιό σας τον αριθμό καθεμιάς από τις παρακάτω προτάσεις 1-5 και δίπλα τη λέξη Σωστό, αν είναι
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΕΡΓΑΣΤΗΡΙΟ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΜΕΡΟΣ ΠΕΜΠΤΟ Triggers, Stored procedures Γιώργος Μαρκοµανώλης Περιεχόµενα Triggers-Ενηµέρωση δεδοµένων άλλων πινάκων... 1 Ασφάλεια...
Διαβάστε περισσότεραΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2008
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2008 Μάθημα: ΠΛΗΡΟΦΟΡΙΚΗ ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΛΥΣΕΙΣ 1. Αρχή Διάβασε X Ψευδής X=19 OR X>35
Διαβάστε περισσότεραΣχολικό Βιβλίο - Κεφάλαιο 7 ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ PASCAL ΠΑΡΟΥΣΙΑΣΗ 13
Σχολικό Βιβλίο - Κεφάλαιο 7 ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ PASCAL ΠΑΡΟΥΣΙΑΣΗ 13 ΙΣΤΟΡΙΚΑ Παρουσιάστηκε το 1970 από το Niklaus Wirth Προγενέστερη γλώσσα ήταν η Algol 60 Είναι δομημένη γλώσσα προγραμματισμού υψηλού
Διαβάστε περισσότερα