Sith aka Bozena aka uloha z DM...no proste vsetci ho poznate minimalne z legiend, ktore koluju na nasom odbore v rocniku :)
Takze vitaj Sith !
T0ny - metalista, ktoreho si nemozete nevsimnut :) Vyborny koder a dalsi silny clen nasho timu
Vitaj na blogu T0ny !
Rus - .. co dodat..
Vitaj medzi nami!
Dano Adam - cervene vlasy, nebezpecne vysoke IQ, futbal...Acka zo vsetkeho :D
Vitaj Dano! ;)
Vitame dalsieho noveho clena - posila z tretiaku - Miky Fiky ;)
A najnovise je tu Phoboss :)
sobota 31. januára 2009
štvrtok 29. januára 2009
Spiritualna koncepcia bytia
Čo je to bytie? Obyčajne si pod pojmom bytie predstavíme existenciu či určitú formu existencie alebo inak povedané život. Existujú však rôzne pohlady na svet jeden z pohladov je aj stoicistický ktorý hovorí že človek sa môže stať šťastným iba tak, že bude žiť v súlade s prírodou alebo rozumom a cnostne, ovládne svoje vášne, túžby a afekty, t. j. dosiahne stav apatie a aponie, ako aj heroickú odovzdanosť a pokoj. Preto si treba ovládnuť svoje vášne a nečítať moje somariny a radšej sa ist napiť do krčmy.
streda 28. januára 2009
ÚDML skúška 28.1.2009 - zadanie
ÚDML skúška 28.1.2009
1.Veta o konštantách + dôsledok
2.zovšeobecnená veta o dedukcii + dôsledok
3.DNF a KNF
4.Dokážte alebo vyvráťte
1.├ (pre všetky x) (existuje y) A(x,y) => (existuje y) (pre všetky x) A(x,y)
2.├ (existuje y) (pre všetky x) A(x,y) => (pre všetky x) (existuje y) A(x,y)
5. Dokážte:
├ (A => (B => (C => D => E))) => (C => (D => (A => B => E)))
1.Veta o konštantách + dôsledok
2.zovšeobecnená veta o dedukcii + dôsledok
3.DNF a KNF
4.Dokážte alebo vyvráťte
1.├ (pre všetky x) (existuje y) A(x,y) => (existuje y) (pre všetky x) A(x,y)
2.├ (existuje y) (pre všetky x) A(x,y) => (pre všetky x) (existuje y) A(x,y)
5. Dokážte:
├ (A => (B => (C => D => E))) => (C => (D => (A => B => E)))
utorok 27. januára 2009
nedeľa 25. januára 2009
ADS - vyriešený prvý termín od Dana
prispevok bol na poziadanie pani kubicovej zruseny, prisiel mi mail, na skolsku stranku: ktoru som sice nepouzivam :-D ale tak nahoda je blbec a toto som tam nasla citujem:
"Dobry den Petra,
chcem vas (predovsetkym Vas osobne, resp. Martina) poziadat, aby ste okamzite stiahli
vyriesenu Danovu pisomku z blogu http://1iai8.blogspot.com/. Jej publikovanim porusujete
jednak autorsky zakon, ale tiez studijny poriadok, o slusnych mravoch radsej ani
nehovoriac (najma ak uvazime sposob, akym ste sa k nej dostali).
Bola by som rada, keby som ju uz nenasla ani nikde inde, aby som to nemusela riesit inou
(oficialnou) cestou.
S pozdravom
Z.Kubincova"
P.S.: asi musime trosku prehodnotit funkciu nasho blogu :)
keby boli nejake staznosti k tomuto prispevku kontaktujte ma bud na gmaily alebo na szm, skolsku nepouzivam, maj te sa :-)
to mam zato, ze som jedina petra z rocnika? :-D no dobre decka, takze ziadne riesenia pisomiek, a uz vobec nie tych, ktore su skuskovym tajomstvom jasne?!
"Dobry den Petra,
chcem vas (predovsetkym Vas osobne, resp. Martina) poziadat, aby ste okamzite stiahli
vyriesenu Danovu pisomku z blogu http://1iai8.blogspot.com/. Jej publikovanim porusujete
jednak autorsky zakon, ale tiez studijny poriadok, o slusnych mravoch radsej ani
nehovoriac (najma ak uvazime sposob, akym ste sa k nej dostali).
Bola by som rada, keby som ju uz nenasla ani nikde inde, aby som to nemusela riesit inou
(oficialnou) cestou.
S pozdravom
Z.Kubincova"
P.S.: asi musime trosku prehodnotit funkciu nasho blogu :)
keby boli nejake staznosti k tomuto prispevku kontaktujte ma bud na gmaily alebo na szm, skolsku nepouzivam, maj te sa :-)
to mam zato, ze som jedina petra z rocnika? :-D no dobre decka, takze ziadne riesenia pisomiek, a uz vobec nie tych, ktore su skuskovym tajomstvom jasne?!
termíny
Nejaké blížiace sa termíny
Ročníkový projekt
piatok, 30.1.2008 - je na čase začat na tom robiť :-/
Úvod do matematickej logiky
streda, 28.1. 2009, 8:00 (A) - hádam sa to podarí už na tomto
streda, 4.2. 2009, 8:00 (A)
Java
pondelok, 2.2. 2009, 9:00 (H3)
- je to síce prvý opravák, ale niektorí z nás to s tým projektom nejako nestíhajú...
Úvod do databázových systémov
štvrtok 29.1.2009, 14:00, A
- posledný termín, ak by náhodou zvýšil čas na takéto veci a ak náhodou máte spravený zápočet
Algoritmy a údajové štruktúry
- posledný termín, dúfam, že ja už tam nebudem musieť ísť
druhý opravný termín: 3.2.2009 o 9:00 (?)
Ročníkový projekt
piatok, 30.1.2008 - je na čase začat na tom robiť :-/
Úvod do matematickej logiky
streda, 28.1. 2009, 8:00 (A) - hádam sa to podarí už na tomto
streda, 4.2. 2009, 8:00 (A)
Java
pondelok, 2.2. 2009, 9:00 (H3)
- je to síce prvý opravák, ale niektorí z nás to s tým projektom nejako nestíhajú...
Úvod do databázových systémov
štvrtok 29.1.2009, 14:00, A
- posledný termín, ak by náhodou zvýšil čas na takéto veci a ak náhodou máte spravený zápočet
Algoritmy a údajové štruktúry
- posledný termín, dúfam, že ja už tam nebudem musieť ísť
druhý opravný termín: 3.2.2009 o 9:00 (?)
sobota 24. januára 2009
CAUTE CAUTE TROSKU BACHA MODERNY PRISTUP K WEBDIZAJNU
PRISIEL MI MAIL OD HOMOLU, TI KTORYCH SA TO TYKA VIETE, KTO JE TO A CO ASI TAK MOZE CHCIET CITUJEM MAIL:
"Ahoje,
bolo by mozne dat na http://1iai8.blogspot.com/ kratky oznam pre
tych, ktori absolovali Moderny pristup k webdizajnu? Ide o to, ze
ak este nemaju zapisanu znamku, mozu si ju nechat zapisat uz len
v utorok 27.01. o 10.00 u mna na I-7, kedze potom cestujem mimo
Slovensko a tak skoro sa tu neukazem...
Vopred vdaka,
Martin"
aj som mu podakovala, ze si vybral nas blog, tak sa to k vam hadam dostane vcas :-D
sup sup po znamky :-D
P.S: ale velmi dolezite, dajte vediet aj buducim magistrom, cize tym, co su na magisterskom, ak mate na nich akykolvek kontakt, lebo netusim, ci maju nejaky blog, a martim homola mi opat pisal, ze by bolo dobre informovat aj ich, lebo ich je tam dost zapisanych, tak prosim pekne sirte tento informacny virus medzi seba :-)
"Ahoje,
bolo by mozne dat na http://1iai8.blogspot.com/ kratky oznam pre
tych, ktori absolovali Moderny pristup k webdizajnu? Ide o to, ze
ak este nemaju zapisanu znamku, mozu si ju nechat zapisat uz len
v utorok 27.01. o 10.00 u mna na I-7, kedze potom cestujem mimo
Slovensko a tak skoro sa tu neukazem...
Vopred vdaka,
Martin"
aj som mu podakovala, ze si vybral nas blog, tak sa to k vam hadam dostane vcas :-D
sup sup po znamky :-D
P.S: ale velmi dolezite, dajte vediet aj buducim magistrom, cize tym, co su na magisterskom, ak mate na nich akykolvek kontakt, lebo netusim, ci maju nejaky blog, a martim homola mi opat pisal, ze by bolo dobre informovat aj ich, lebo ich je tam dost zapisanych, tak prosim pekne sirte tento informacny virus medzi seba :-)
utorok 20. januára 2009
pondelok 19. januára 2009
nedeľa 18. januára 2009
piatok 16. januára 2009
Jebme na skusky................
Nanavidim toto obdobie, stale len ucit a ucit aj tak to ani na E nestaci ......
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
streda 14. januára 2009
utorok 13. januára 2009
pondelok 12. januára 2009
ADS skuska 2008 - zadania
Zohnal som skusku z ADS z minuleho roka. - 08.01.2008
Okej, prepísal som to, čo už s vami.
Písomka ku skúške z Údajových štruktúr – 08.01.08
1.Čo je asymptotický stredný odhad? Vysvetlite a zapíšte aj formálne.
2.Predpokladajme, že chceme reprezentovať všeobecný strom S s operáciami PARENT, LEFTMOSTCHILD a RIGHTSIBLING. Čo musí platiť o vrcholoch stromu S, aby sme mohli použiť reprezentáciu poľom P, kde P[i] je index na otca vrchola i ?
3.Napíšte v Delphi deklarácie potrebné k implementácií prešitého stromu a metódu VlozVlavo(var v1:TVrchol; v2:TVrchol), ktorá vrcholu v1 vloží vrchol v2 ako ľavého syna a pôvodného ľavého syna vrchola v1 spraví ľavým synom vrchola v2.
4.a) Aká je asymptotická zložitosť operácie vymazávania z AA-stromu? Vysvetlite.
b) Aký je vzťah medzi AA-stromom a červeno-čiernym stromom?
5.Aký predpoklad zavádzame pri zatvorenom hašovaní, aby sme mohli robiť odhady na zložitosť jednotlivých operácií? Vysvetlite, čo tento predpoklad znamená a ako ho spĺňajú jednotlivé stratégie riešenia kolízií?
6.Predpokladajme, že máme v 2-3 strome uložených n prvkov. Aká je výška tohto stromu v najhoršom prípade a aká v najlepšom prípade? Odvoďte.
7.Koľko vnútorných vrcholov obsahuje červeno-čierny strom s výškou h ? Dokážte. (Predpokladáme, že pôvodné nily boli nahradené „nilovými listami“ a že všetky pôvodné vrcholy sú teraz vnútornými vrcholmi).
8.Vysvetlite, ako robíme dolný odhad na zložitosť optimálneho algoritmu triediaceho porovnávaním.
9.Vysvetlite, ako triedi algoritmus Sample sort.
10.Nakreslite postupnosť AVL stromov, ktoré vzniknú postupným vkladaním prvkov 100, 200, 500, 300, 400, 370, 330, 350, 390, 380 do pôvodne prázdneho AVL-stromu a následným vymazaním prvkov 370, 380, 390. Pri vymazávaní vrchola s dvoma synmi nahrádzajte minimom sprava.
Okej, prepísal som to, čo už s vami.
Písomka ku skúške z Údajových štruktúr – 08.01.08
1.Čo je asymptotický stredný odhad? Vysvetlite a zapíšte aj formálne.
2.Predpokladajme, že chceme reprezentovať všeobecný strom S s operáciami PARENT, LEFTMOSTCHILD a RIGHTSIBLING. Čo musí platiť o vrcholoch stromu S, aby sme mohli použiť reprezentáciu poľom P, kde P[i] je index na otca vrchola i ?
3.Napíšte v Delphi deklarácie potrebné k implementácií prešitého stromu a metódu VlozVlavo(var v1:TVrchol; v2:TVrchol), ktorá vrcholu v1 vloží vrchol v2 ako ľavého syna a pôvodného ľavého syna vrchola v1 spraví ľavým synom vrchola v2.
4.a) Aká je asymptotická zložitosť operácie vymazávania z AA-stromu? Vysvetlite.
b) Aký je vzťah medzi AA-stromom a červeno-čiernym stromom?
5.Aký predpoklad zavádzame pri zatvorenom hašovaní, aby sme mohli robiť odhady na zložitosť jednotlivých operácií? Vysvetlite, čo tento predpoklad znamená a ako ho spĺňajú jednotlivé stratégie riešenia kolízií?
6.Predpokladajme, že máme v 2-3 strome uložených n prvkov. Aká je výška tohto stromu v najhoršom prípade a aká v najlepšom prípade? Odvoďte.
7.Koľko vnútorných vrcholov obsahuje červeno-čierny strom s výškou h ? Dokážte. (Predpokladáme, že pôvodné nily boli nahradené „nilovými listami“ a že všetky pôvodné vrcholy sú teraz vnútornými vrcholmi).
8.Vysvetlite, ako robíme dolný odhad na zložitosť optimálneho algoritmu triediaceho porovnávaním.
9.Vysvetlite, ako triedi algoritmus Sample sort.
10.Nakreslite postupnosť AVL stromov, ktoré vzniknú postupným vkladaním prvkov 100, 200, 500, 300, 400, 370, 330, 350, 390, 380 do pôvodne prázdneho AVL-stromu a následným vymazaním prvkov 370, 380, 390. Pri vymazávaní vrchola s dvoma synmi nahrádzajte minimom sprava.
ahoj ludia
mam malu prosbu, mato simko, nas super spoluziak, by sa potreboval vymenit na AaDS, na tu skorsiu cize o 11:00, urobila by som to aj ja, ale zial v stvrtok cestujem domov, a asi tazko by som stihala vlak, kedze mi chodia len dva, tak nechcem riskovat :-D ak mozte ozvite sa co najskor diky moc
skuska diskretka 08.01.2009
tak tie carbance, namiesto 7kamaratov mame zrazu 15 mala chybicka aj cviciaci su vraj len ludia :-D
nedeľa 11. januára 2009
diskretka -skúška
ospravedlňujem sa za meškanie, nejak som na to pozabudla..veľa šťastia
A ak chce niekto matiku nech sa mi ozve...
Multimédiá
Možno aj vy ste si zapísali predmet o ktorom ani v januáry nemáte stále ani potuchy?! Tým mojim sú Multimédiá s Lúčanom. Vybral som sa v túto chladnú sobotu do školy za fámou že na dverách nájdem vypísané témy/otázky ku skúške. Na dverách však visel iba tento papier:
Ak viete akékoľvek bližšie info, budem veľmi rád ak sa podelíte. Úspešný týždeň želám!
Ak viete akékoľvek bližšie info, budem veľmi rád ak sa podelíte. Úspešný týždeň želám!
sobota 10. januára 2009
Algoritmy a dátové štruktúry - skúšky
Skúšky z ADŠ:
04.01.1997
21.01.1997
12.01.1998
05.01.2000
13.12.2005
05.01.2006
12.12.2006
Skúšky z ADŠ
Riešenia: (by 1x0 & madm)
05.01.2006 (PDF)
04.01.1997
21.01.1997
12.01.1998
05.01.2000
13.12.2005
05.01.2006
12.12.2006
Skúšky z ADŠ
Riešenia: (by 1x0 & madm)
05.01.2006 (PDF)
streda 7. januára 2009
Skúška z Úvodu do matematickej logiky – 7.1.2008
Skúška z Úvodu do matematickej logiky – 7.1.2008
Zadanie:
1.Čo je to:
a) Term
b) Podformula
c) Dôkaz (v predikátovej logike)
d) Axiómy a pravidlá v predikátovej logike
2. T ├ A ↔ T ╞ A (dokázať)
3.Sformulujte a dokážte vetu o dedukcii v predikátovej logike T.
4.├ (┐A → A) → A (dokázať)
5.├ Ax1,x2,x3,...,xn[t1,t2,t3,...,tn] → (existuje x1)(existuje x2)... (existuje xn) A
(dokázať)
Odpovede:
1.
a)
každá premenná, konštanta je term
ak f je n-árny fuknčný symbol a x1 … xn sú termy, potom fn(x1,...,xn) je term
b)
formula A ak A je atomická formula
formula A' ak vznikne z A vynechaním niektorých termov
c)
konečná postupnosť formúl, ktorej členmi sú axiómy alebo dokázané tvrdenia, ktoré vznikajú úpravou pomocou odvodzovacích pravidiel tak, že poslednou formulou postupnosti je hľadaná (dokázaná formula)
d)
1. A → (B →A) (A1)
2. (A → (B →C)) → ((A → B) →(A→C)) (A2)
3.(┐B → ┐A) → (A → B) (A3)
4.A / (pre všetky x) A – pravidlo zovšeobcnenia
5.(pre všetky x)(A → B) → (A → (pre všetky x)B) (A5)
6.A, A→B / B – modus ponens
7.(pre všetky x)A → Ax[t] (A4)
ďaľšie nemáme.
----------------------
Skúška od Aďa (thx to Lenka a Andrej) (PDF)
Zadanie:
1.Čo je to:
a) Term
b) Podformula
c) Dôkaz (v predikátovej logike)
d) Axiómy a pravidlá v predikátovej logike
2. T ├ A ↔ T ╞ A (dokázať)
3.Sformulujte a dokážte vetu o dedukcii v predikátovej logike T.
4.├ (┐A → A) → A (dokázať)
5.├ Ax1,x2,x3,...,xn[t1,t2,t3,...,tn] → (existuje x1)(existuje x2)... (existuje xn) A
(dokázať)
Odpovede:
1.
a)
každá premenná, konštanta je term
ak f je n-árny fuknčný symbol a x1 … xn sú termy, potom fn(x1,...,xn) je term
b)
formula A ak A je atomická formula
formula A' ak vznikne z A vynechaním niektorých termov
c)
konečná postupnosť formúl, ktorej členmi sú axiómy alebo dokázané tvrdenia, ktoré vznikajú úpravou pomocou odvodzovacích pravidiel tak, že poslednou formulou postupnosti je hľadaná (dokázaná formula)
d)
1. A → (B →A) (A1)
2. (A → (B →C)) → ((A → B) →(A→C)) (A2)
3.(┐B → ┐A) → (A → B) (A3)
4.A / (pre všetky x) A – pravidlo zovšeobcnenia
5.(pre všetky x)(A → B) → (A → (pre všetky x)B) (A5)
6.A, A→B / B – modus ponens
7.(pre všetky x)A → Ax[t] (A4)
ďaľšie nemáme.
----------------------
Skúška od Aďa (thx to Lenka a Andrej) (PDF)
Prihlásiť na odber:
Príspevky (Atom)