Messages

čo je pravdy na tom, že tie lístky sú iba lístky na sedenie ?
teda ostatný členovia rodiny (nad stanovený rámec lístkov) budú môcť prísť, ale budú musieť stáť?

Tiež som si to najprv myslel, ale podľa mňa by to bolo v počítačovom svete mrhanie pamäťovým miestom. Teda ak napr. uvažujem jeden typ MPI_DOUBLE a jeden typ MPI_CHAR, tak by bolo nevyužitých 7 BYTOV !, čo je okolo 43 % z celkového počtu alokovaného miesta.

ok budiš, ale stále neviem prečo násobok osmičky ? musí byť nejaký dôvod 

no jasné, len prečo násobok osmičky ?

zvažujem dve možnosti:
- buď to má niečo s typom double
- alebo je to najbližšia mocnina dvoch, avšak ak by som mal typ, ktorý by potreboval povedzme 65 bytov, tak by som to musel zaokrúhliť na 128 bytov a teda 63 bytov by ostalo absolútne nevyužitých  preto to podľa mňa mal mať v knihe zaokrúhlené na 10 a teda na násobok nejakého čísla dvojkou

asi máš pravdu s tým že to bude 4, ale
epsilon je DOPLNENIE na hodnotu, ktorá je násobkom NEJAKEJ konštanty
prečo v kollarovych skriptách dopĺňal o 7  na hodnotu 16 keď zisťoval rozsah typu? prečo nie na 10 ? o tom, že to musí byť mocninou dvoch tam nie je žiadna zmienka

technická otázka:
chcem zostrojiť nový typ, napr. spojitý z MPI_INT (4 byte)
aký sa bude pridávať posun  v zobrazení typu? je posun 4 byte alebo o 8 bytov ?
nenastane problém, ak sa nová hodnota bude ukladať o 4 byty ďalej od začiatku predchádzajúcej ?
Typemap = {(int, 0), (int, ?), ...}

co ma byt vlastne ku tej tretej otazke???

ja som tam dal 4 kapitolu a jednotlivé druhy paralelizmov bez dekompozícií (dekompozície sú k inej otázke)
každý paralelizmus rieši nejaký paralelný problém, takže si myslím, že sa to tam hodí

- ako sa volá jazyk v ktorom sú napísané zdrojové kódy algoritmov (napr. hľadanie maxima)? je to formálny jazyk ? alebo ako inak ho správne nazvať ?

pseudokod?

tx, to som potreboval vedieť 

k tej desiatke co treba? lebo ked spravim si poznamky z knizky, tak dokopy pouzitelne su dva riadky

veď piata kapitola sa tomu venuje, máš tam dosť materiálu:

- na začiatok úvod o Programovom modeli údajového paralelizmu
- masívny paralelizmus v PMU (sekvenčný a paralel. alg. pre nezávislé množiny, sémantika výrazu paralelného cyklu), zníženie pamäťových nákladov
- expanzívny paralelizmus v PMU, tiež nejaký ten algoritmus, a zníženie počtu procesorov

vďaka za odpoveď
aspoň nejaké dobré správy 

tiež sa učím len z knihy + niečo o MPI na nete

mám nejaké otázky:
- učíte sa aj odvodenia pravidiel ? (napr. Amdahlovo, ...)
- učíte sa aj zdrojové kódy, alebo iba tvary procedúr + ich parametre?
- ako prečítam zložitosť ? napr. O(n) - číta sa to ako Omikron N ,alebo O EN ? alebo stačí ak poviem, že je to lineárna zložitosť
- polylogaritmický čas O(log k n) - to je akože logaritmus n pri základe k ? (keďže k je v hornom indexe tak netuším čo to je)
- kollárové skriptá s.61 - poradové číslo zdrojového procesu (source rank) – určuje, ktorému procesu bola správa odoslaná - je to správne ?
- ako sa volá jazyk v ktorom sú napísané zdrojové kódy algoritmov (napr. hľadanie maxima)? je to formálny jazyk ? alebo ako inak ho správne nazvať ?

"Strany z kníh, ktoré ste použili v texte oxeroxovať (urobiť kópiu) a
priložiť k práci do prílohy k tlačenej verzii projektu!!!"

to mám akože všetky použité strany vytlačiť, či to dať na CD ? ako to riešite vy ?

  nám povedala, že to budeme aj prednášať. Avšak neviem kedy to chce stihnúť. 

btw kedy je deathline pre odovzdanie toho  referátu ?

V tom rozvrhu bude prvá skupina vyučovaná po anglicky ? V druhom to tuším takto bolo.

Zdravím 
Neviete kedy sa vyberajú bakalárske témy ?
Respektíve kde budú zverejnené ?
Predpokladám že na Maise, ale tak pre istotu sa pýtam.

No tak keď bude tak ako hovoríš, tak bude dobre

Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval  v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik.

Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím.

Sorry že toľko spamujem, ale
(Existuje y) Q(g(y),P(y))
nie je formula, že ?
Nie som si istý ale to P tam nesmie byť ? Mám pravdu ?

(Existuje x )   H(o(x)) & ( ¬M(m(x))

Inak s tou implikáciou máš asi pravdu. Ale ešte keď používaš ten existenčný kvantifikátor, tak tam nemusia byť ešte jedné zátvorky ?
(Existuje x) [  H(o(x)) & ( ¬M(m(x)) ]

No ja som najprv tiež takto myslel. Ale potom som rozmýšľal či môže byť to H(o(x)) , či to nemusí byť nejako rozdelené napr.  o(x) & H(x)

A ešte tá tretia otázka môže to byť takto ?

M(x) - x je maliarom
H(x) - x je hudobník
o(x) -  priradí človeku x otca
m(x) - priradí človeku x matku

a)   Niečí otec je hudobník, ale matka nie je maliarka .

(Existuje x ) ((o(x) & H(x)) => (m(x) & ¬M(x))

Hej a ešte skorec1 vďaka za screeny 

Vie niekto ako vypočítam, či formula pod čiarou je dôsledkom formúl nad čiarou , bez rezolučenej metódy ? Bude treba použiť tie 3 axiómy a MP ?
¬(x & y)           
¬x
---------
y

ta ked ja toto napisem, tak zozerem papuce od radosti ...

hehe držím palce