Fórum studentů MFF UK

Kedysi ucil Formalni specifikace Bednarek, teraz to uz prednasa Richta a aj obsah predmetu sa trochu zmenil. Veci okolo model-checkingu a verifikacie uci Kofron, Sery a Parizek (su to dva predmety, jeden v LS a druhy v ZS, jeden je skor teoreticky).

Ahoj,

neviete niekto, ci sa da preinstalovat win7 na iny hdd s klucom z MSDNAA? Chcem si kupit novy hdd a rad by som si nainstaloval win7 nacisto, len neviem ci mi bude fungovat registracia, ak uz je s tym klucom spravena instalacia na starom hdd.

Nejde len o to aby ste ho mazali, lebo do RSS sa dostane aj ked ho potom neskor zmazes. Momentalne je RSS nepouzitelne, su tam stovky spamu po rusky.

Koubek vypisal v SIS termin, ktory mi vyhovuje, ak chcete niekto iny, tak mu napiste.

Ahoj

neviete niekto, ci planuje Koubek vypisat termin na DS I? Pripadne asi by bol ochotny skusat I aj na terminoch DS II ale ziadne v SIS nevidim. Planujem mu napisat email, ma este niekto zaujem o skusku z DS I?

Ahoj pri b = false nevznika novy objekt. Problem je, ze ty mas dve boolean premenne, jedna je v metode main a druha metode skuska. Pri zavolani skuska sa referencia odovzda hodnotou. Ale to ze zmenis kam referencia v metode skuska ukazuje (na false) nezmeni to, kam ukazuje referencia v metode main (...

Ahoj,

ja by som sa tiez pridal ale skor ten druhy tyzden v marci.

Ahoj, rozpraval som sa o prijimackach s jednym doktorantom a ten mi vysvetlil, ze dovod na zrusenie prijimaciek je cisto pragmaticky. Prijimacky su pomerne narocne na organizaciu, treba vymysliet testy, zabezpecit dozor, opravit a to vsetko sa musi robit dosledne, aby nevzniklo podozrenie z nejakeho...

Pelikan rozpraval na jednej prednaske o svn, ze on kludne poskytne ucet a miesto na svojom svn servri, ak ho niekto potrebuje na studijne ucely. Mozno by stacilo sa mu ozvat.

Mohli by ste niekto povedat ako sa ten posledny priklad riesi? Ja nejak ani netusim co je vysledok (cislo, program, mnozina, funkcia, ... )

Mne by vyhovovala streda, stvrtok uz som na ceste domov. Ale este nehovorim zavazne, ze by som na ten termin isiel, ale rad by som to mal z krku uz pred Vianocami

Tie podfora podla rokov by sa mohli volat podla akademickych rokov - tj. 2004/2005, 2005/2006, 2006/2007

Mne to hlasi ze nie som student. Nemate niekto podobny problem?

Mam z kniznice tu knizku Neuroscience a byvam na koleji 17. listopadu. Ak ste z koleje, tak ju mozme nejak rozumne zdielat, aby v kniznici ostali aj pre ostatnych knizky.

Knizka byva na B814 (linka 1373)

Kate píše:je tu jeste nekdo, kdo by rad fyzicky chodil na Operacni systemy i Semanticky web a neumi se rozpulit?

no ja by som chcel