Mesemondó a számítástudomány katedráján

Az előadások a következő témára: "Mesemondó a számítástudomány katedráján"— Előadás másolata:

1 Mesemondó a számítástudomány katedráján
Kilián Imre PTE-TTK Informatika tanszék MAFIOK2014

2 Oktatás = tananyag? leadás + felvétel
„…zajlik a nagy színjáték, és te is hozzáírhatsz egy sort.” Mr. Keating Dead poets society A mesemondó tehát kiáll a katedrára és mesélni kezd…

3 Bináris keresőfák és a hét törpe (Szende, Szundi, Hapci, Morgó, Tudor, Vidor,Kuka)

4 …hogy a kecske és a káposzta is megmaradjon (révész-farkas-kecske-káposzta probléma)
F,W,G,CÎ{left,right} – 16 elemű teljes állapottér Tiltott állapotok (törölhetők az állapottérből): [F,W,G,C] : G=C<>F – a káposztát a kecskére hagyjuk [F,W,G,C] : W=G<>F – a kecskét a farkasra hagyjuk Lehetséges állapotátmenetek: [F0,W,G,C] [F,W,G,C] : F0<>F – ha a farmer maga evez át [F0,W0,G,C] [F,W,G,C] : F0=W0<>F=W – ha viszi magával a farkast [F0,W,G0,C] [F,W,G,C] : F0=G0<>F=G – ha viszi magával a kecskét [F0,W,G,C0] [F,W,G,C] : F0=C0<>F=C – ha viszi magával a káposztát

5 Révész-farkas-kecske-káposzta probléma
FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC

6 Révész-farkas-kecske-káposzta probléma
FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC

7 Révész-farkas-kecske-káposzta probléma
FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC FWGC

8 Gráfbejáró (-kereső) algoritmusok
Kínai hadsereg stratégiája Magányos harcos (Theseus) Ariadné krétai királylány Ariadné fonala Ariadné kaktusza

9 Feladatterv egy magányos harcosnak (topologikus rendezés körmentes gráfokban)
zokni (17/18) karóra (9/10) alsónadrág (11/16) Egyedülálló csomópont (2. fa gyökere) nadrág (12/15) cipő (13/14) ing (1/8) Harmadik fa gyökere nyakkendő (2/5) öv (6/7) Ennél a gyökérpontnál indul zakó (3/4) zokni alsónadrág nadrág cipő karóra ing öv nyakkendő zakó

10 Feladatterv egy magányos harcosnak (topologikus rendezés körmentes gráfokban)
női alsó (13/16) nyaklánc (11/12) Egyedülálló csomópont (2. fa gyökere) harisnyanadrág (14/15) cipő (6/7) melltartó (1/10) Harmadik fa gyökere szoknya (5/8) blúz (2/9) Ennél a gyökérpontnál indul blézer (3/4) női alsó harisnya-nadrág nyaklánc melltartó blúz szoknya cipő blézer

11 „a sagittis Hungarorum libera nos Domine” „Inkonzisztens adatoktól ments meg, Uram minket!”
Városi legenda (Kossuth) Redundáns adatábrázolás Előny: egyszerűbb algoritmusok Hátrány: csak egyszerre módosítható Tranzakciókezelés Adatbázis konzisztenciájának biztosítása A leghamarabb felfedezett konzisztenciahiba a legolcsóbb

12 UML osztálydiagramok és a többszörösség
Kapcsolatok (metatulajdonságok) öröklődése „…erzeugte sieben Kinder in einer Nacht…” (Dzsingisz Kán/Temüdzsin)

13 Szitáry Tamás székely nemes nemdeterminisztikus problémamegoldás
Apaffy Mihály fejedelem rosszat álmodott Visszalépéses  halmazos stratégia

14 Web Ontology Language (OWL)
…presents himself as very knowledgeable, but able to read and write and spell his own name WOL… …aki egyébként nagy bölcs hírében állott, a tulajdon nevét "Bagoj"-nak írta…

15 Hivatkozások (mestereim)