Fórum studentů MFF UK

Díky moc! Kdyby měl ještě někdo podrobnější poznámky k posledním 2 cvičením bylo by to super

Neměla by nějaká hodná duše aktuální zápisky ze cvičení? Téměř jedno v jaké formě. Díky moc!

Zkusim napsat, jak jsem to udelal ja a jak to chapu/nechapu, kdyztak me prosim nekdo opravte. Asi nejdulezitejsi je rozmyslet si co znamena x::y, je to ve slidech... descendant::autor[position()=1] znamena, vem vsechny descendent (nasledniky) od aktualniho kontextu (nebylo tam lomitko na zacatku, ta...

Ja jsem dostal za 2. Ze zacatku se mi to zdalo dosti tezke, ale kdyz se nad tim clovek zamyslel, tak to je hracka...
Jinak Pokorny rikal, ze znamky budou v SISu az zitra.

Ahoj, nevim si rady s nasledujicima otazkama, meli by byt pomerne jednoduche, ale... Muze nekdo prosim poradit? 1) existuje teorie, ktera ma jen model s 1-3 prvkovou domenou? 2) existuje teorie, ktera ma konecny i nekonecny model? 3) Je predikatova logika uplna? Nejaky dukaz... 4) Necht T je teorie ...

Nevite nekdo, co se presne bralo na prednasce? Jestli prosel vsechny vety z jeho slidu (http://kti.mff.cuni.cz/vyuka/materialy.html)? Je to potreba vsechno umet? Moc dik.

Nemate prosim nekdo poznamky od Pultra (hezke citelne, alespon nejake)? Diky moc.

Tuetschek píše:

hippies píše:ani maily o zmene v indexu, .. prostě žándné maily

Jo maily mi taky nechodi ... dnes to nemuzu posoudit pze se mi nic v indexu nezmenilo, ale minuly tyden to nefungovalo urcite

uz jsem to nahlasil, tak to snad opravej...

tak uz to funguje:-)

Dokonce jsem psal i nekomu, kdo ma ten sis na starosti a zadna odpoved... Fakt nechapu, jak si skola plna informatiku, kteri nas uci jak delat veci poradne, muze tohle nechat libit...

Funguje vam nekomu prihlasovani zkousek? Me to nejak nevypise zadne... a jesto to obcas hodi jen nejake fragenty html kodu...

Tak mame tu nove skore...

5x 1, 11x 2, 7x 3, 23x 4, 2x X
tj. 23:23 + 2x X

hippies píše: No ve vlastnostrech stránky je 2:31:34 ale to je celkem jedno.

Po pravde receno to menil 2x a to jednou jak jsem psal a pak v 2:32.37 (+- minuta), takze to odpovida

Ok, to zni rozumne, pridam se k vam (jeste stale nevim vysledky...).

Jen pro info, nove vysledky Zemlicka pridal v 2:27.11 (alespon to rika program WebMon), coz je uctihodny vykon...