Fórum studentů MFF UK

Podle mě ta odpověď není až tak jednoznačná, protože oblek je včetně saka... a pokud je vedro, je lepší příjít v kompletním obleku a mokrý jak kdybych cestou přeplaval Vltavu, nebo je přijatelné i přijít bez saka?

el enfant píše:Ahoj, tak jsem si došel pro zadání, tady je:
4. Logika
Zformulujte větu o existenci modelu a dokažte pomocí ní tvrzení: je-li T nějaká L-teorie a je L-sentence, tak .

Neprozradil by mi někdo řešení? 0:-)
Dík.

Rozvrh máme určitě zapsat přes SIS - na Albeři nám to bylo několikrát zmiňováno... jen by v tom nemusel být takový bordel :? Snad tento týden to dají dohromady. :) K Programování I mi to nabízí jako cvičení pouze výběrovou skupinu pro pokročilé. Jiné cvičení mi to nenabízí - to k Programování I cvi...

Alternativní zpracování do dvou dokumentů, v prvním pouze definice, v druhém věty spolu s číslem stránky na které se ve skriptech nachází.

Imho je v skriptach chyba a x << y by malo platit prave ak ∀ usmernenú D ⊆ X: y ≥ sup D ⇒ ∃ d ∈ D tž. x ≤ d Je to velmi podobne definicii suprema v realnych cislach. Ak je nieco aspon take velke ako supremum D, tak potom ak si vezmes cokolvek ostro mensie, tak najdes prvok d vacsi nez to cokolvek. ...

To je zvláštní, protože já mám potom poznámky jen z jedné přednášky a nevzpomínám si, že bych si na té ve zkouškovém nepsal... každopádně můj sešit končí Baireho větou VI.3.4

U mě končí standartní přednáška Tichonovovou větou...

Zvláštní je, že v Požadavcích není šestá kapitola a přitom v minulých letech třeba Heine-Borelovu větu zkoušel... jak to bude letos, stihli jsme něco z té kapitoly?

Strana 110, definice 5.11, poslední řádek, myslím, že by tam mělo být: "takový, že W=X\{x}" (to nadtržení nad {x} netuším jak tu udělat)
Strana 133, definice 5.1, (U_I1), V má být také z U a nikoliv z V
Strana 133, definice 5.1, (U_I4), V°V⊆U

Nenašel by se tu nějaký dobrovolník, který by mi vysvětlil, co to vlastně 'volná algebra' je? Definici ze skript vím, ale nějak se mi nedaří to uchopit a něco si pod tím představit...

Dík.

Z toho co vím, tak ordinály a kardinály umět nemusíme. Z I.4. je hlavní Axiom výběru, Zornovo Lemma a Princip Maximality. Ale pokud tě to stejně zajímá, tak se asi musíš zeptat samotného nejvyššího vládce množin a struktur - Pultra. Užitečná informace :-) ... nebyl by kompletní seznam toho, co musí...

Je to u I.4.4.2 a I.4.5.1.2 (str. 17)

Co vlastně přesně je transfinitní posloupnost?
Dík.

Nevíte někdo, kde jsou/ budou výsledky z 2D grafiky?

Dík.

Žádné zprávy o průběhu opravování?

Kolemjdoucí píše:Kdyz rikal, ze mozna v utery, spis az ve stredu.. Myslel se tim tenhle tyden?

Jestliže ani po více než čtvrt roce neopravil pár úkolů z NPRG007, tak snad to do léta stihne... :-/