Fórum studentů MFF UK

(španělský jazyk není sice anglický jazyk, ale patří to sem asi víc, než jinam).
Prosím, co bylo na minulé hodině, resp. co má být na příští hodinu? (čt. začátečníci) .

Ve skriptech je dvojná forma věty o rekurzi ve dvou zněních (ve druhém jsou funkce f a g k+2 proměnných), první znění je dokázáno, druhé ne, asi z prvního nějak vyplývá, ale já nevidím jak, neví to někdo? Předpokládám, že to bude jen nějaká technická aplikace jiných vět, ale stejně se mi to nepovedl...

Znáte nějaké dobré programátorské hádanky typu "co je špatně v tomhle programu" ?

Ano, už trochu pozdě:) Jen k tomu timestamps livelocku - myslím, že ten tvůj příklad není úplně nejlepší, protože pořád se budou objevovat transakce, které úspěšně commitují (čtenáři). Co takhle: T1: w(x) w(y) T2: r(x) r(y) w1(x1) r2(x1) r2(y0) w1(y1) zápis w1 je odmítnut (příliš pozdě, r2 má vyšší ...

Mám trochu problém s těmito cvičeními Locking - Exc. 2 Jak může vzniknout deadlock u multiversion plánovače založeném na 2PL? Timestamp - Exc 2 Jak může vzniknout livelock u multiversion plánovače založeném na timestamps? No a kdyby někdo měl nějaké chytré odpovědi na cvičení v kapitole 7, tak to by...

Chtěl jsem se zeptat, jestli je i z pokročilého programování v .NET nějaký zápočtový test

Mam tu jiny problem, kdyz chci ulozit dokument zmeneny pomoci DOM tak mi hlasi metoda transformer.transform chybu: Undeclared namespace in xmlns:xsi Nevite, jak se toho zbavit? Je nejaky problem pri ukladani dokumentu, mozna s namespacy nebo schematem - neni nejaky zpusob jak rict "uloz a vubec...

Nehledá někdo člověka?
Umím .NET a c# + cokoliv na webu. Ale o tématu moc představu nemám.

UPDATE už jsem byl nalezen..

Pro mě strojil selhává už na první stránce - důkaz kleenovy věty

Potreboval bych nejakou starou kulickovou dratovou mysku kdybyste se nekdo chtel zbavit, na pokusy... ale asi za ni nedam ani korunu, jen vam usetrim trochu mista ve skrini:). Na koleji please..

Myslím, že nás pan Koubek má už prokouknutý a trojkaře pozná na první pohled

Dining philosophers: http://www.cs.adelaide.edu.au/~esser/philos.html

xstyler píše:Zdravím všetkých. Zajtra ráno o 9.30 bude v menze na koleji Trója stretnutie na tému OS. Veľké príklady, prípadne malé príklady. Kto chcete dojdite. Zatiaľ nás je 4-6.

Já přijdu, ale moc ode mne nečekejte:(

Teda kdyby se našla dobrá duše, která by věděla, jak na ty zbylé exercises...
Já nemůžu, já mám z kernelů panickou hrůzu

Existují nějaké staré statické firmy? Tam bych šel na pohovor:o)