Az F# nyelv erőforrásanalízise
|
|
- Elvira Vincze
- 8 évvel ezelőtt
- Látták:
Átírás
1 Az F# nyelv erőforrásanalízise Góbi Attila Eötvös Loránd Tudományegyetem Támogatta a KMOP / és az Európai Regionális Fejlesztési Alap Június 19. Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
2 Áttekintés Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
3 Áttekintés Outline Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
4 Áttekintés Áttekintés Absztrakt és egzakt interpretáció Irreleváns költségek ( ) Intervallum kalkulus Mohó, magasabbrendű nyelven Paraméterezhető Monoton költségek mérése Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
5 Áttekintés Áttekintés Source code program transformation Core program dependency analysis Function group (component) driver abstract interpretation Mathematical equations equations solver Math. formulas Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
6 A Core nyelv Outline Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
7 A Core nyelv A Core nyelv Abstract Syntax program ::= decl decl ::= ident ident = expr expr ::= expr expr + literal ident let ident = expr in expr case expr of case + case ::= pattern expr pattern ::= _ ident ident literal Beágyazott minták nincsenek Csak a legutolsó minta lehet _ A mintaillesztésben az azonosító csak adatkonstruktor lehet Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
8 A Core nyelv Core nyelv Beépített függvények Egészeken: + int, - int, * int, < int, > int, <= int, >= int, == int, /= int, div, mod Hasonlóan más típusokon Adatkonstruktorok: Nil, Cons, True, False Szintaktikus cukor: Nil ([]) és Cons (:) Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
9 Egzakt kalkulus Outline Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
10 Egzakt kalkulus Egzakt kalkulus R = [0, ] alaphalmazon e az egzakt költség κ 0, κ 1, κ 2,..., π, η, α 1, α 2, ζ 1, ζ 2,... [0, [ Irreleváns költség: Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
11 Egzakt kalkulus Szabályok e =0 e[v:= e 1 ] = e[v:= e 2 ] if e 1 e 2 e[v:=f] = f + e[v:= f] ha f zárt, és v nem case kifejezésben van Examples 42 =0 1 + (1+1) = (2+3) = (2+3) = Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
12 Egzakt kalkulus Adatkonstruktor telített alkalmazása C e 1... e n = κ n Examples 42 = κ 0 True = κ 0 [ 1] = 1 : [] = Cons 1 [] = κ 2 + κ 0 Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
13 Egzakt kalkulus Natív függvény hívása Legyen f függvény, n aritással f e 1... e n = f δ f architektúrafüggő + int = 1, == int = 1, * int = 4, mod int = 16 Example = δ = 2δ 3 * 15 = 4δ Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
14 Egzakt kalkulus Case kifejezések Adatkonstruktor case (C f 1... f m ) of p 1 e 1... p n e n = π + e i [v 1 := f 1,..., v m := f m ] ha p i = C f 1... f m az első illeszkedős Wildchar case e of p 1 e 1... p n e n = π + e n ha p n = _ az első illeszkedés Example case [] of [] True; _ False = π + True = π + κ 0 Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
15 Egzakt kalkulus Let kifejezések let v = e in e = e [v:= e] Example let x = in x + x = let x = (1 + 1) in x + x = (1+1) + (1+1) = Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
16 Egzakt kalkulus Telített függvényalkalmazások f e 1... e n = α n + e[v 1 := e 1,..., v n := e n ] Example double (1 + 1) = α 1 + (1+1) + (1+1) = 2κ 0 + δ + α 1 + δ double x = x + x Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
17 Egzakt kalkulus Részleges alkalmazások n argumentumból closure készítésének költsége: ζ n Example (f 1) 2 = ζ 1 + α 1, if f has arity 2 (f 1) 2 = 2ζ 1, if f has arity 3 f 1 2 = ζ 2, if f has arity 3 Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
18 Kiterjesztett kifejezések Outline Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
19 Kiterjesztett kifejezések Tetszőleges kifejezés _ τ τ típusú tetszőleges kifejezés e = Az e kiterjesztett kifejezéshez tartozó kifejezések halmaza Szemantika e = {e} ha e konstruktor, változó vagy függvényszimbólum _ τ = { e e az összes τ típusú kifejezés} e = { e e e } case e of p 1 f 1;... ; p n f n = {case e of p 1 f 1 ;... ; p n f n e e, f 1 f 1,..., f n f n } let v = e 1 in e 2 = {let v = e 1 in e 2 e 1 e 1, e 2 e 2 } e 1... e n = {e 1... e n e 1 e 1,..., e n e n } Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
20 Kiterjesztett kifejezések Tetszőleges lista List τ n : τ típusú elemekből álló n hosszúságú lista Szemantika List τ 0 = { []} List τ n+1 = (_ τ : List τ n ) Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
21 Költségbecslés Outline Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
22 Költségbecslés Intervallum aritmetika Nyelvtan kiterjesztését már bemutattuk Most a költség kalkulus kiterjesztése következik Intervallum aritmetika (a, b) = zárt intervallum a és b végpontokkal, ahol a, b R (a, b) + (c, d) = (a+c, b+d) n(a, b) = (na, nb) (a, b) (c, d) = (min a c, max b d) a R beágyazható, mint (a, a) (a, b) (c, d) a c b d Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
23 Költségbecslés A költségbecslés szematikája Kiterjesztett kifejezések e = (a, b) e e : a e b és (a, b) a legszűkebb ilyen Nyílt kifejezések e = e[v 1 := _ τ1 ] ahol v 1 az e kifejezés τ 1 típusú szabad változója Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
24 Költségbecslés A költségbecslés szematikája e[v:= e 1 ] = e[v:= e 2 ] if e 1 e 2 case _ of p 1 e 1 ;... ; p n e n = e 1... e n case List 0 of [] e 1 ; v 1 :v 2 e 2 = π + e 1 case List n+1 of [] e 1 ; v 1 :v 2 e 2 = π + e 2 [v 1 := _, v 2 := List n ]... Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
25 Resource analysis Góbi Attila (ELTE) Az F# nyelv erőforrásanalízise Június / 1
PROGRAMOZÁS MÓDSZERTANI ALAPJAI I. TÉTELEK ÉS DEFINÍCIÓK
PROGRAMOZÁS MÓDSZERTANI ALAPJAI I. TÉTELEK ÉS DEFINÍCIÓK Szerkesztette: Bókay Csongor 2012 tavaszi félév Az esetleges hibákat kérlek a csongor@csongorbokay.com címen jelezd! Utolsó módosítás: 2012. június
RészletesebbenRelációs algebra áttekintés és egy táblára vonatkozó lekérdezések
Relációs algebra áttekintés és egy táblára vonatkozó lekérdezések Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 2.4. Relációs algebra (áttekintés) 5.1.
RészletesebbenRelációs algebrai lekérdezések átírása SQL SELECT-re (példák)
Relációs algebrai lekérdezések átírása SQL SELECT-re (példák) Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 Áttekintés: Rel.algebra és SQL Példák: Tk.Termékek
RészletesebbenBudapesti Műszaki és Gazdaságtudományi Egyetem. Áramlástan Tanszék. Mérés előkészítő óra I. 2009.
Budaesti Műszaki és Gazdaságtudományi Egyetem Áramlástan Tanszék Mérés előkészítő óra I. 009. Balczó Márton Istók Balázs Lohász Máté Márton Nagy László Dr. Régert Tamás Suda Jenő Miklós Dr. Szabó K. Gábor
RészletesebbenProgramozás I. Metódusok C#-ban Egyszerű programozási tételek. Sergyán Szabolcs sergyan.szabolcs@nik.uni-obuda.hu
Programozás I. 3. előadás Tömbök a C#-ban Metódusok C#-ban Egyszerű programozási tételek Sergyán Szabolcs sergyan.szabolcs@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Szoftvertechnológia
RészletesebbenFELADATOK A. A feladatsorban használt jelölések: R + = {r R r>0}, R = {r R r < 0}, [a; b] = {r R a r b}, ahol a, b R és a b.
FELADATOK A RELÁCIÓK, GRÁFOK TÉMAKÖRHÖZ 1. rész A feladatsorban használt jelölések: R = {r R r < 0}, R + = {r R r>0}, [a; b] = {r R a r b}, ahol a, b R és a b. 4.1. Feladat. Adja meg az α = {(x, y) x +
RészletesebbenLíneáris függvények. Definíció: Az f(x) = mx + b alakú függvényeket, ahol m 0, m, b R elsfokú függvényeknek nevezzük.
Líneáris függvének Definíció: Az f() = m + b alakú függvéneket, ahol m, m, b R elsfokú függvéneknek nevezzük. Az f() = m + b képletben - a b megmutatja, hog a függvén hol metszi az tengelt, majd - az m
Részletesebben(2) A R. 3. (2) bekezdése helyébe a következő rendelkezés lép: (2) A képviselő-testület az önkormányzat összes kiadását 1.1369.
Enying Város Önkormányzata Képviselő-testületének 20/2010. (X. 05.) önkormányzati rendelete az Enying Város Önkormányzatának 2100. évi költségvetéséről szóló 7/2010. (II. 26.) önkormányzati rendelete módosításáról
RészletesebbenLEKÉRDEZÉSEK SQL-BEN. A relációs algebra A SELECT utasítás Összesítés és csoportosítás Speciális feltételek
LEKÉRDEZÉSEK SQL-BEN A relációs algebra A SELECT utasítás Összesítés és csoportosítás Speciális feltételek RELÁCIÓS ALGEBRA A relációs adatbázisokon végzett műveletek matematikai alapjai Halmazműveletek:
RészletesebbenTermészetes számok: a legegyszerűbb halmazok elemeinek. halmazokat alkothatunk, ezek elemszámai természetes 3+2=5
1. Valós számok (ismétlés) Természetes számok: a legegyszerűbb halmazok elemeinek megszámlálására használjuk őket: N := {1, 2, 3,...,n,...} Például, egy zsák bab felhasználásával babszemekből halmazokat
RészletesebbenTöbbváltozós függvények Riemann integrálja
Többváltozós üggvének Riemann integrálja Többváltozós üggvének Riemann integrálja Többváltozós üggvének Riemann integrálja Az integrál konstrukciója tetszőleges változószám esetén Deiníció: n dimenziós
RészletesebbenAnalízis 1. (BSc) vizsgakérdések Programtervez informatikus szak 2008-2009. tanév 2. félév
Analízis 1. (BSc) vizsgakérdések Programtervez informatikus szak 2008-2009. tanév 2. félév Valós számok 1. Hogyan szól a Bernoulli-egyenl tlenség? Mikor van egyenl ség? Válasz. Minden h 1 valós számra
RészletesebbenAzonosító jel: MATEMATIKA EMELT SZINTŰ ÍRÁSBELI VIZSGA. 2008. október 21. 8:00. Az írásbeli vizsga időtartama: 240 perc
É RETTSÉGI VIZSGA 2008. október 21. MATEMATIKA EMELT SZINTŰ ÍRÁSBELI VIZSGA 2008. október 21. 8:00 Az írásbeli vizsga időtartama: 240 perc Pótlapok száma Tisztázati Piszkozati OKTATÁSI ÉS KULTURÁLIS MINISZTÉRIUM
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Geometria I.
Geometria I. Alapfogalmak: Az olyan fogalmakat, amelyeket nem tudunk egyszerűbb fogalmakra visszavezetni, alapfogalmaknak nevezzük, s ezeket nem definiáljuk. Pl.: pont, egyenes, sík, tér, illeszkedés.
RészletesebbenBeadható feladatok. 2006. december 4. 1. Add meg az alábbi probléma állapottér-reprezentációját!
Beadható feladatok 2006. december 4. 1. Feladatok 2006. szeptember 13-án kitűzött feladat: 1. Add meg az alábbi probléma állapottér-reprezentációját! Adott I 1,..., I n [0, 1] intervallumokból szeretnénk
RészletesebbenKödös határ (Félreértés, hiba)
Informális vs. formális probléma leírás Valós világ (Domain) Ködös határ (Félreértés, hiba) Formális világ (Hibás eredmény) (Megoldás) A specifikáci ció csak nagyvonalakban írja le a valóságos problémát,
RészletesebbenNevezetes függvények
Nevezetes függvények Függvények értelmezése Legyen adott az A és B két nem üres halmaz. Az A halmaz minden egyes eleméhez rendeljük hozzá a B halmaz egy-egy elemét. Ez a hozzárendelés egyértelmű, és ezt
RészletesebbenAdatok szűrése, rendezése
Adatok szűrése, rendezése Célkitűzések Szűrést kifejező lekérdezések végrehajtása A lekérdezés eredményének rendezése &változó használata isql*plus-ban futási időben megadható feltételek céljából A lista
RészletesebbenSZERVER OLDALI JAVASCRIPT. 3. hét Javascript nyelvi elemek
SZERVER OLDALI JAVASCRIPT 3. hét Javascript nyelvi elemek NYELVI ALAPOK: Ez sajnos igen száraz anyag, Viszont a megértékhez és a nyelv elsajátításához kell. Próbáljuk meg random gifekkel feldobni. MIRŐL
RészletesebbenE B D C C DD E E g e 112 D 0 e B A B B A e D B25 B B K H K Fejhallgató Antenna A B P C D E 123 456 789 *0# Kijelzés g B A P D C E 0 9* # # g B B 52 Y t ] [ N O S T \ T H H G ? > < p B E E D 0 e B D
RészletesebbenSoukup Dániel, Matematikus Bsc III. év Email cím: dsoukup123@gmail.com Témavezető: Szentmiklóssy Zoltán, egyetemi adjunktus
Síktopológiák a Sorgenfrey-egyenes ötletével Soukup Dániel, Matematikus Bsc III. év Email cím: dsoukup123@gmail.com Témavezető: Szentmiklóssy Zoltán, egyetemi adjunktus 1. Bevezetés A Sorgenfrey-egyenes
RészletesebbenJuhász Tibor. Lineáris algebra
Juhász Tibor Lineáris algebra Eszterházy Károly Főiskola Matematikai és Informatikai Intézet Juhász Tibor Lineáris algebra Eger, 2013 Készült a TÁMOP-425B-11/1-2011-0001 támogatásával Tartalomjegyzék
RészletesebbenELŐFESZÍTETT VASBETON TARTÓ TERVEZÉSE AZ EUROCODE SZERINT
BUDAPEST MŰSZAKI ÉS GAZDASÁGTUDOMÁNYI EGYETEM Építőmérnöki Kar Hidak és Szerkezetek Tanszéke ELŐFESZÍTETT VASBETON TARTÓ TERVEZÉSE AZ EUROCODE SZERINT Segédlet v1.14 Összeállította: Koris Kálmán Budapest,
RészletesebbenSZAKDOLGOZAT. Hucker Dávid
SZAKDOLGOZAT Hucker Dávid Debrecen 2010 Debreceni Egyetem Informatikai Kar Kétszemélyes játékok fejlesztése Java-ban Témavezető: Jeszenszky Péter Egyetemi adjunktus Készítette: Hucker Dávid Programtervező
RészletesebbenBEVEZETÉS A FUZZY-ELVŰ SZABÁLYOZÁSOKBA. Jancskárné Dr. Anweiler Ildikó főiskolai docens. PTE PMMIK Műszaki Informatika Tanszék
BEVEZETÉS A FUZZY-ELVŰ SZABÁLYOZÁSOKBA Jancskárné Dr. Anweiler Ildikó főiskolai docens PTE PMMIK Műszaki Informatika Tanszék A fuzzy-logika a kétértékű logika kalkulusának kiterjesztése. Matematikatörténeti
Részletesebben10. OPTIMÁLÁSI LEHETŐSÉGEK A MŰVELET-ELEMEK TERVEZÉSEKOR
10. OPIMÁLÁSI LEHEŐSÉGEK A MŰVELE-ELEMEK ERVEZÉSEKOR A technológiai terezés ezen szintén a fő feladatok a köetkezők: a forgácsolási paraméterek meghatározása, a szerszám mozgásciklusok (üresárati, munkautak)
RészletesebbenAdatbázisok II. Jánosi-Rancz Katalin Tünde tsuto@ms.sapientia.ro 327A
Adatbázisok II. 6 Jánosi-Rancz Katalin Tünde tsuto@ms.sapientia.ro 327A XQUERY 6 XQUERY jellemzői XML dokumentumok lekérdezésére szolgáló lekérdezőnyelv W3C szabvány 2007 óta; a böngészők és ABKR értik
RészletesebbenÉrdekes informatika feladatok
K. L. Érdekes informatika feladatok XXVIII. rész A konvex burkoló (burok) Legyen S a Z sík egy ponthalmaza. S konvex, ha tetszőleges A, B S-beli pont esetén az AB szakasz is S-be esik. Legyen S a Z sík
RészletesebbenINFORMATIKAI ALAPISMERETEK
Informatikai alapismeretek emelt szint 1021 ÉRETTSÉGI VIZSGA 2011. május 13. INFORMATIKAI ALAPISMERETEK EMELT SZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ NEMZETI ERŐFORRÁS MINISZTÉRIUM
RészletesebbenFordítóprogramok felépítése, az egyes programok feladata. A következő jelölésmódot használjuk: program(bemenet)(kimenet)
Fordítóprogramok. (Fordítóprogramok felépítése, az egyes komponensek feladata. A lexikáliselemző működése, implementációja. Szintaktikus elemző algoritmusok csoportosítása, összehasonlítása; létrehozásuk
RészletesebbenSCHÖCK BOLE MŰSZAKI INFORMÁCIÓK 2005. NOVEMBER
SCHÖCK BOLE MŰSZAKI INFORMÁCIÓK 2005. NOVEMBER SCHÖCK BOLE ÁTSZÚRÓDÁSI VASALÁS Schöck BOLE előnyei az építés helyszínén Egyszerű beépíthetőség A statikai igénybevétel szerint összeszerelt beépítéskész
RészletesebbenA matematika alapjai 1 A MATEMATIKA ALAPJAI. Pécsi Tudományegyetem, 2006
A matematika alapjai 1 A MATEMATIKA ALAPJAI Dr. Tóth László Pécsi Tudományegyetem, 2006 Köszönöm Koós Gabriella végzős hallgatónak, hogy felhívta a figyelmemet az anyag előző változatában szereplő néhány
RészletesebbenNemzeti versenyek 11 12. évfolyam
Nemzeti versenyek 11 12. évfolyam Szerkesztette: I. N. Szergejeva 2015. február 2. Technikai munkák (MatKönyv project, TEX programozás, PHP programozás, tördelés...) Dénes Balázs, Grósz Dániel, Hraskó
RészletesebbenFUNKCIONÁLIS PROGRAMOZÁS
FUNKCIONÁLIS PROGRAMOZÁS A funkcionális programozás néhány jellemzője Funkcionális programozás 1-2 Funkcionális, más néven applikatív programozás Funkcionális = függvényalapú, függvényközpontú Applikatív
Részletesebben1. fejezet Microsoft Excel 2010 Tartománynevek... 3
Táblázatkezelés II. TARTALOMJEGYZÉK 1. fejezet Microsoft Excel 2010 Tartománynevek... 3 Tartománynevek definiálása... 5 Háromdimenziós tartománynevek... 7 Másik munkafüzet celláira utaló név létrehozása...
RészletesebbenGAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN
GAZDASÁGMATEMATIKA KÖZÉPHALADÓ SZINTEN ELTE TáTK Közgazdaságtudományi Tanszék Gazdaságmatematika középhaladó szinten ANALÍZIS Készítette: Gábor Szakmai felel s: Gábor Vázlat 1 2 3 Nevezetes halmazok
RészletesebbenXML adatkezelés. 11. témakör. Az XQuery nyelv alapjai. XQuery. XQuery célja egy imperatív lekérdező nyelv biztosítása. XQuery.
XML adatkezelés 11. témakör Az nyelv alapjai ME GEIAL dr Kovács Lászl szló célja egy imperatív lekérdező nyelv biztosítása SQL XPath XSLT (nem XML) XDM Forrás XML processzor Eredmény XML 1 jellemzői --
RészletesebbenMATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK 2003. május 19. du. JAVÍTÁSI ÚTMUTATÓ
MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK 00 május 9 du JAVÍTÁSI ÚTMUTATÓ Oldja meg a rendezett valós számpárok halmazán az alábbi egyenletrendszert! + y = 6 x + y = 9 x A nevezők miatt az alaphalmaz
RészletesebbenFELADATOK A KALKULUS C. TÁRGYHOZ
FELADATOK A KALKULUS C. TÁRGYHOZ. HALMAZOK RELÁCIÓK FÜGGVÉNYEK. Bizoyítsuk be a halmaz-műveletek alapazoosságait! 2. Legye adott az X halmaz legye A B C X. Ha A B := (A B) (B A) akkor bizoyítsuk be hogy
RészletesebbenFunkcionálanalízis az alkalmazott matematikában
EÖTVÖS LORÁND TUDOMÁNYEGYETEM INFORMATIKAI KAR Simon Péter Funkcionálanalízis az alkalmazott matematikában egyetemi jegyzet A jegyzet az ELTE IK 2010. évi Jegyzettámogatási pályázat támogatásával készült
Részletesebben14. Ember-gép kölcsönhatás
14. Ember-gép kölcsönhatás Az interneten a következo deníciót találjuk a témával kapcsolatban: Az ember és számítógép közötti együttmuködéssel foglalkozó tudományág az emberi használatra szánt interaktív
RészletesebbenMűszerek tulajdonságai
Műszerek tulajdonságai 1 Kiválasztási szempontok Műszerek kiválasztásának általános szempontjai mérendő paraméter alkalmazható mérési elv mérendő érték, mérési tartomány környezeti tényezők érzékelő mérete
RészletesebbenJANUS PANNONIUS TUDOMÁNYEGYETEM. Schipp Ferenc ANALÍZIS I. Sorozatok és sorok
JANUS PANNONIUS TUDOMÁNYEGYETEM Schipp Ferenc ANALÍZIS I. Sorozatok és sorok Pécs, 1994 Lektorok: Dr. FEHÉR JÁNOS egyetemi docens, kandidtus. Dr. SIMON PÉTER egyetemi docens, kandidtus 1 Előszó Ez a jegyzet
RészletesebbenS z á m í t ó g é p e s a l a p i s m e r e t e k
S z á m í t ó g é p e s a l a p i s m e r e t e k 7. előadás Ami eddig volt Számítógépek architektúrája Alapvető alkotóelemek Hardver elemek Szoftver Gépi kódtól az operációs rendszerig Unix alapok Ami
RészletesebbenÁramlástan. BMEGEÁTAE01 www.ara.bme.hu Dr. Lajos Tamás lajos@ara.bme.hu Tanszék: AE épület. v1.00
Áramlástan BMEGEÁTAE01 www.ara.bme.hu Dr. Lajos Tamás lajos@ara.bme.hu Tanszék: AE épület v1.00 Összeállította: Péter Norbert Forrás: Lajos Tamás - Az áramlástan alapjai A 21-es kérdésért köszönet: Papp
RészletesebbenHalmazelmélet alapfogalmai
1. Az A halmaz elemei a kétjegyű négyzetszámok. Adja meg az A halmaz elemeit felsorolással! 2. Adott három halmaz: A = {1; 3; 5; 7; 9}; B = {3; 5; 7}; C = {5;10;15} Ábrázolja Venn-diagrammal az adott halmazokat!
Részletesebben117. AA Megoldó Alfréd AA 117.
Programozás alapjai 2. (inf.) pót-pótzárthelyi 2011.05.26. gyak. hiányzás: kzhpont: MEG123 IB.028/117. NZH:0 PZH:n Minden beadandó megoldását a feladatlapra, a feladat után írja! A megoldások során feltételezheti,
RészletesebbenPénzügyi matematika. Medvegyev Péter. 2013. szeptember 8.
Pénzügyi matematika Medvegyev Péter 13. szeptember 8. Az alábbi jegyzet a korábbi ötéves gazdaságmatematikai képzés keretében a Corvinus egyetemen tartott matematikai el adásaim kib vített verziója. A
RészletesebbenFormális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar
Formális szemantika Kifejezések szemantikája Horpácsi Dániel ELTE Informatikai Kar 2016-2017-2 Az előadás témája Egyszerű kifejezések formális szemantikája Az első lépés a programozási nyelvek szemantikájának
RészletesebbenMAGYAR RÉZPIACI KÖZPONT. 1241 Budapest, Pf. 62 Telefon 317-2421, Fax 266-6794 e-mail: hcpc.bp@euroweb.hu
MAGYAR RÉZPIACI KÖZPONT 1241 Budapest, Pf. 62 Telefon 317-2421, Fax 266-6794 e-mail: hcpc.bp@euroweb.hu Tartalom 1. A villamos csatlakozások és érintkezôk fajtái............................5 2. Az érintkezések
Részletesebben2. Interpolációs görbetervezés
2. Interpolációs görbetervezés Gondoljunk arra, hogy egy grafikus tervező húz egy vonalat (szabadformájú görbét), ezt a vonalat nekünk számítógép által feldolgozhatóvá kell tennünk. Ennek egyik módja,
RészletesebbenP a r c iá lis v í z g ő z n y o m á s [ P a ]
Energetikai minőségtanúsítvány 1 Energetikai minőségtanúsítvány összesítő Épület: Védőnői szolgálat épülete, Kál Főút alsó 6. Hrsz 1228 Megrendelő: Kál Nagyközség Önkormányzata Tanúsító: Vereb János 3368.
Részletesebbenp j p l = m ( p j ) 1
Online algoritmusok Online problémáról beszélünk azokban az esetekben, ahol nem ismert az egész input, hanem az algoritmus az inputot részenként kapja meg, és a döntéseit a megkapott részletek alapján
RészletesebbenOBJEKTUM ORIENTÁLT PROGRAMOZÁS JAVA NYELVEN. vizsgatételek
OBJEKTUM ORIENTÁLT PROGRAMOZÁS JAVA NYELVEN vizsgatételek 1. Az objektumorientált programozás szemlélete, az objektum fogalma 2. Az objektumorientált programozás alapelvei 3. A Java nyelv története, alapvető
RészletesebbenGEOGRAPHICAL ECONOMICS
GEOGRAPHICAL ECONOMICS ELTE TáTK Közgazdaságtudományi Tanszék Regionális gazdaságtan A MONOPOLISZTIKUS VERSENY ÉS A DIXITSTIGLITZ-MODELL Készítette: Békés Gábor és Rózsás Sarolta Szakmai felel s: Békés
RészletesebbenAnalízis előadás és gyakorlat vázlat
Analízis előadás és gyakorlat vázlat Készült a PTE TTK GI szakos hallgatóinak Király Balázs 00-. I. Félév . fejezet Számhalmazok és tulajdonságaik.. Nevezetes számhalmazok ➀ a) jelölése: N b) elemei:
RészletesebbenJava II. I A Java programozási nyelv alapelemei
Java II. I A Java programozási nyelv alapelemei Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: 2008. 02. 19. Java II.: Alapelemek JAVA2 / 1 A Java formalizmusa A C, illetve az annak
RészletesebbenAz anyagok mágneses tulajdonságai
BME, Anyagtudomány és Technológia Tanszék Dr. Mészáros István Mágneses tulajdonságok, mágneses anyagok Előadásvázlat 2013. 1 Az anyagok mágneses tulajdonságai Alkalmazási területek Jelentőségük (lágy:
RészletesebbenC# nyelv alapjai. Krizsán Zoltán 1. Objektumorientált programozás C# alapokon tananyag. Általános Informatikai Tanszék Miskolci Egyetem
C# nyelv alapjai Krizsán Zoltán 1 Általános Informatikai Tanszék Miskolci Egyetem Objektumorientált programozás C# alapokon tananyag Tartalom Bevezetés Lokális változó Utasítások Szójáték Why do all real
RészletesebbenHajlított vasbeton keresztmetszet ellenőrzése III. feszültségi állapotban
Hajlított vasbeton keresztmetszet ellenőrzése III. feszültségi állapotban /Határnyomaték számítás/ 4. előadás A számítást III. feszültségi állapotban végezzük. A számításokban feltételezzük, hogy: -a rúd
RészletesebbenBIZONYTALAN ADATOK KEZELÉSE: FUZZY SZAKÉRTŐI RENDSZEREK
BIZONYTALAN ADATOK KEZELÉSE: FUZZY SZAKÉRTŐI RENDSZEREK Szakértői rendszerek, 14. hét, 2008 Tartalom 1 Bevezető 2 Fuzzy történelem A fuzzy logika kialakulása Alkalmazások Fuzzy logikát követ-e a világ?
RészletesebbenC# feladatok gyűjteménye
C# feladatok gyűjteménye Készítette: Fehérvári Károly I6YF6E Informatika tanár ma levelező tagozat 1) Feladat: ALAPMŰVELETEK Készítsünk programot, amely bekér két egész számot. Majd kiszámolja a két szám
RészletesebbenMunkafüzet megoldások 7. osztályos tanulók számára. Makara Ágnes Bankáné Mező Katalin Argayné Magyar Bernadette Vépy-Benyhe Judit
Kalandtúra 7. unkafüzet megoldások 7. osztályos tanulók számára akara Ágnes Bankáné ező Katalin Argayné agyar Bernadette Vépy-Benyhe Judit BEELEGÍTŐ GONDOLKODÁS. SZÓRAKOZTATÓ FELADVÁNYOK. oldal. 6... 6.
RészletesebbenA GÉPIPARI TUDOMÁNYOS EGYESÜLET MŰSZAKI FOLYÓIRATA 2009/4 5. 128 oldal LX. évfolyam
A GÉPIPARI TUDOMÁNYOS EGYESÜLET MŰSZAKI FOLYÓIRATA 2009/4 5. 128 oldal LX. évfolyam GÉP A GÉPIPARI TUDOMÁNYOS EGYESÜLET műszaki, vállalkozási, befektetési, értékesítési, kutatás-fejlesztési, piaci információs
RészletesebbenAdatbázisok I. Az SQL nyelv
Adatbázisok I Az SQL nyelv SQL (Structured Query Language) Deklaratív nyelv, 1974-ben publikálták Halmaz orientált megközelítés, a relációs algebra műveleteinek megvalósítására Előzménye a SEQUEL (IBM)(Structured
RészletesebbenKarakterkészlet. A kis- és nagybetűk nem különböznek, a sztringliterálok belsejét leszámítva!
A PL/SQL alapelemei Karakterkészlet Az angol ABC kis- és nagybetűi: a-z, A-Z Számjegyek: 0-9 Egyéb karakterek: ( ) + - * / < > =! ~ ^ ; :. ' @ %, " # $ & _ { }? [ ] Szóköz, tabulátor, kocsivissza A kis-
RészletesebbenC# gyorstalpaló. Készítette: Major Péter
C# gyorstalpaló Készítette: Major Péter Adattípusok Logikai változó Egész szám (*: előjel nélküli) Lebegőponto s szám Típus Típusnév másképpen (egyenértékű) Helyigény (bit) Példa bool Boolean 8 (!) true,
RészletesebbenMatematikai alapismeretek. Huszti Andrea
Tartalom 1 Matematikai alapismeretek Algebrai struktúrák Oszthatóság Kongruenciák Algebrai struktúrák Az S = {x, y, z,... } halmazban definiálva van egy művelet, ha az S-nek minden x, y elempárjához hozzá
RészletesebbenOAF Gregorics Tibor: Minta dokumentáció a 3. házi feladathoz 1.
OAF Gregorics Tibor: Minta dokumentáció a 3. házi feladathoz 1. Feladat Szimuláljuk különféle élőlények túlélési versenyét. A lények egy pályán haladnak végig, ahol váltakozó viszonyok vannak. Egy lénynek
RészletesebbenEmlékeztető: a fordítás lépései. Szimbólumtábla-kezelés. Információáramlás. Információáramlás. Információáramlás.
Emlékeztető: a fordítás lépései Forrás-kezelő (source handler) Szimbólumtábla-kezelés Fordítóprogramok előadás (A, C, T szakirány) Lexikális elemző (scanner) Szintaktikus elemző (parser) Szemantikus elemző
RészletesebbenMATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ
Matematika emelt szint 1613 ÉRETTSÉGI VIZSGA 016. május 3. MATEMATIKA EMELT SZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ EMBERI ERŐFORRÁSOK MINISZTÉRIUMA Fontos tudnivalók Formai előírások:
RészletesebbenJAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ
Újgörög nyelv emelt szint 0611 ÉRETTSÉGI VIZSGA 2006. november 3. ÚJGÖRÖG NYELV EMELT SZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ OKTATÁSI ÉS KULTURÁLIS MINISZTÉRIUM I. Olvasott szöveg
RészletesebbenC# Nyelvi Elemei. Tóth Zsolt. Miskolci Egyetem. Tóth Zsolt (Miskolci Egyetem) C# Nyelvi Elemei / 18
C# Nyelvi Elemei Tóth Zsolt Miskolci Egyetem 2013 Tóth Zsolt (Miskolci Egyetem) C# Nyelvi Elemei 2013 1 / 18 Tartalomjegyzék 1 Object 2 Típusok 3 String 4 RegEx Tóth Zsolt (Miskolci Egyetem) C# Nyelvi
RészletesebbenFélévi időbeosztás (nagyjából) házi feladat beadási határidőkkel (pontosan) Valószínűségszámítás 2. matematikusoknak és fizikusoknak, 2009 tavasz
Félévi időbeosztás (nagyjából) házi feladat beadási határidőkkel (pontosan) Valószínűségszámítás 2. matematikusoknak és fizikusoknak, 2009 tavasz Dátum Téma beadandó Feb 12Cs Konvolúció (normális, Cauchy,
RészletesebbenMATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ
Matematika emelt szint 0 ÉRETTSÉGI VIZSGA 00. február. MATEMATIKA EMELT SZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ OKTATÁSI MINISZTÉRIUM Matematika emelt szint Fontos tudnivalók Formai
RészletesebbenLogikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák
08EMVI3b.nb 1 In[2]:= Theorema Ítéletlogika 1 Ismétlés Szintaxis Szemantika Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák 2 Kalkulusok Kalkulus Levezethetõség Dedukciós
RészletesebbenFeszített vasbeton gerendatartó tervezése költségoptimumra
newton Dr. Szalai Kálmán "Vasbetonelmélet" c. tárgya keretében elhangzott előadások alapján k 1000 km k m meter m Ft 1 1 1000 Feszített vasbeton gerendatartó tervezése költségoptimumra deg A következőkben
RészletesebbenInternet technológiák
Szabadkai Műszaki Szakfőiskola Internet technológiák dr Zlatko Čović chole@vts.su.ac.rs 1 Függvények A függvény egy zárt, önálló kódrészlet, amelyet a PHP programból meghívhatunk és a meghívás után a függvény
RészletesebbenVÉGES CIKLIKUS CSOPORTOKNAK VÉGES CIKLIKUS CSOPORTOKKAL VALÓ SZÉTES BVÍTÉSEIRL
2 HUBER LÁSZLÓ VÉGES CIKLIKUS CSOPORTOKNAK VÉGES CIKLIKUS CSOPORTOKKAL VALÓ SZÉTES BVÍTÉSEIRL 995 BARÁTOMNAK ÉS URANITA TESTVÉREMNEK SZERETETTEL 995. 2. 08. Mota 3 Köszönettel tartozom Corrádi Keresztélynek
RészletesebbenSztochasztikus rákos folyamatok
Sztochasztikus rákos folyamatok A rákos sejtek szaporodásáról egyre többet tudunk, de nem eleget. A kóros betegségben szenvedők sejtjei szüntelenül harcban állnak egymással, mint azok az azonos fajhoz
RészletesebbenElső sorozat (2000. május 22. du.) 1. Oldjamegavalós számok halmazán a. cos x + sin2 x cos x. +sinx +sin2x =
2000 Írásbeli érettségi-felvételi feladatok Első sorozat (2000. május 22. du.) 1. Oldjamegavalós számok halmazán a egyenletet! cos x + sin2 x cos x +sinx +sin2x = 1 cos x (9 pont) 2. Az ABCO háromszög
RészletesebbenTómács Tibor. Matematikai statisztika
Tómács Tibor Matematikai statisztika Eszterházy Károly Főiskola Matematikai és Informatikai Intézet Tómács Tibor Matematikai statisztika Eger, 01 Szerző: Dr. Tómács Tibor főiskolai docens Eszterházy Károly
RészletesebbenJavító és felrakó hegesztés
Budapesti Műszaki és Gazdaságtudományi Egyetem Javító és felrakó hegesztés Dr. Palotás Béla Mechanikai Technológia és Anyagszerkezettani Tanszék Szerző: dr. Palotás Béla 1 Felületi rétegek tulajdonságainak
Részletesebben11. Matematikai statisztika
11. Matematikai statisztika 11.1. Alapfogalmak A statisztikai minta valamely valószínűségi változóra vonatkozó véges számú független kisérlet eredménye. Ez véges sok, azonos eloszlású valószínűségi változó
RészletesebbenGyakorlatok. P (n) = P (n 1) + 2P (n 2) + P (n 3) ha n 4, (utolsó lépésként l, hl, u, hu-t léphetünk).
Gyakorlatok Din 1 Jelölje P (n) azt a számot, ahányféleképpen mehetünk le egy n lépcsőfokból álló lépcsőn a következő mozgáselemek egy sorozatával (zárójelben, hogy mennyit mozgunk az adott elemmel): lépés
RészletesebbenExcel vagy Given-When-Then? Vagy mindkettő?
TESZT & TEA BUDAPEST AGILE MEETUP Pénzügyi számítások automatizált agilis tesztelése: Excel vagy Given-When-Then? Vagy mindkettő? NAGY GÁSPÁR TechTalk developer coach Budapest, 2014 február 6. SpecFlow
RészletesebbenOperációs Rendszerek II. labor. 2. alkalom
Operációs Rendszerek II. labor 2. alkalom Mai témák (e)grep Shell programozás (részletesebben, példákon keresztül) grep Alapvető működés: mintákat keres a bemeneti csatorna (STDIN vagy fájl) soraiban,
Részletesebben19. Hasításos technikák (hash-elés)
19. Hasításos technikák (hash-elés) Példák: 1. Ha egy telefon előfizetőket a telefonszámaikkal azonosítjuk, mint kulcsokkal, akkor egy ritkán kitöltött kulcstartományhoz jutunk. A telefonszám tehát nem
Részletesebben5. A kiterjesztési elv, nyelvi változók
5. A kiterjesztési elv, nyelvi változók Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 A kiterjesztési elv 2 Nyelvi változók A kiterjesztési elv 237 A KITERJESZTÉSI ELV A
RészletesebbenVillamos kapcsolókészülékek BMEVIVEA336
Villamos kapcsolókészülékek BMEVIVEA336 Szigetelések feladatai, igénybevételei A villamos szigetelés feladata: Az üzemszerűen vagy időszakosan különböző potenciálon lévő vezető részek (fém alkatrészek
RészletesebbenMatematikai programozás gyakorlatok
VÁRTERÉSZ MAGDA Matematikai programozás gyakorlatok 2003/04-es tanév 1. félév Tartalomjegyzék 1. Számrendszerek 3 1.1. Javasolt órai feladat.............................. 3 1.2. Javasolt házi feladatok.............................
RészletesebbenADATBÁZISOK I. Az esetleges hibákat kérlek a csongor@csongorbokay.com címen jelezd! Utolsó módosítás: 2013. március 20.
ADATBÁZISOK I. Szerkesztette: Bókay Csongor Az esetleges hibákat kérlek a csongor@csongorbokay.com címen jelezd! Utolsó módosítás: 2013. március 20. Ez a Mű a Creative Commons Nevezd meg! - Ne add el!
RészletesebbenSzkriptnyelvek. 1. UNIX shell
Szkriptnyelvek 1. UNIX shell Szkriptek futtatása Parancsértelmez ő shell script neve paraméterek shell script neve paraméterek Ebben az esetben a szkript tartalmazza a parancsértelmezőt: #!/bin/bash Szkriptek
RészletesebbenEnergetikai minőségtanúsítvány összesítő
Földvár Terv Kft Energetikai minőségtanúsítvány 1 Energetikai minőségtanúsítvány összesítő Épület: Megrendelő: Tanúsító: 5 lakásos társasház Paks, Kossuth Lajos utca 4. Hrsz.: 864. Viczai János GT/17-0469
Részletesebbenstatisztikai menürendszere Dr. Vargha András 2007
A statisztikai menürendszere Dr. Vargha András 2007 2 tartalomjegyzék 1. Alapok (egymintás elemzések Alapstatisztikák Részletesebb statisztikák számítása Gyakorisági eloszlás, hisztogram készítése Középértékekre
RészletesebbenINFORMATIKA LOGIKAI ALAPJAI JEGYZET
INFORMATIKA LOGIKAI ALAPJAI JEGYZET KÉSZÍTETTE: CSENGERI ISTVÁN PTI SALGÓTARJÁN 2009 Nulladrendű matematikai logika... 4 1.1 Matematikai Logika = mat.log = symbolic logic... 4 1.2 Kijelentések... 4 1.3
RészletesebbenUgrólisták. RSL Insert Example. insert(22) with 3 flips. Runtime?
Ugrólisták Ugrólisták Ugrólisták Ugrólisták RSL Insert Example insert(22) with 3 flips 13 8 29 20 10 23 19 11 2 13 22 8 29 20 10 23 19 11 2 Runtime? Ugrólisták Empirical analysis http://www.inf.u-szeged.hu/~tnemeth/alga2/eloadasok/skiplists.pdf
RészletesebbenMikrohullámok vizsgálata. x o
Mikrohullámok vizsgálata Elméleti alapok: Hullámjelenségen valamilyen rezgésállapot (zavar) térbeli tovaterjedését értjük. A hullám c terjedési sebességét a hullámhossz és a T rezgésido, illetve az f frekvencia
RészletesebbenAdatbázisok* tulajdonságai
Gazdasági folyamatok térbeli elemzése 4. előadás 2010. 10. 05. Adatbázisok* tulajdonságai Rendezett, logikailag összefüggő és meghatározott szempont szerint tárolt adatok és/vagy információk halmaza Az
RészletesebbenProgramok értelmezése
Programok értelmezése Kód visszafejtés. Izsó Tamás 2016. szeptember 22. Izsó Tamás Programok értelmezése/ 1 Section 1 Programok értelmezése Izsó Tamás Programok értelmezése/ 2 programok szemantika értelmezése
Részletesebben